class TEST1 [G]
feature
	f (v: G) is
		do
		end

end