class TEST2 [G]
feature
	
	failure (g: G)
		do
		end

end