<<>> <> <> <> <> C2COps: CEDAR DEFINITIONS = BEGIN PlainAccess: PROC [start, sz: INT] RETURNS [BOOL]; <> <> MinContainerSize: PROC [start, sz: INT] RETURNS [INT]; <> <> END.