class B
inherit A redefine f end
feature
	f: INTEGER_REF
end