class
	TEST1

feature

	f (a: TEST2)
		do
		end

end