<> <> <> <> <> DIRECTORY PrincOps USING [MachineType]; SystemVersion: DEFINITIONS = BEGIN Date: TYPE = LONG CARDINAL; <> <<>> <<>> <> MachineType: TYPE = PrincOps.MachineType[dolphin..dicentra]; machineType: READONLY MachineType; uCodeDate: READONLY Date; uCodeVersion: READONLY CARDINAL; uCodeFloatingPoint: READONLY BOOL; uCodeCedar: READONLY BOOL; <<>> <> ReleaseNumber: TYPE = MACHINE DEPENDENT RECORD [ major(0): CARDINAL, minor(1): CARDINAL, patch(2): CARDINAL ]; release: READONLY ReleaseNumber; bootFileDate: READONLY Date; END.