after the first body: one tile fewer; leave for the epilogue (past the
second body and its tail) when none is left
745def sfFirstTail = (lambda unrestricted secondInstructions : Nat .
746 (saAddImm saCount saCount 4294967295
747 (saGreater saP1 saCount 0
748 (saUnless saP1
749 (constructor SM86InstructionBody SM86Branch
750 (saU (naturalMultiply 16 (naturalAdd secondInstructions 3)))
751 (sm86Unsigned32 (byte 0) (byte 0) (byte 128) (byte 3))
752 saPlain)
753 sm86ProgramEmpty))))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.