// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: op_unknown_a
static goto_t op_unknown_a(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;
#if S7_DEBUGGING
                    if (!has_fx(cdr(code)))
                        fprintf(stderr, "op_unknown_a missing _a support? %s\n", DISPLAY_80(code));
#endif

                    switch (type(f))
                    {
                        case T_C_FUNCTION:
                        case T_C_RST_ARGS_FUNCTION:
                            if ((c_function_required_args(f) > 1) ||
                                    (c_function_all_args(f) == 0))
                                break;

                        case T_C_OPT_ARGS_FUNCTION:
                        case T_C_ANY_ARGS_FUNCTION:
                            set_optimize_op(code, (is_safe_procedure(f)) ? OP_SAFE_C_A : OP_C_A);
                            set_c_function(code, f);
                            return(goto_eval);

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

                                body = closure_body(f);
                                safe_case = is_safe_closure(f);
                                one_form = is_null(cdr(body));
                                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_A_A);
                                            set_closure_has_fx(f);
                                            fx_tree(sc, body, car(closure_args(f)), NULL);
                                        }
                                        else
                                        {
                                            set_safe_optimize_op(code, hop + OP_SAFE_CLOSURE_A_P);
                                            closure_clear_multiform(f);
                                        }
                                    }
                                    else set_optimize_op(code, hop + OP_CLOSURE_A_P);
                                }
                                else set_optimize_op(code, hop + ((safe_case) ? OP_SAFE_CLOSURE_A : OP_CLOSURE_A));

                                /* we might not be in "f" I think, tree_memq(sc, code, body)?? */
                                if ((safe_case) &&
                                        (is_very_safe_closure(f)) &&
                                        (!tree_has_definers_or_binders(sc, body)) &&
                                        (s7_tree_memq(sc, code, body)))
                                    fx_tree(sc, cdr(code), car(closure_args(f)), NULL);

                                set_opt1_lambda(code, f);
                                return(goto_eval);
                            }
                            break;

                        case T_CLOSURE_STAR:
                            if ((!has_methods(f)) &&
                                    (closure_star_arity_to_int(sc, f) != 0))
                            {
                                int32_t hop = 0;
                                if (is_immutable_and_stable(sc, car(code))) hop = 1;
                                if (lambda_has_simple_defaults(closure_body(f)))
                                {
                                    if (arglist_has_rest(sc, closure_args(f)))
                                        return(fixup_unknown_op(code, f, hop + ((is_safe_closure(f)) ? OP_SAFE_CLOSURE_STAR_FX_1 : OP_CLOSURE_STAR_FX)));
                                    return(fixup_unknown_op(code, f, hop + ((is_safe_closure(f)) ? OP_SAFE_CLOSURE_STAR_A : OP_CLOSURE_STAR_A)));
                                }
                                if (is_safe_closure(f))
                                    return(fixup_unknown_op(code, f, hop + OP_SAFE_CLOSURE_STAR_FX_1));
                            }
                            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_A));

                        case T_STRING:     return(fixup_unknown_op(code, f, OP_IMPLICIT_STRING_REF_A));
                        case T_PAIR:       return(fixup_unknown_op(code, f, OP_IMPLICIT_PAIR_REF_A));
                        case T_C_OBJECT:   return(fixup_unknown_op(code, f, OP_IMPLICIT_C_OBJECT_REF_A));
                        case T_HASH_TABLE: return(fixup_unknown_op(code, f, OP_IMPLICIT_HASH_TABLE_REF_A));
                        case T_GOTO:       return(fixup_unknown_op(code, f, OP_IMPLICIT_GOTO_A));

                        case T_LET:
                                           {
                                               s7_pointer arg1;
                                               arg1 = cadr(code);
                                               if (is_pair(arg1))
                                               {
                                                   if (car(arg1) == sc->quote_symbol)
                                                   {
                                                       set_opt3_any(code, cadadr(code));
                                                       return(fixup_unknown_op(code, f, OP_IMPLICIT_LET_REF_C));
                                                   }
                                                   return(fixup_unknown_op(code, f, OP_IMPLICIT_LET_REF_A)); /* arg is already annotated (unknown_a) */
                                               }
                                               /* this is possible, but it's probably an error: (obj 0) in t725 */
                                               set_opt3_any(code, cadr(code));
                                               return(fixup_unknown_op(code, f, OP_IMPLICIT_LET_REF_C));
                                           }

                        default:
                                           /* macro, continuation */
                                           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_A)); /* closure with methods etc */
                }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
