<> <> DIRECTORY PDInterpInput; PDInterpControl: DEFINITIONS = BEGIN maxRanges: NAT = 30; PageSpec: TYPE = ARRAY [0..maxRanges) OF PageRange; PageRange: TYPE = RECORD [skipCount: CARDINAL _ 0, printCount: CARDINAL _ 0]; nullPageRange: PageRange = [0, 0]; RequestService: PROC [handle: PDInterpInput.Handle, pageSpec: PageSpec]; SetSuspendablePages: PROC [suspendablePages: NAT] RETURNS [prevValue: NAT]; <> END.