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