<> <> <> <> <> Table: DEFINITIONS = { Base: TYPE = LONG ORDERED BASE POINTER; Finger: TYPE = POINTER TO Base; Limit: NAT = 40000b; Index: TYPE = Base RELATIVE POINTER [0..Limit); OrderedIndex: TYPE = Base RELATIVE ORDERED POINTER [0..Limit); IPointer: TYPE = LONG POINTER; Selector: TYPE = NAT; chunkType: Selector = Selector.FIRST; }.