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