class B

inherit
	A
		redefine
			f
		end

feature

	f
		do
		end

end