class TEST
create
	make
feature
	make
		do
			create x.make
		end

	x: TEST1 [TEST4 [NATURAL_8]]
	
end