back to the body's first instruction (the displacement counts the body,
the control and the branch, from the branch's successor)
159def ahBranch = (lambda unrestricted body : Nat .
160 (saWhen saP1 (constructor SM86InstructionBody SM86Branch
161 (saU (naturalSaturatingSubtract 4294967296 (naturalMultiply 16 (naturalAdd body (naturalAdd ahControlCount 1)))))
162 (sm86Unsigned32 (byte 255) (byte 255) (byte 131) (byte 3))
163 sm86SafeControl)
164 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.