<<>> <> <> <> <> <> <> <> <> <<>> DIRECTORY VM USING [FalseBool, Interval, LogPageCount, NullInterval, VMPartition, ZeroPageNumber]; CountedVM: CEDAR DEFINITIONS = BEGIN Handle: TYPE = REF Object; Object: TYPE = RECORD [interval: VM.Interval, pointer: POINTER, words: INT]; Allocate: PROC [words: INT, partition: VM.VMPartition ¬ normalVM, subRange: VM.NullInterval ¬ [0, 0], start: VM.ZeroPageNumber ¬ 0, alignment: VM.LogPageCount ¬ 0, in64K: VM.FalseBool ¬ FALSE] RETURNS [Handle]; <> <> SimpleAllocate: PROC [words: INT] RETURNS [Handle]; <<... equivalent to Allocate[words: words], defaulting all other parameters.>> <<>> Free: UNSAFE PROC [handle: Handle]; <> <<>> END.