class
	TEST

inherit
	TEST1
		redefine
			f
		end
	
	TEST1
		redefine
			f
		end

create
	make

feature

	make
		do
		end

	f (s: B)
		do
		end

end