class BB feature f: INTEGER do Result := 4 end end