---- the loop's control: the next quad, one iteration fewer ----
152def ahControl = (lambda unrestricted stride : Nat . (lambda unrestricted tail : (family SM86Program) .
153 (saAddImm 2 2 stride
154 (saAddImm ahCounter ahCounter 4294967295
155 (saGreater saP1 ahCounter 0 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.