indexing
	description: "Objects that ..."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	E

inherit
	D
--		redefine target
--	end

feature
--	target is
--		do
--			print ("hallo")
--		end
--

end