class
	TEST2
inherit
	TEST1
		redefine
			f
		end

feature

	f (v: $FORMAL_TYPE) is
		do
		end

end