class
	B

feature
	
	plus alias "+" (other: B): INTEGER is
		do
		end

end