class C

inherit
	B
		rename
			p1 as x alias "+"
		end

end