// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_unknown_g
static goto_t op_unknown_g(s7_scheme *sc, s7_pointer f)
                {
                    s7_pointer code;
                    bool sym_case;
                    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 (is_pair(cadr(code)))
                        fprintf(stderr, "%s[%d]: arg is a pair: %s\n", __func__, __LINE__, DISPLAY(code));
#endif
                    sym_case = is_normal_symbol(cadr(code));
                    if ((sym_case) &&
                            (!is_slot(symbol_to_slot(sc, cadr(code)))))
                        return(fall_through);

                    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:
                            if (sym_case)
                            {
                                if (is_safe_procedure(f))
                                    set_optimize_op(code, OP_SAFE_C_S);
                                else set_optimize_op(code, OP_C_S);
                                set_c_function(code, f);
                                return(goto_eval);
                            }
                            if (is_safe_procedure(f))
                            {
                                set_optimize_op(code, OP_SAFE_C_D);
                                set_c_function(code, f);
                                return(goto_eval);
                            }
                            break;

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

                                body = closure_body(f);
                                if (sym_case)
                                    set_opt2_sym(code, cadr(code));
                                else set_opt2_con(code, cadr(code));
                                if (is_immutable_and_stable(sc, car(code))) hop = 1;

                                if (is_safe_closure(f))
                                {
                                    if (is_null(cdr(body)))
                                    {
                                        if (is_fxable(sc, car(body)))
                                        {
                                            annotate_arg(sc, body, sc->envir);
                                            set_safe_optimize_op(code, hop + ((sym_case) ? OP_SAFE_CLOSURE_S_A : OP_SAFE_CLOSURE_C_A));
                                            set_closure_has_fx(f);
                                            fx_tree(sc, body, car(closure_args(f)), NULL);
                                        }
                                        else
                                        {
                                            /* hop if is_constant(sc, car(code)) is not foolproof here (see t967.scm):
                                             *    (define (f) (define-constant (f1) ... (f1))...) where each call on f makes a different f1
                                             */
                                            set_safe_optimize_op(code, hop + ((sym_case) ? OP_SAFE_CLOSURE_S_P : OP_SAFE_CLOSURE_C_P));
                                            closure_clear_multiform(f);
                                        }
                                    }
                                    else set_safe_optimize_op(code, hop + ((sym_case) ? OP_SAFE_CLOSURE_S : OP_SAFE_CLOSURE_C));
                                }
                                else
                                {
                                    if (is_null(cdr(body)))
                                        set_optimize_op(code, hop + ((sym_case) ? OP_CLOSURE_S_P : OP_CLOSURE_C_P));
                                    else set_optimize_op(code, hop + ((sym_case) ? OP_CLOSURE_S : OP_CLOSURE_C));
                                }
                                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;

                                annotate_arg(sc, cdr(code), sc->envir);
                                set_opt3_arglen(code, small_int(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_GOTO:
                            annotate_arg(sc, cdr(code), sc->envir);
                            set_opt3_arglen(code, small_int(1));
                            return(fixup_unknown_op(code, f, OP_IMPLICIT_GOTO_A));

                        case T_INT_VECTOR: case T_FLOAT_VECTOR: case T_VECTOR: case T_BYTE_VECTOR:
                            if ((sym_case) ||
                                    (is_t_integer(cadr(code))))      /* (v 4/3) */
                            {
                                annotate_arg(sc, cdr(code), sc->envir);
                                return(fixup_unknown_op(code, f, OP_IMPLICIT_VECTOR_REF_A));
                            }
                            break;

                        case T_STRING:
                            annotate_arg(sc, cdr(code), sc->envir);
                            return(fixup_unknown_op(code, f, OP_IMPLICIT_STRING_REF_A));

                        case T_PAIR:
                            annotate_arg(sc, cdr(code), sc->envir);
                            return(fixup_unknown_op(code, f, OP_IMPLICIT_PAIR_REF_A));

                        case T_C_OBJECT:
                            if (s7_is_aritable(sc, f, 1))
                            {
                                annotate_arg(sc, cdr(code), sc->envir);
                                return(fixup_unknown_op(code, f, OP_IMPLICIT_C_OBJECT_REF_A));
                            }
                            break;

                        case T_LET:
                            if (is_normal_symbol(cadr(code)))
                            {
                                annotate_arg(sc, cdr(code), sc->envir);
                                return(fixup_unknown_op(code, f, OP_IMPLICIT_LET_REF_A));
                            }
                            set_opt3_any(code, cadr(code));
                            return(fixup_unknown_op(code, f, OP_IMPLICIT_LET_REF_C));

                        case T_HASH_TABLE:
                            annotate_arg(sc, cdr(code), sc->envir);
                            return(fixup_unknown_op(code, f, OP_IMPLICIT_HASH_TABLE_REF_A));

                        case T_CONTINUATION:
                            annotate_arg(sc, cdr(code), sc->envir);
                            return(fixup_unknown_op(code, f, OP_IMPLICIT_CONTINUATION_A));

                        case T_MACRO:
                            return(fixup_unknown_op(code, f, OP_MACRO_D));

                        case T_MACRO_STAR:
                            return(fixup_unknown_op(code, f, OP_MACRO_STAR_D));

                        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, (sym_case) ? OP_S_S : OP_S_C));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r14
testq %rsi, %rsi
je 0xc0e09
movq %rsi, %rbx
movq (%r14), %r12
movq 0x10(%r12), %r15
movq 0x8(%r15), %rcx
movb (%rcx), %dl
cmpb $0xa, %dl
jne 0xc0d98
testb $-0x80, 0x6(%rcx)
jne 0xc0d98
movq 0x8(%r14), %rsi
movq 0x18(%rsi), %r8
movq 0x20(%rcx), %rdi
movl $0x18, %eax
cmpq %rdi, %r8
je 0xc0d82
jle 0xc0d79
movq 0x10(%rsi), %rsi
movq 0x18(%rsi), %r8
cmpq %r8, %rdi
jl 0xc0d6c
cmpq %rdi, %r8
jne 0xc0e9f
movq (%rcx,%rax), %rdi
movl $0x2, %eax
movb $0x1, %bpl
cmpb $0x20, (%rdi)
je 0xc0d9a
jmp 0xc117e
xorl %ebp, %ebp
movzbl (%rbx), %esi
leal -0x13(%rsi), %eax
cmpl $0x20, %eax
ja 0xc0e59
leaq 0x478f0(%rip), %rsi     # 0x1086a0
movslq (%rsi,%rax,4), %rax
addq %rsi, %rax
jmpq *%rax
cmpb $0xb, %dl
setne %al
movl %ebp, %ecx
xorb $0x1, %cl
testb %cl, %al
jne 0xc10a8
movq 0x8(%r14), %rdx
movb (%rdx), %al
decb %al
cmpb $0x2, %al
leaq 0xc37f(%rip), %rax      # 0xcd15c
leaq -0xfc8f(%rip), %rcx     # 0xb1155
cmovbq %rax, %rcx
movq %r14, %rdi
movq %r15, %rsi
callq 0xaf535
movq %rax, 0x20(%r15)
orb $0x4, 0x6(%r15)
movw $0x174, 0x4(%r12)       # imm = 0x174
jmp 0xc1164
movq %r14, %rdi
callq 0xccf8a
movl $0x2, %eax
jmp 0xc117e
cmpq $0x1, 0x18(%rbx)
jg 0xc10a8
cmpq $0x0, 0x28(%rbx)
je 0xc10a8
movq (%rbx), %rax
testb %bpl, %bpl
je 0xc0ecc
btl $0x15, %eax
movl $0x13e, %eax            # imm = 0x13E
movl $0x4, %ecx
cmovael %eax, %ecx
movw %cx, 0x4(%r12)
jmp 0xc0ede
cmpl $0x1, %esi
jne 0xc10a8
movq 0x8(%r14), %rdx
movb (%rdx), %al
decb %al
cmpb $0x2, %al
leaq 0xc2e9(%rip), %rax      # 0xcd15c
leaq -0xfd25(%rip), %rcx     # 0xb1155
cmovbq %rax, %rcx
movq %r14, %rdi
movq %r15, %rsi
callq 0xaf535
movq %rax, 0x20(%r15)
orb $0x4, 0x6(%r15)
movw $0x178, 0x4(%r12)       # imm = 0x178
jmp 0xc1164
movl $0x10, %eax
cmpb $0x1c, (%rsi)
jne 0xc0d82
movq 0x8(%rsi), %rdi
testq %rdi, %rdi
je 0xc0ec6
cmpq %rcx, 0x8(%rdi)
je 0xc0d86
movq 0x18(%rdi), %rdi
jmp 0xc0eb1
movq 0x10(%rsi), %rsi
jmp 0xc0ea4
btl $0x15, %eax
jae 0xc10a8
movw $0x2, 0x4(%r12)
movq %rbx, 0x18(%r12)
movq 0x10(%rbx), %rax
movq %rax, 0x20(%r12)
orb $0x4, 0x6(%r12)
movl $0x5, %eax
jmp 0xc117e
movw $0x169, 0x4(%r12)       # imm = 0x169
jmp 0xc1164
testb $0x40, 0x3(%rbx)
jne 0xc10a8
movq %r14, %rdi
movq %rbx, %rsi
callq 0xccf45
cmpl $0x1, %eax
jne 0xc10a8
movq 0x10(%rbx), %r15
movq 0x8(%r12), %rsi
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
movq %rax, 0x20(%r12)
movq %r14, %rdi
callq 0xcd057
movzbl %al, %r13d
testb $0x10, 0x1(%rbx)
movq 0x10(%r15), %rax
movq 0x110(%r14), %rcx
jne 0xc12d9
cmpq %rcx, %rax
je 0xc1305
testb %bpl, %bpl
movl $0xaa, %eax
movl $0xb8, %ecx
jmp 0xc1312
movw $0x168, 0x4(%r12)       # imm = 0x168
jmp 0xc1164
movq 0x8(%r14), %rdx
movb (%rdx), %al
decb %al
cmpb $0x2, %al
leaq 0xc1c4(%rip), %rax      # 0xcd15c
leaq -0xfe4a(%rip), %rcx     # 0xb1155
cmovbq %rax, %rcx
movq %r14, %rdi
movq %r15, %rsi
callq 0xaf535
movq %rax, 0x20(%r15)
orb $0x4, 0x6(%r15)
movw $0x179, 0x4(%r12)       # imm = 0x179
jmp 0xc1164
movl $0x1, %edx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3f86f
testb %al, %al
je 0xc10a8
movq 0x10(%r12), %rsi
movq 0x8(%r14), %rdx
movq %r14, %rdi
callq 0xcd131
movw $0x177, 0x4(%r12)       # imm = 0x177
jmp 0xc1164
movq 0x8(%r14), %rdx
movb (%rdx), %al
decb %al
cmpb $0x2, %al
leaq 0xc151(%rip), %rax      # 0xcd15c
leaq -0xfebd(%rip), %rcx     # 0xb1155
cmovbq %rax, %rcx
movq %r14, %rdi
movq %r15, %rsi
callq 0xaf535
movq %rax, 0x20(%r15)
orb $0x4, 0x6(%r15)
movw $0x176, 0x4(%r12)       # imm = 0x176
jmp 0xc1164
testb $0x40, 0x3(%rbx)
jne 0xc10a8
movq 0x8(%rbx), %rdx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x9a1d8
cmpl $0x0, 0x28(%rbx)
je 0xc10a8
movq 0x8(%r12), %rsi
movq %r14, %rdi
callq 0xcd057
movzbl %al, %r15d
movq 0x10(%r12), %rsi
movq 0x8(%r14), %rdx
movq %r14, %rdi
callq 0xcd131
movq 0x858dd(%rip), %rax     # 0x146958
movq 0x10(%r12), %rcx
movq %rax, 0x28(%rcx)
movq 0x10(%r12), %rax
andq $-0x40001, (%rax)       # imm = 0xFFFBFFFF
movq 0x10(%rbx), %rax
testb $0x4, 0x1(%rax)
jne 0xc1294
testb $0x10, 0x1(%rbx)
jne 0xc12f3
movq 0x8(%r12), %rax
cmpb $0xa, (%rax)
jne 0xc1153
movq 0x8(%r14), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rax), %rsi
movl $0x18, %ecx
cmpq %rsi, %rdi
je 0xc10e4
jle 0xc10db
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc10ce
cmpq %rsi, %rdi
jne 0xc124f
movq (%rax,%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xc1153
movq 0x1958(%r14), %rsi
movq 0x820(%r14), %rax
movslq 0x7dc(%r14), %rcx
movq (%rax,%rcx,8), %rax
incl %ecx
andl $0x7, %ecx
movl %ecx, 0x7dc(%r14)
leaq 0x574ac(%rip), %rcx     # 0x1185c5
movq %rcx, 0x10(%rax)
movq $0x14, 0x8(%rax)
movq 0x8(%r12), %rcx
movq 0x6e0(%r14), %rdx
movq %rax, 0x8(%rdx)
movq 0x6e0(%r14), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x6e0(%r14), %rdx
movq %r14, %rdi
callq 0x38dfa
movzbl %bpl, %eax
movl $0x16c, %ecx            # imm = 0x16C
subl %eax, %ecx
movw %cx, 0x4(%r12)
movzbl (%rbx), %ecx
leaq 0x91a72(%rip), %rdx     # 0x152be0
movl $0x5, %eax
cmpb $0x1, (%rcx,%rdx)
jne 0xc117e
movq %rbx, 0x18(%r12)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x8(%r14), %rdx
movb (%rdx), %al
decb %al
cmpb $0x2, %al
leaq 0xbfbe(%rip), %rax      # 0xcd15c
leaq -0x10050(%rip), %rcx    # 0xb1155
cmovbq %rax, %rcx
movq %r14, %rdi
movq %r15, %rsi
callq 0xaf535
movq %rax, 0x20(%r15)
orb $0x4, 0x6(%r15)
movw $0x173, 0x4(%r12)       # imm = 0x173
jmp 0xc1164
cmpb $0xa, %dl
jne 0xc127c
testb $-0x80, 0x6(%rcx)
jne 0xc127c
movq 0x8(%r14), %rdx
movq %r14, %rdi
movq %r15, %rsi
callq 0xcd131
movw $0x17b, 0x4(%r12)       # imm = 0x17B
jmp 0xc1164
movq 0x8(%r14), %rdx
movb (%rdx), %al
decb %al
cmpb $0x2, %al
leaq 0xbf55(%rip), %rax      # 0xcd15c
leaq -0x100b9(%rip), %rcx    # 0xb1155
cmovbq %rax, %rcx
movq %r14, %rdi
movq %r15, %rsi
callq 0xaf535
movq %rax, 0x20(%r15)
orb $0x4, 0x6(%r15)
movq 0x8572b(%rip), %rax     # 0x146958
movq 0x10(%r12), %rcx
movq %rax, 0x28(%rcx)
movq 0x10(%r12), %rax
andq $-0x40001, (%rax)       # imm = 0xFFFBFFFF
movw $0x171, 0x4(%r12)       # imm = 0x171
jmp 0xc1164
movl $0x10, %ecx
cmpb $0x1c, (%rdx)
jne 0xc10e4
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xc1276
cmpq %rax, 0x8(%rsi)
je 0xc10e8
movq 0x18(%rsi), %rsi
jmp 0xc1261
movq 0x10(%rdx), %rdx
jmp 0xc1254
movq %rcx, 0x28(%r12)
andb $-0x5, 0x2(%r12)
movw $0x17a, 0x4(%r12)       # imm = 0x17A
jmp 0xc1164
movq 0x8(%rbx), %rax
cmpb $0x1, (%rax)
jne 0xc12b3
movq 0x1890(%r14), %rcx
cmpq %rcx, 0x8(%rax)
je 0xc12c0
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
je 0xc12a4
cmpq 0x110(%r14), %rax
je 0xc137e
btl $0xc, (%rbx)
movl $0x11a, %eax            # imm = 0x11A
movl $0x124, %ecx            # imm = 0x124
cmovael %eax, %ecx
orl %r15d, %ecx
jmp 0xc115e
cmpq %rcx, %rax
je 0xc1328
orb $0x8, 0x1(%r12)
testb %bpl, %bpl
movl $0xae, %eax
movl $0xbc, %ecx
jmp 0xc1312
orl $0x124, %r15d           # imm = 0x124
movw %r15w, 0x4(%r12)
jmp 0xc1164
testb %bpl, %bpl
movl $0xac, %eax
movl $0xba, %ecx
cmovnel %eax, %ecx
orl %r13d, %ecx
movw %cx, 0x4(%r12)
movq %rbx, 0x18(%r12)
jmp 0xc0ef2
movq 0x8(%r15), %rsi
movq %r14, %rdi
callq 0xcd0e8
testb %al, %al
je 0xc139a
movq 0x8(%r14), %rdx
movq %r14, %rdi
movq %r15, %rsi
callq 0xcd131
orb $0x8, 0x1(%r12)
testb %bpl, %bpl
movl $0xb2, %eax
movl $0xc0, %ecx
cmovnel %eax, %ecx
orl %r13d, %ecx
movw %cx, 0x4(%r12)
orb $0x5, 0x1(%rbx)
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rsi
movq %r15, %rdi
xorl %edx, %edx
callq 0xcd182
jmp 0xc131e
movzwl (%rbx), %eax
shrl $0xa, %eax
andl $0x4, %eax
addl %r15d, %eax
addl $0x118, %eax            # imm = 0x118
movw %ax, 0x4(%r12)
jmp 0xc1164
orb $0x8, 0x1(%r12)
testb %bpl, %bpl
movl $0xb0, %eax
movl $0xbe, %ecx
cmovnel %eax, %ecx
orl %r13d, %ecx
movw %cx, 0x4(%r12)
andb $-0x2, 0x1(%rbx)
jmp 0xc131e