class TEST1 $FORMAL_GENERICS

feature
	f
		do 
		end
	
end