class TEST1 [G]

feature

	new_tuple: TUPLE [INTEGER]
		require
			test (once "Test 1: OK")
		do
			print (once "Test: Failed")
		end

	test (s: STRING): BOOLEAN
		require
			s_attached: s /= Void
		do
			io.put_string (s)
			io.put_new_line
		end

end