the pair at `pointer` (a register pair) into d, d + 1, under SB0
53def ggLoadPair = (lambda unrestricted d : Nat . (lambda unrestricted pointer : Nat . (lambda unrestricted tail : (family SM86Program) .
54 (saLoad d pointer 0 saSB0 saWaitNone (saLoad (succ d) pointer 4 saSB0 saWaitNone tail)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.