class CC

create

	make

feature

	make (i: INTEGER)
		do
			attr := i
		end

	attr: INTEGER
	
	g alias "+" (c: CC): INTEGER
		do
			Result := attr + c.attr
		end
		
end