deferred class C

inherit

	A
		undefine
			has
		end

feature

	has_key
		do
		end

end