class TEST
 
create
    make
 
feature
 
    	make
		do
			print ({like x}); io.new_line
		end

	 x: like {PROCEDURE [ANY, TUPLE [like {like {TEST2 [TEST2 [DOUBLE, DOUBLE], DOUBLE]}.default}.default]]}.operands

end