<<>> <> <> <> <> <> DIRECTORY Symbols USING [HTIndex], SymbolSegment USING [constType], Table USING [Selector]; PackageSymbols: DEFINITIONS = { MaxEntries: CARDINAL = NAT15.LAST; <> WordIndex: TYPE = CARD; ConstRecord: TYPE = MACHINE DEPENDENT RECORD [ offset: WordIndex, length: CARD]; ConstIndex: TYPE = CARD; constType: Table.Selector = SymbolSegment.constType; <> OuterPackRecord: TYPE = MACHINE DEPENDENT RECORD [ hti: Symbols.HTIndex, placed, attr1, attr2: BOOL ¬ FALSE, fill: [0..8*1024) ¬ 0, length: CARD16, firstSon: IPIndex, resident: BOOL, entryIndex: ValidIPIndex]; OPIndex: TYPE = CARDINAL [0..MaxEntries]; OPNull: OPIndex = OPIndex.LAST; <> InnerPackRecord: TYPE = MACHINE DEPENDENT RECORD [ length: CARD16, lastSon: BOOL, entryIndex: ValidIPIndex]; ValidIPIndex: TYPE = NAT15; IPIndex: TYPE = CARD16; IPNull: IPIndex = IPIndex.LAST; }.