// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fixup_closure_star_aa
static goto_t fixup_closure_star_aa(s7_scheme *sc, s7_pointer f, s7_pointer code)
                {
                    if (!has_methods(f))
                    {
                        int32_t hop = 0;
                        if (is_immutable_and_stable(sc, car(code))) hop = 1;
                        set_opt3_arglen(code, small_int(2));
                        if (lambda_has_simple_defaults(closure_body(f)))
                        {
                            if (closure_star_arity_to_int(sc, f) == 2)
                                return(fixup_unknown_op(code, f, hop + ((is_safe_closure(f)) ? OP_SAFE_CLOSURE_STAR_AA : OP_CLOSURE_STAR_FX)));
                            return(fixup_unknown_op(code, f, hop + ((is_safe_closure(f)) ? OP_SAFE_CLOSURE_STAR_FX_2 : OP_CLOSURE_STAR_FX)));
                        }
                        if (is_safe_closure(f))
                            return(fixup_unknown_op(code, f, hop + OP_SAFE_CLOSURE_STAR_FX_2));
                    }
                    return(fixup_unknown_op(code, f, OP_S_AA));
                }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq %rsi, 0x10(%rsp)
movq %rdx, 0x8(%rsp)
movq 0x10(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
jne 0x164a46
movl $0x0, 0x4(%rsp)
movq 0x18(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x15cec0
testb $0x1, %al
jne 0x16492c
jmp 0x164934
movl $0x1, 0x4(%rsp)
jmp 0x164936
movq 0xb1b53(%rip), %rcx     # 0x216490
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x28(%rax)
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rcx
andq $-0x40001, %rcx         # imm = 0xFFFBFFFF
movq %rcx, (%rax)
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rax
andq $0x400, %rax            # imm = 0x400
cmpq $0x0, %rax
je 0x164a11
movq 0x18(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0x15d230
cmpl $0x2, %eax
jne 0x1649d2
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
movl 0x4(%rsp), %eax
movq 0x10(%rsp), %rcx
movzwl (%rcx), %r8d
andl $0x1000, %r8d           # imm = 0x1000
movl $0x11a, %ecx            # imm = 0x11A
movl $0x11e, %edx            # imm = 0x11E
cmpl $0x0, %r8d
cmovnel %edx, %ecx
addl %ecx, %eax
movslq %eax, %rdx
callq 0x15d0d0
movl %eax, 0x24(%rsp)
jmp 0x164a5e
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
movl 0x4(%rsp), %eax
movq 0x10(%rsp), %rcx
movzwl (%rcx), %r8d
andl $0x1000, %r8d           # imm = 0x1000
movl $0x11a, %ecx            # imm = 0x11A
movl $0x126, %edx            # imm = 0x126
cmpl $0x0, %r8d
cmovnel %edx, %ecx
addl %ecx, %eax
movslq %eax, %rdx
callq 0x15d0d0
movl %eax, 0x24(%rsp)
jmp 0x164a5e
movq 0x10(%rsp), %rax
movzwl (%rax), %eax
andl $0x1000, %eax           # imm = 0x1000
cmpl $0x0, %eax
je 0x164a44
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
movl 0x4(%rsp), %eax
addl $0x126, %eax            # imm = 0x126
movslq %eax, %rdx
callq 0x15d0d0
movl %eax, 0x24(%rsp)
jmp 0x164a5e
jmp 0x164a46
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
movl $0x16f, %edx            # imm = 0x16F
callq 0x15d0d0
movl %eax, 0x24(%rsp)
movl 0x24(%rsp), %eax
addq $0x28, %rsp
retq
nopw (%rax,%rax)