deferred class TEST2
inherit TEST1 [CHARACTER]
	undefine
		put2
	end

feature

end