// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: op_unknown_gg
static goto_t op_unknown_gg(s7_scheme *sc, s7_pointer f)
                {
                    bool s1, s2;
                    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 ((is_pair(cadr(code))) || (is_pair(caddr(code))))
                        fprintf(stderr, "%s[%d]: arg is a pair: %s\n", __func__, __LINE__, DISPLAY(code));
#endif
                    s1 = is_normal_symbol(cadr(code));
                    s2 = is_normal_symbol(caddr(code));

                    if ((s1) &&
                            (!is_slot(symbol_to_slot(sc, cadr(code)))))
                        return(fall_through);
                    if ((s2) &&
                            (!is_slot(symbol_to_slot(sc, caddr(code)))))
                        return(fall_through);

                    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:
                            if (is_safe_procedure(f))
                            {
                                if (s1)
                                {
                                    if (s2)
                                    {
                                        set_optimize_op(code, OP_SAFE_C_SS);
                                        set_opt2_sym(cdr(code), caddr(code));
                                    }
                                    else
                                    {
                                        set_opt2_con(cdr(code), caddr(code));
                                        set_optimize_op(code, OP_SAFE_C_SC);
                                    }
                                }
                                else
                                {
                                    if (s2)
                                    {
                                        set_opt1_con(cdr(code), (is_pair(cadr(code))) ? cadadr(code) : cadr(code));
                                        set_optimize_op(code, OP_SAFE_C_CS);
                                    }
                                    else set_optimize_op(code, OP_SAFE_C_D);
                                }
                            }
                            else
                            {
                                set_optimize_op(code, OP_C_FX);
                                annotate_args(sc, cdr(code), sc->envir);
                            }
                            set_opt3_arglen(code, small_int(2));
                            set_c_function(code, f);
                            return(goto_eval);

                        case T_CLOSURE:
                            if (has_methods(f)) break;
                            if (((s1) || (s2)) &&
                                    (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 ((s1) && (s2))
                                {
                                    if (one_form)
                                    {
                                        if (safe_case)
                                        {
                                            if (is_fxable(sc, car(body)))
                                            {
                                                annotate_arg(sc, body, sc->envir);
                                                fx_tree(sc, body, car(closure_args(f)), cadr(closure_args(f)));
                                                set_safe_optimize_op(code, hop + OP_SAFE_CLOSURE_SS_A);
                                                set_closure_has_fx(f);
                                            }
                                            else
                                            {
                                                set_safe_optimize_op(code, hop + OP_SAFE_CLOSURE_SS_P);
                                                closure_clear_multiform(f);
                                            }
                                        }
                                        else set_optimize_op(code, hop + OP_CLOSURE_SS_P);
                                    }
                                    else set_optimize_op(code, hop + ((safe_case) ? OP_SAFE_CLOSURE_SS : OP_CLOSURE_SS));
                                }
                                else
                                {
                                    if (one_form)
                                    {
                                        if (safe_case)
                                            set_safe_optimize_op(code, hop + ((s1) ? OP_SAFE_CLOSURE_SC_P : OP_SAFE_CLOSURE_CS));
                                        else set_optimize_op(code, hop + ((s1) ? OP_CLOSURE_SC_P : OP_CLOSURE_CS));
                                    }
                                    else set_optimize_op(code, hop + ((safe_case) ? ((s1) ? OP_SAFE_CLOSURE_SC : OP_SAFE_CLOSURE_CS) : ((s1) ? OP_CLOSURE_SC : OP_CLOSURE_CS)));
                                }
                                if (s2)
                                    set_opt2_sym(code, caddr(code));
                                else set_opt2_con(code, caddr(code));
                                set_opt1_lambda(code, f);
                                return(goto_eval);
                            }
                            break;

                        case T_CLOSURE_STAR:
                            if ((closure_star_arity_to_int(sc, f) != 0) &&
                                    (closure_star_arity_to_int(sc, f) != 1))
                            {
                                annotate_args(sc, cdr(code), sc->envir);
                                return(fixup_closure_star_aa(sc, f, code));
                            }
                            break;

                        case T_INT_VECTOR: case T_FLOAT_VECTOR: case T_VECTOR: case T_BYTE_VECTOR:
                            annotate_args(sc, cdr(code), sc->envir);
                            return(fixup_unknown_op(code, f, OP_IMPLICIT_VECTOR_REF_AA));

                        case T_MACRO:
                            return(fixup_unknown_op(code, f, OP_MACRO_D));
                            /* T_MACRO -> MACRO_D? throughout unknown* */

                        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));

                    annotate_args(sc, cdr(code), sc->envir);
                    return(fixup_unknown_op(code, f, OP_S_AA));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq %rdi, %r15
