class TEST4
inherit 
	TEST3
		redefine
			x
		end
feature
	x: STRING
		do
		end
end