class TEST
create
	make
feature
	make 
		do
		end 
    
        x: TEST2 [TEST1 [ANY, ANY]]
end