cmpq $0x0, 0x50(%rsp)
jne 0x122749
movq 0x58(%rsp), %rdi
callq 0x15ce10
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x58(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x50(%rsp), %rax
movzbl (%rax), %eax
decl %eax
movl %eax, %ecx
movq %rcx, 0x20(%rsp)
subl $0x32, %eax
ja 0x122d3c
movq 0x20(%rsp), %rax
leaq 0xbdacc(%rip), %rcx     # 0x1e0248
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x50(%rsp), %rax
cmpq $0x1, 0x18(%rax)
jg 0x12279d
movq 0x50(%rsp), %rax
cmpq $0x0, 0x28(%rax)
jne 0x1227a2
jmp 0x122d3e
jmp 0x1227a4
movq 0x50(%rsp), %rax
movq (%rax), %rdx
andq $0x200000, %rdx         # imm = 0x200000
movl $0x148, %eax            # imm = 0x148
movl $0x6c, %ecx
cmpq $0x0, %rdx
cmovnel %ecx, %eax
movw %ax, %cx
movq 0x48(%rsp), %rax
movw %cx, 0x4(%rax)
movq 0x50(%rsp), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x18(%rax)
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x48(%rsp), %rax
movzwl 0x6(%rax), %ecx
orl $0x4, %ecx
movw %cx, 0x6(%rax)
jmp 0x122802
movl $0x5, 0x64(%rsp)
jmp 0x122de5
movq 0x50(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
jne 0x122a4d
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rsi
callq 0x15cd60
cmpl $0x1, %eax
jne 0x122a4d
movl $0x0, 0x38(%rsp)
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x40(%rsp)
movq 0x50(%rsp), %rax
movzwl (%rax), %eax
andl $0x1000, %eax           # imm = 0x1000
cmpl $0x0, %eax
setne %al
andb $0x1, %al
movb %al, 0x3e(%rsp)
movq 0x40(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x110(%rcx), %rax
sete %al
andb $0x1, %al
movb %al, 0x3f(%rsp)
movq 0x58(%rsp), %rdi
movq 0x48(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x15cec0
testb $0x1, %al
jne 0x1228a5
jmp 0x1228ad
movl $0x1, 0x38(%rsp)
testb $0x1, 0x3f(%rsp)
je 0x1229a1
testb $0x1, 0x3e(%rsp)
je 0x12298a
movq 0x58(%rsp), %rdi
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x15cfb0
testb $0x1, %al
jne 0x1228dc
jmp 0x12294e
movq 0x58(%rsp), %rdi
movq 0x40(%rsp), %rsi
movq 0x58(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0x15d020
movq 0x48(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
movl 0x38(%rsp), %eax
addl $0xcc, %eax
movw %ax, %cx
movq 0x48(%rsp), %rax
movw %cx, 0x4(%rax)
movq 0x50(%rsp), %rax
movq (%rax), %rcx
orq $0x500, %rcx            # imm = 0x500
movq %rcx, (%rax)
movq 0x58(%rsp), %rdi
movq 0x40(%rsp), %rsi
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdx
xorl %eax, %eax
movl %eax, %ecx
callq 0x15d170
jmp 0x122988
jmp 0x122950
movq 0x48(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
movl 0x38(%rsp), %eax
addl $0xca, %eax
movw %ax, %cx
movq 0x48(%rsp), %rax
movw %cx, 0x4(%rax)
movq 0x50(%rsp), %rax
movq (%rax), %rcx
andq $-0x101, %rcx           # imm = 0xFEFF
movq %rcx, (%rax)
jmp 0x12299f
movl 0x38(%rsp), %eax
addl $0xc6, %eax
movw %ax, %cx
movq 0x48(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x1229c9
movl 0x38(%rsp), %eax
movb 0x3e(%rsp), %sil
movl $0xc4, %ecx
movl $0xc8, %edx
testb $0x1, %sil
cmovnel %edx, %ecx
addl %ecx, %eax
movw %ax, %cx
movq 0x48(%rsp), %rax
movw %cx, 0x4(%rax)
testb $0x1, 0x3e(%rsp)
je 0x122a32
movq 0x50(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x122a32
movq 0x58(%rsp), %rdi
movq 0x40(%rsp), %rsi
callq 0x164670
testb $0x1, %al
jne 0x122a32
movq 0x58(%rsp), %rdi
movq 0x48(%rsp), %rsi
movq 0x40(%rsp), %rdx
callq 0x2f7a0
testb $0x1, %al
jne 0x122a0e
jmp 0x122a32
movq 0x58(%rsp), %rdi
movq 0x48(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdx
xorl %eax, %eax
movl %eax, %ecx
callq 0x15d170
movq 0x50(%rsp), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x18(%rax)
movl $0x5, 0x64(%rsp)
jmp 0x122de5
jmp 0x122d3e
movq 0x50(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
jne 0x122b9c
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rsi
callq 0x15d230
cmpl $0x0, %eax
je 0x122b9c
movl $0x0, 0x34(%rsp)
movq 0x58(%rsp), %rdi
movq 0x48(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x15cec0
testb $0x1, %al
jne 0x122aa3
jmp 0x122aab
movl $0x1, 0x34(%rsp)
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rax
andq $0x400, %rax            # imm = 0x400
cmpq $0x0, %rax
je 0x122b64
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x15d270
testb $0x1, %al
jne 0x122ae0
jmp 0x122b22
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl 0x34(%rsp), %eax
movq 0x50(%rsp), %rcx
movzwl (%rcx), %r8d
andl $0x1000, %r8d           # imm = 0x1000
movl $0x11a, %ecx            # imm = 0x11A
movl $0x124, %edx            # imm = 0x124
cmpl $0x0, %r8d
cmovnel %edx, %ecx
addl %ecx, %eax
movslq %eax, %rdx
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl 0x34(%rsp), %eax
movq 0x50(%rsp), %rcx
movzwl (%rcx), %r8d
andl $0x1000, %r8d           # imm = 0x1000
movl $0x118, %ecx            # imm = 0x118
movl $0x11c, %edx            # imm = 0x11C
cmpl $0x0, %r8d
cmovnel %edx, %ecx
addl %ecx, %eax
movslq %eax, %rdx
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x50(%rsp), %rax
movzwl (%rax), %eax
andl $0x1000, %eax           # imm = 0x1000
cmpl $0x0, %eax
je 0x122b9a
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl 0x34(%rsp), %eax
addl $0x124, %eax            # imm = 0x124
movslq %eax, %rdx
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
jmp 0x122b9c
jmp 0x122d3e
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x174, %edx            # imm = 0x174
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x176, %edx            # imm = 0x176
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x178, %edx            # imm = 0x178
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x177, %edx            # imm = 0x177
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x179, %edx            # imm = 0x179
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x171, %edx            # imm = 0x171
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x48(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x122cf5
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x17b0(%rcx), %rax
jne 0x122cd8
jmp 0x122c8b
movq 0x48(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x28(%rax)
movq 0x48(%rsp), %rax
movq (%rax), %rcx
andq $-0x40001, %rcx         # imm = 0xFFFBFFFF
movq %rcx, (%rax)
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x17a, %edx            # imm = 0x17A
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x17b, %edx            # imm = 0x17B
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
jmp 0x122cf7
movq 0x48(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x28(%rax)
movq 0x48(%rsp), %rax
movq (%rax), %rcx
andq $-0x40001, %rcx         # imm = 0xFFFBFFFF
movq %rcx, (%rax)
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x17a, %edx            # imm = 0x17A
callq 0x15d0d0
movl %eax, 0x64(%rsp)
jmp 0x122de5
jmp 0x122d3e
movq 0x48(%rsp), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0xa, %eax
jne 0x122dcd
movq 0x58(%rsp), %rdi
movq 0x48(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0xfc80
movzbl (%rax), %eax
cmpl $0x20, %eax
je 0x122dcd
movq 0x58(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x58(%rsp), %rax
movq 0x1958(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x58(%rsp), %rdi
leaq 0xcd742(%rip), %rsi     # 0x1f04dd
movl $0x14, %edx
callq 0xb880
movq 0x8(%rsp), %rdi
movq %rax, %rsi
movq 0x48(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0xb830
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq %rax, %rdx
callq 0x2f940
movq 0x48(%rsp), %rdi
movq 0x50(%rsp), %rsi
movl $0x16d, %edx            # imm = 0x16D
callq 0x15d0d0
movl %eax, 0x64(%rsp)
movl 0x64(%rsp), %eax
addq $0x68, %rsp
retq
nop