<> <> <> System: DEFINITIONS = BEGIN <> Microseconds: TYPE = LONG CARDINAL; Pulses: TYPE = RECORD [pulses: LONG CARDINAL]; GetClockPulses: PROCEDURE RETURNS [p: Pulses]; PulsesToMicroseconds: PROCEDURE [p: Pulses] RETURNS [m: Microseconds]; MicrosecondsToPulses: PROCEDURE [m: Microseconds] RETURNS [p: Pulses]; Overflow: ERROR; <> Switches: TYPE = PACKED ARRAY CHARACTER OF UpDown; UpDown: TYPE = MACHINE DEPENDENT {up (0), down (1)}; switches: READONLY Switches; defaultSwitches: Switches = ALL[up]; isUtilityPilot: READONLY BOOLEAN; IsUtilityPilot: PROCEDURE RETURNS [BOOLEAN] = INLINE {RETURN[isUtilityPilot]}; END. <>