// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_unknown_aa
static goto_t op_unknown_aa(s7_scheme *sc, s7_pointer f)
                {
                    s7_pointer code;

                    if (!f) /* can be NULL if unbound variable */
                        return(unknown_unknown(sc));
#if SHOW_EVAL_OPS
                    fprintf(stderr, "%s %s\n", __func__, DISPLAY(f));
#endif

                    code = sc->code;
                    set_opt3_arglen(code, small_int(2));
                    annotate_args(sc, cdr(code), sc->envir);

                    switch (type(f))
                    {
                        case T_C_FUNCTION:
                        case T_C_RST_ARGS_FUNCTION:
                            if ((c_function_required_args(f) > 2) ||
                                    (c_function_all_args(f) < 2))
                                break;

                        case T_C_OPT_ARGS_FUNCTION:
                        case T_C_ANY_ARGS_FUNCTION:
                            set_safe_optimize_op(code, (is_safe_procedure(f)) ? OP_SAFE_C_AA : OP_C_FX);
                            set_c_function(code, f);
                            return(goto_eval);

                        case T_CLOSURE:
                            if ((!has_methods(f)) &&
                                    (closure_arity_to_int(sc, f) == 2))
                            {
                                s7_pointer body;
                                bool one_form, safe_case;
                                int32_t hop = 0;

                                body = closure_body(f);
                                one_form = is_null(cdr(body));
                                safe_case = is_safe_closure(f);
                                if (is_immutable_and_stable(sc, car(code))) hop = 1;

                                if (one_form)
                                {
                                    if (safe_case)
                                    {
                                        if (is_fxable(sc, car(body)))
                                        {
                                            annotate_arg(sc, body, sc->envir);
                                            set_safe_optimize_op(code, hop + OP_SAFE_CLOSURE_AA_A);
                                            set_closure_has_fx(f);
                                        }
                                        else
                                        {
                                            set_safe_optimize_op(code, hop + OP_SAFE_CLOSURE_AA_P);
                                            closure_clear_multiform(f);
                                        }
                                    }
                                    else set_optimize_op(code, hop + OP_CLOSURE_AA_P);
                                }
                                else set_optimize_op(code, hop + ((safe_case) ? OP_SAFE_CLOSURE_AA : OP_CLOSURE_AA));
                                set_opt1_lambda(code, f);
                                return(goto_eval);
                            }
                            break;

                        case T_CLOSURE_STAR:
                            return(fixup_closure_star_aa(sc, f, code));
                            break;

                        case T_INT_VECTOR: case T_FLOAT_VECTOR: case T_VECTOR: case T_BYTE_VECTOR:
                            return(fixup_unknown_op(code, f, OP_IMPLICIT_VECTOR_REF_AA));

                        default:
                            break;
                    }

                    if ((is_symbol(car(code))) &&
                            (!is_slot(symbol_to_slot(sc, car(code)))))
                        eval_error_no_return(sc, sc->unbound_variable_symbol, "~A: unbound variable", 20, car(code));

                    return(fixup_unknown_op(code, f, OP_S_AA));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r15
testq %rsi, %rsi
je 0xc2ae1
movq %rsi, %rbx
movq (%r15), %r14
movq 0x83f01(%rip), %rax     # 0x146960
movq 0x10(%r14), %rcx
movq %rax, 0x28(%rcx)
movq 0x10(%r14), %rax
andq $-0x40001, (%rax)       # imm = 0xFFFBFFFF
movq 0x10(%r14), %rsi
movq 0x8(%r15), %rdx
movq %r15, %rdi
callq 0xd151a
movzbl (%rbx), %eax
leal -0x28(%rax), %ecx
cmpl $0xb, %ecx
ja 0xc2af3
leaq 0x45d74(%rip), %rax     # 0x108808
movslq (%rax,%rcx,4), %rcx
addq %rax, %rcx
jmpq *%rcx
cmpq $0x2, 0x18(%rbx)
jg 0xc2b7a
cmpq $0x2, 0x28(%rbx)
jl 0xc2b7a
orb $0x8, 0x1(%r14)
btl $0x15, (%rbx)
movl $0x12a, %eax            # imm = 0x12A
movl $0x6e, %ecx
cmovael %eax, %ecx
movw %cx, 0x4(%r14)
movq %rbx, 0x18(%r14)
movq 0x10(%rbx), %rax
movq %rax, 0x20(%r14)
orb $0x4, 0x6(%r14)
jmp 0xc2b15
movq %r15, %rdi
callq 0xccf8a
movl $0x2, %eax
jmp 0xc2c43
addl $-0x15, %eax
cmpl $0x4, %eax
jae 0xc2b7a
movw $0x175, 0x4(%r14)       # imm = 0x175
jmp 0xc2c2a
movq %r15, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0xd1577
movl $0x5, %eax
jmp 0xc2c43
testb $0x40, 0x3(%rbx)
jne 0xc2b7a
movq %r15, %rdi
movq %rbx, %rsi
callq 0xccf45
cmpl $0x2, %eax
jne 0xc2b7a
movq 0x10(%rbx), %rbp
movq 0x10(%rbp), %rax
movq %rax, (%rsp)
movq 0x110(%r15), %r12
movzwl (%rbx), %r13d
movq 0x8(%r14), %rsi
movq %r15, %rdi
callq 0xcd057
cmpq %r12, (%rsp)
je 0xc2c7f
movzbl %al, %eax
shrl $0xa, %r13d
andl $0x4, %r13d
addl %r13d, %eax
addl $0xfe, %eax
jmp 0xc2c8e
movq 0x8(%r14), %rax
cmpb $0xa, (%rax)
jne 0xc2c23
movq 0x8(%r15), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rax), %rsi
movl $0x18, %ecx
cmpq %rsi, %rdi
je 0xc2bb5
jle 0xc2bac
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc2b9f
cmpq %rsi, %rdi
jne 0xc2c52
movq (%rax,%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xc2c23
movq 0x1958(%r15), %rsi
movq 0x820(%r15), %rax
movslq 0x7dc(%r15), %rcx
movq (%rax,%rcx,8), %rax
incl %ecx
andl $0x7, %ecx
movl %ecx, 0x7dc(%r15)
leaq 0x559db(%rip), %rcx     # 0x1185c5
movq %rcx, 0x10(%rax)
movq $0x14, 0x8(%rax)
movq 0x8(%r14), %rcx
movq 0x6e0(%r15), %rdx
movq %rax, 0x8(%rdx)
movq 0x6e0(%r15), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x6e0(%r15), %rdx
movq %r15, %rdi
callq 0x38dfa
movw $0x16f, 0x4(%r14)       # imm = 0x16F
movzbl (%rbx), %ecx
leaq 0x8ffac(%rip), %rdx     # 0x152be0
movl $0x5, %eax
cmpb $0x1, (%rcx,%rdx)
jne 0xc2c43
movq %rbx, 0x18(%r14)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x10, %ecx
cmpb $0x1c, (%rdx)
jne 0xc2bb5
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xc2c79
cmpq %rax, 0x8(%rsi)
je 0xc2bb9
movq 0x18(%rsi), %rsi
jmp 0xc2c64
movq 0x10(%rdx), %rdx
jmp 0xc2c57
btl $0xc, %r13d
jb 0xc2c9c
movzbl %al, %eax
orl $0x100, %eax            # imm = 0x100
movw %ax, 0x4(%r14)
movq %rbx, 0x18(%r14)
jmp 0xc2b15
movq %rbp, %r12
movl %eax, %ebp
movq 0x8(%r12), %rsi
movq %r15, %rdi
callq 0xcd0e8
testb %al, %al
je 0xc2cda
movq 0x8(%r15), %rdx
movq %r15, %rdi
movq %r12, %rsi
callq 0xcd131
orb $0x8, 0x1(%r14)
movzbl %bpl, %eax
orl $0x106, %eax            # imm = 0x106
movw %ax, 0x4(%r14)
orb $0x5, 0x1(%rbx)
jmp 0xc2c93
orb $0x8, 0x1(%r14)
movzbl %bpl, %eax
orl $0x104, %eax            # imm = 0x104
movw %ax, 0x4(%r14)
andb $-0x2, 0x1(%rbx)
jmp 0xc2c93