class BB create make feature make (i: INTEGER) do attr := i end attr: INTEGER f alias "+" convert: INTEGER do Result := attr end end