class
--	TEST1 [G]
	TEST1 [G -> TUPLE [a: INTEGER]]

feature

--	t: TEST1 [TEST3]
	t: TEST1 [TUPLE [a: INTEGER]]
	f is
			--
		do
			print ("Somethingfdsfds")
		end

end