
    <<InternalTable.mesa>>
        <<Copyright  1985 by Xerox Corporation.  All rights reserved.>>
        <<Satterthwaite, June 3, 1986 2:58:45 pm PDT>>
    <<Russ Atkinson (RRA) January 31, 1985 11:01:37 am PST>>
        <<Doug Wyatt, February 27, 1985 9:11:33 am PST>>

    Table: DEFINITIONS = {

        Base: TYPE = LONG ORDERED BASE POINTER;
        Finger: TYPE = POINTER TO Base;
        Index: TYPE = Base RELATIVE LONG POINTER;
        OrderedIndex: TYPE = Base RELATIVE LONG ORDERED POINTER;

    <<representation of tagged pointers (for D-machines)>>
        Tag: TYPE = [0..0FFH];
        HighBits: TYPE = [0..WORD.LAST/(Tag.LAST+1)];
        LowBits: TYPE = WORD;

        IndexRep: TYPE = MACHINE DEPENDENT RECORD[    -- for D-machines
            tag (1:0..7): Tag_,
            highBits (1:8..15): HighBits_HighBits.LAST,    -- defaults for distinguishing Index.LAST
            lowBits (0:0..15): LowBits_LowBits.LAST];

        IPointer: TYPE = LONG POINTER;

        Selector: TYPE = NAT;
        chunkType: Selector = Selector.FIRST;

        }.
