class TEST2
inherit
	TEST1
		redefine
			x
		end
feature

	x: DOUBLE 
end