deferred class C [G]
inherit
	A

feature
	
	f is
		do
			io.put_string ("C")
		end

end