class C
inherit A redefine f end
feature
	f: STRING
end