<> <> 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 [requestorName: LONG STRING, pageSpec: PageSpec]; <> END.