<> <> DIRECTORY BasicLoadState USING [TypeCode], BcdDefs USING [MTIndex], PrincOps USING [GFTIndex]; BasicLoadStateFormatExtension: DEFINITIONS = BEGIN Extension: TYPE = ARRAY PrincOps.GFTIndex OF ExtensionEntry; ExtensionEntry: TYPE = MACHINE DEPENDENT RECORD [ mti(0): BcdDefs.MTIndex, type(1): BasicLoadState.TypeCode ]; nullType: BasicLoadState.TypeCode = LOOPHOLE[0]; END.