expanded class E1
feature
	x: E0
	set_x (an_x: like x)
		do
			x := an_x
		end
end