class TEST1 [G]
feature

	failure
		do
			io.put_string ("In TEST1")
			io.put_new_line
		end

end