class TEST

create
	make

feature {NONE} -- Creation

	make is
		local
			a: A [INTEGER]
			b: A [TEST1]
			t: TEST1
		do
			create a.make (5)
			io.put_integer (a.test_deep_twin)
			io.put_new_line

			create b.make (t)
			b.test_deep_twin.display
		end

end