class TEST
inherit
	TEST1 [TUPLE [a: INTEGER]]

create
	make

feature
	make is
		local
--			t: TEST1 [TUPLE [TEST3]]
		do
		end

	t2: TUPLE [a: INTEGER]

end