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

feature

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

end