class TEST1
feature

	x: like {TEST3}.x
		do
		end

end