after the second: back to the first body while tiles are left
755def sfSecondTail = (lambda unrestricted firstInstructions : Nat . (lambda unrestricted secondInstructions : Nat .
756 (saAddImm saCount saCount 4294967295
757 (saGreater saP1 saCount 0
758 (saWhen saP1
759 (constructor SM86InstructionBody SM86Branch
760 (saU (naturalSaturatingSubtract 4294967296
761 (naturalMultiply 16 (naturalAdd (naturalAdd firstInstructions 3) (naturalAdd secondInstructions 3)))))
762 (sm86Unsigned32 (byte 255) (byte 255) (byte 131) (byte 3))
763 saPlain)
764 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.