class BB create make feature make do end f (i: INTEGER): INTEGER do Result := i end end