testq %rsi, %rsi
je 0xc9cef
movq %rsi, %rbx
movq (%r15), %r14
movq 0x10(%r14), %rsi
movq 0x8(%rsi), %rcx
movb (%rcx), %dl
cmpb $0xa, %dl
jne 0xc9d01
testb $-0x80, 0x6(%rcx)
sete %bpl
jmp 0xc9d03
movq %r15, %rdi
callq 0xd5889
movl $0x2, %eax
jmp 0xca0b3
xorl %ebp, %ebp
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rdi
cmpb $0xa, (%rdi)
jne 0xc9d1a
testb $-0x80, 0x6(%rdi)
sete %r13b
jmp 0xc9d1d
xorl %r13d, %r13d
testb %bpl, %bpl
je 0xc9d98
movq 0x8(%r15), %r8
movq 0x18(%r8), %r10
movq 0x20(%rcx), %r9
movl $0x18, %eax
cmpq %r9, %r10
je 0xc9d85
jle 0xc9d47
movq 0x10(%r8), %r8
movq 0x18(%r8), %r10
cmpq %r10, %r9
jl 0xc9d3a
cmpq %r9, %r10
je 0xc9d85
movl $0x10, %eax
cmpb $0x1c, (%r8)
jne 0xc9d85
movq 0x8(%r8), %r9
testq %r9, %r9
sete %r11b
je 0xc9d70
cmpq %rcx, 0x8(%r9)
je 0xc9d73
movq 0x18(%r9), %r9
jmp 0xc9d5b
movq %r10, %r9
testb %r11b, %r11b
je 0xc9d89
movq 0x10(%r8), %r8
cmpb $0x1c, (%r8)
movq %r9, %r10
je 0xc9d57
movq (%rcx,%rax), %r9
movl $0x2, %eax
cmpb $0x20, (%r9)
jne 0xca0b3
testb %r13b, %r13b
je 0xc9e13
movq 0x8(%r15), %r8
movq 0x18(%r8), %r10
movq 0x20(%rdi), %r9
movl $0x18, %eax
cmpq %r9, %r10
je 0xc9e00
jle 0xc9dc2
movq 0x10(%r8), %r8
movq 0x18(%r8), %r10
cmpq %r10, %r9
jl 0xc9db5
cmpq %r9, %r10
je 0xc9e00
movl $0x10, %eax
cmpb $0x1c, (%r8)
jne 0xc9e00
movq 0x8(%r8), %r9
testq %r9, %r9
sete %r11b
je 0xc9deb
cmpq %rdi, 0x8(%r9)
je 0xc9dee
movq 0x18(%r9), %r9
jmp 0xc9dd6
movq %r10, %r9
testb %r11b, %r11b
je 0xc9e04
movq 0x10(%r8), %r8
cmpb $0x1c, (%r8)
movq %r9, %r10
je 0xc9dd2
movq (%rdi,%rax), %r9
movl $0x2, %eax
cmpb $0x20, (%r9)
jne 0xca0b3
movzbl (%rbx), %eax
leal -0x28(%rax), %r8d
cmpl $0xb, %r8d
ja 0xc9e95
leaq 0x47915(%rip), %rax     # 0x11173c
movslq (%rax,%r8,4), %r8
addq %rax, %r8
jmpq *%r8
cmpq $0x2, 0x18(%rbx)
jg 0xc9fa7
cmpq $0x2, 0x28(%rbx)
jl 0xc9fa7
testb $0x20, 0x2(%rbx)
jne 0xc9eb9
movw $0x12a, 0x4(%r14)       # imm = 0x12A
movq 0x8(%r15), %rdx
movq %r15, %rdi
callq 0xd9cf3
movq 0x84af9(%rip), %rax     # 0x14e960
movq 0x10(%r14), %rcx
movq %rax, 0x28(%rcx)
movq 0x10(%r14), %rax
andq $-0x40001, (%rax)       # imm = 0xFFFBFFFF
movq %rbx, 0x18(%r14)
movq 0x10(%rbx), %rax
movq %rax, 0x20(%r14)
orb $0x4, 0x6(%r14)
movl $0x5, %eax
jmp 0xca0b3
addl $-0x15, %eax
cmpl $0x4, %eax
jae 0xc9fa7
movq 0x8(%r15), %rdx
movq %r15, %rdi
callq 0xd9cf3
movw $0x175, 0x4(%r14)       # imm = 0x175
jmp 0xca09a
testb %bpl, %bpl
je 0xca0cb
testb %r13b, %r13b
je 0xca110
movw $0x6, 0x4(%r14)
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
movq %rax, 0x20(%rsi)
jmp 0xc9e60
movw $0x169, 0x4(%r14)       # imm = 0x169
jmp 0xca09a
testb $0x40, 0x3(%rbx)
jne 0xc9fa7
movl %ebp, %eax
orb %r13b, %al
testb $0x1, %al
je 0xc9fa7
movq %r15, %rdi
movq %rbx, %rsi
callq 0xd584c
cmpl $0x2, %eax
jne 0xc9fa7
movq 0x10(%rbx), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x110(%r15), %rax
movq %rax, (%rsp)
movzwl (%rbx), %r12d
movq 0x8(%r14), %rsi
movq %r15, %rdi
callq 0xd5964
movzbl %al, %edx
andb %bpl, %r13b
cmpb $0x1, %r13b
jne 0xca12c
movq (%rsp), %rax
cmpq %rax, 0x8(%rsp)
je 0xca165
shrl $0xa, %r12d
andl $0x4, %r12d
leal (%r12,%rdx), %eax
addl $0xdc, %eax
jmp 0xca207
movq 0x8(%rbx), %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq 0xa0ae3
cmpl $0x0, 0x28(%rbx)
je 0xc9fa7
movq 0x8(%rbx), %rdx
movq %r15, %rdi
movq %rbx, %rsi
callq 0xa0ae3
cmpl $0x1, 0x28(%rbx)
jne 0xca0ed
movq 0x8(%r14), %rax
cmpb $0xa, (%rax)
jne 0xca083
movq 0x8(%r15), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rax), %rsi
movl $0x18, %ecx
cmpq %rsi, %rdi
je 0xca015
jle 0xc9fd9
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc9fcc
cmpq %rsi, %rdi
je 0xca015
movl $0x10, %ecx
cmpb $0x1c, (%rdx)
jne 0xca015
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
sete %r8b
je 0xca001
cmpq %rax, 0x8(%rsi)
je 0xca004
movq 0x18(%rsi), %rsi
jmp 0xc9fec
movq %rdi, %rsi
testb %r8b, %r8b
je 0xca019
movq 0x10(%rdx), %rdx
cmpb $0x1c, (%rdx)
movq %rsi, %rdi
je 0xc9fe8
movq (%rax,%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xca083
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 0x5746b(%rip), %rcx     # 0x1214b5
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 0x3b366
movq 0x10(%r14), %rsi
movq 0x8(%r15), %rdx
movq %r15, %rdi
callq 0xd9cf3
movw $0x16f, 0x4(%r14)       # imm = 0x16F
movzbl (%rbx), %ecx
leaq 0x90b3c(%rip), %rdx     # 0x15abe0
movl $0x5, %eax
cmpb $0x1, (%rcx,%rdx)
jne 0xca0b3
movq %rbx, 0x18(%r14)
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movw $0x168, 0x4(%r14)       # imm = 0x168
jmp 0xca09a
testb %r13b, %r13b
je 0xca120
cmpb $0x1, %dl
jne 0xca0dd
movq 0x10(%rcx), %rax
movq 0x8(%rax), %rcx
movq %rcx, 0x18(%rsi)
movw $0xa, 0x4(%r14)
jmp 0xc9e60
movq 0x10(%r14), %rsi
movq 0x8(%r15), %rdx
movq %r15, %rdi
callq 0xd9cf3
movq %r15, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0xd9d50
jmp 0xc9e8b
movq %rdi, 0x20(%rsi)
movw $0x8, 0x4(%r14)
jmp 0xc9e60
movw $0x2, 0x4(%r14)
jmp 0xc9e60
movq (%rsp), %rax
cmpq %rax, 0x8(%rsp)
je 0xca17c
testb %bpl, %bpl
movl $0xea, %eax
movl $0xf0, %ecx
cmovnel %eax, %ecx
xorb $0x1, %bpl
btl $0xc, %r12d
movzbl %bpl, %eax
leal 0xe6(,%rax,8), %eax
cmovbl %ecx, %eax
orl %edx, %eax
jmp 0xca207
btl $0xc, %r12d
jb 0xca19c
orl $0xde, %edx
movw %dx, 0x4(%r14)
jmp 0xca20c
btl $0xc, %r12d
jb 0xca1f2
testb %bpl, %bpl
movl $0xe8, %eax
movl $0xee, %ecx
cmovnel %eax, %ecx
orl %edx, %ecx
movw %cx, 0x4(%r14)
jmp 0xca20c
movq %rdx, %r12
movq 0x10(%rsp), %r13
movq 0x8(%r13), %rsi
movq %r15, %rdi
callq 0xd5a05
testb %al, %al
je 0xca225
movq 0x8(%r15), %rdx
movq %r15, %rdi
movq %r13, %rsi
callq 0xd5a53
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rax
movq 0x8(%rax), %rdx
movq %r13, %rdi
callq 0xd5a9e
orb $0x8, 0x1(%r14)
orl $0xe4, %r12d
movw %r12w, 0x4(%r14)
orb $0x5, 0x1(%rbx)
jmp 0xca20c
orb $0x8, 0x1(%r14)
xorb $0x1, %bpl
movzbl %bpl, %eax
leal (%rdx,%rax,4), %eax
addl $0xec, %eax
movw %ax, 0x4(%r14)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x20(%r14)
movq %rbx, 0x18(%r14)
jmp 0xc9e8b
orb $0x8, 0x1(%r14)
orl $0xe2, %r12d
movw %r12w, 0x4(%r14)
andb $-0x2, 0x1(%rbx)
jmp 0xca20c