<<>> <> <> <> <> <> SourceMap: DEFINITIONS = { Loc: TYPE[SIZE[CARD]]; nullLoc: Loc = LOOPHOLE[CARD.LAST]; Init, Reset: PROC; Cons: PROC [index: INT] RETURNS [Loc]; Val: PROC [loc: Loc] RETURNS [INT]; Down: PROC [loc: Loc] RETURNS [CARD] = INLINE { RETURN [LOOPHOLE[loc, CARD]]; }; Up: PROC [code: CARD] RETURNS [Loc] = INLINE { RETURN [LOOPHOLE[code, Loc]]; }; Delta: PROC [loc1, loc2: Loc] RETURNS [CARD] = INLINE { RETURN [Down[loc1] - Down[loc2]]; }; Incr: PROC [loc: Loc, delta: CARD] RETURNS [Loc] = INLINE { RETURN [Up[Down[loc]+delta]]; }; }.