class TEST2
inherit
	TEST1
		rename
			x as test1_x
		end
feature
	x: DOUBLE
end