<<>> <> <> <> <> <> <> DIRECTORY Symbols USING [BTIndex, HTIndex, ProcClass]; DesiredPackageSymbols: DEFINITIONS = { <> OuterPackRecord: TYPE = RECORD [ hti: Symbols.HTIndex, bti: Symbols.BTIndex, firstSon: IPIndex, class: Symbols.ProcClass ]; OPIndex: TYPE = CARDINAL; OPNull: OPIndex = OPIndex.LAST; OPMain: OPIndex = OPIndex.FIRST; <> InnerPackRecord: TYPE = RECORD [ hti: Symbols.HTIndex, bti: Symbols.BTIndex, lastSon: BOOL, class: Symbols.ProcClass ]; IPIndex: TYPE = CARD; IPNull: IPIndex = IPIndex.LAST; }.