// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x78, %rsp
movq %rdi, 0x68(%rsp)
movq %rsi, 0x60(%rsp)
cmpq $0x0, 0x60(%rsp)
jne 0x123f09
movq 0x68(%rsp), %rdi
callq 0x15ce10
movl %eax, 0x74(%rsp)
jmp 0x1246a8
movq 0x68(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %ecx
xorl %eax, %eax
cmpl $0xa, %ecx
movb %al, 0x3f(%rsp)
jne 0x123f53
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzwl 0x6(%rax), %eax
andl $0x80, %eax
cmpl $0x0, %eax
setne %al
xorb $-0x1, %al
movb %al, 0x3f(%rsp)
movb 0x3f(%rsp), %al
andb $0x1, %al
movb %al, 0x5f(%rsp)
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %ecx
xorl %eax, %eax
cmpl $0xa, %ecx
movb %al, 0x3e(%rsp)
jne 0x123fa2
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzwl 0x6(%rax), %eax
andl $0x80, %eax
cmpl $0x0, %eax
setne %al
xorb $-0x1, %al
movb %al, 0x3e(%rsp)
movb 0x3e(%rsp), %al
andb $0x1, %al
movb %al, 0x5e(%rsp)
testb $0x1, 0x5f(%rsp)
je 0x123fdf
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0xfc80
movzbl (%rax), %eax
cmpl $0x20, %eax
je 0x123fdf
movl $0x2, 0x74(%rsp)
jmp 0x1246a8
testb $0x1, 0x5e(%rsp)
je 0x124016
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0xfc80
movzbl (%rax), %eax
cmpl $0x20, %eax
je 0x124016
movl $0x2, 0x74(%rsp)
jmp 0x1246a8
movq 0x60(%rsp), %rax
movzbl (%rax), %eax
addl $-0x15, %eax
movl %eax, %ecx
movq %rcx, 0x30(%rsp)
subl $0x1e, %eax
ja 0x1245e3
movq 0x30(%rsp), %rax
leaq 0xbc2d7(%rip), %rcx     # 0x1e0314
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x60(%rsp), %rax
cmpq $0x2, 0x18(%rax)
jg 0x12405e
movq 0x60(%rsp), %rax
cmpq $0x2, 0x28(%rax)
jge 0x124063
jmp 0x1245e5
jmp 0x124065
movq 0x60(%rsp), %rax
movq (%rax), %rax
andq $0x200000, %rax         # imm = 0x200000
cmpq $0x0, %rax
je 0x124159
testb $0x1, 0x5f(%rsp)
je 0x1240e1
testb $0x1, 0x5e(%rsp)
je 0x1240b6
movq 0x50(%rsp), %rax
movw $0x6, 0x4(%rax)
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x20(%rax)
jmp 0x1240df
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x20(%rax)
movq 0x50(%rsp), %rax
movw $0x8, 0x4(%rax)
jmp 0x124157
testb $0x1, 0x5e(%rsp)
je 0x12414a
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x124119
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
jmp 0x12412b
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rcx
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x18(%rax)
movq 0x50(%rsp), %rax
movw $0xa, 0x4(%rax)
jmp 0x124155
movq 0x50(%rsp), %rax
movw $0x2, 0x4(%rax)
jmp 0x124157
jmp 0x124180
movq 0x50(%rsp), %rax
movw $0x12a, 0x4(%rax)       # imm = 0x12A
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x68(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0x164800
jmp 0x124182
movq 0xf2307(%rip), %rcx     # 0x216490
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x28(%rax)
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rcx
andq $-0x40001, %rcx         # imm = 0xFFFBFFFF
movq %rcx, (%rax)
jmp 0x1241ae
movq 0x60(%rsp), %rcx
movq 0x50(%rsp), %rax
movq %rcx, 0x18(%rax)
movq 0x60(%rsp), %rax
movq 0x10(%rax), %rcx
movq 0x50(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x50(%rsp), %rax
movzwl 0x6(%rax), %ecx
orl $0x4, %ecx
movw %cx, 0x6(%rax)
jmp 0x1241e0
movl $0x5, 0x74(%rsp)
jmp 0x1246a8
movq 0x60(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
je 0x124206
jmp 0x1245e5
testb $0x1, 0x5f(%rsp)
jne 0x124218
testb $0x1, 0x5e(%rsp)
je 0x124508
movq 0x68(%rsp), %rdi
movq 0x60(%rsp), %rsi
callq 0x15cd60
cmpl $0x2, %eax
jne 0x124508
movl $0x0, 0x40(%rsp)
movq 0x60(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x68(%rsp), %rcx
cmpq 0x110(%rcx), %rax
sete %al
andb $0x1, %al
movb %al, 0x47(%rsp)
movq 0x60(%rsp), %rax
movzwl (%rax), %eax
andl $0x1000, %eax           # imm = 0x1000
cmpl $0x0, %eax
setne %al
andb $0x1, %al
movb %al, 0x46(%rsp)
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x15cec0
testb $0x1, %al
jne 0x124296
jmp 0x12429e
movl $0x1, 0x40(%rsp)
testb $0x1, 0x5f(%rsp)
je 0x1243e2
testb $0x1, 0x5e(%rsp)
je 0x1243e2
testb $0x1, 0x47(%rsp)
je 0x1243b5
testb $0x1, 0x46(%rsp)
je 0x12439e
movq 0x68(%rsp), %rdi
movq 0x48(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x15cfb0
testb $0x1, %al
jne 0x1242e3
jmp 0x124362
movq 0x68(%rsp), %rdi
movq 0x48(%rsp), %rsi
movq 0x68(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0x15d020
movq 0x68(%rsp), %rdi
movq 0x48(%rsp), %rsi
movq 0x60(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdx
movq 0x60(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
callq 0x15d170
movq 0x50(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
movl 0x40(%rsp), %eax
addl $0xe4, %eax
movw %ax, %cx
movq 0x50(%rsp), %rax
movw %cx, 0x4(%rax)
movq 0x60(%rsp), %rax
movq (%rax), %rcx
orq $0x500, %rcx            # imm = 0x500
movq %rcx, (%rax)
jmp 0x12439c
jmp 0x124364
movq 0x50(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
movl 0x40(%rsp), %eax
addl $0xe2, %eax
movw %ax, %cx
movq 0x50(%rsp), %rax
movw %cx, 0x4(%rax)
movq 0x60(%rsp), %rax
movq (%rax), %rcx
andq $-0x101, %rcx           # imm = 0xFEFF
movq %rcx, (%rax)
jmp 0x1243b3
movl 0x40(%rsp), %eax
addl $0xde, %eax
movw %ax, %cx
movq 0x50(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x1243dd
movl 0x40(%rsp), %eax
movb 0x46(%rsp), %sil
movl $0xdc, %ecx
movl $0xe0, %edx
testb $0x1, %sil
cmovnel %edx, %ecx
addl %ecx, %eax
movw %ax, %cx
movq 0x50(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x1244b0
testb $0x1, 0x47(%rsp)
je 0x124457
testb $0x1, 0x46(%rsp)
je 0x12442d
jmp 0x1243f2
movq 0x50(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
movl 0x40(%rsp), %eax
movb 0x5f(%rsp), %sil
movl $0xf0, %ecx
movl $0xec, %edx
testb $0x1, %sil
cmovnel %edx, %ecx
addl %ecx, %eax
movw %ax, %cx
movq 0x50(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x124455
movl 0x40(%rsp), %eax
movb 0x5f(%rsp), %sil
movl $0xee, %ecx
movl $0xe8, %edx
testb $0x1, %sil
cmovnel %edx, %ecx
addl %ecx, %eax
movw %ax, %cx
movq 0x50(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x1244ae
movl 0x40(%rsp), %eax
movl %eax, 0x24(%rsp)
testb $0x1, 0x46(%rsp)
je 0x124480
movb 0x5f(%rsp), %dl
movl $0xf0, %eax
movl $0xea, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, 0x20(%rsp)
jmp 0x124498
movb 0x5f(%rsp), %dl
movl $0xee, %eax
movl $0xe6, %ecx
testb $0x1, %dl
cmovnel %ecx, %eax
movl %eax, 0x20(%rsp)
movl 0x24(%rsp), %eax
movl 0x20(%rsp), %ecx
addl %ecx, %eax
movw %ax, %cx
movq 0x50(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x1244b0
testb $0x1, 0x5e(%rsp)
je 0x1244d3
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x50(%rsp), %rax
movq %rcx, 0x20(%rax)
jmp 0x1244ed
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rcx
movq 0x50(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x60(%rsp), %rcx
movq 0x50(%rsp), %rax
movq %rcx, 0x18(%rax)
movl $0x5, 0x74(%rsp)
jmp 0x1246a8
jmp 0x1245e5
movq 0x68(%rsp), %rdi
movq 0x60(%rsp), %rsi
callq 0x15d230
cmpl $0x0, %eax
je 0x12456e
movq 0x68(%rsp), %rdi
movq 0x60(%rsp), %rsi
callq 0x15d230
cmpl $0x1, %eax
je 0x12456e
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x68(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0x164800
movq 0x68(%rsp), %rdi
movq 0x60(%rsp), %rsi
movq 0x50(%rsp), %rdx
callq 0x1648e0
movl %eax, 0x74(%rsp)
jmp 0x1246a8
jmp 0x1245e5
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x68(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0x164800
movq 0x50(%rsp), %rdi
movq 0x60(%rsp), %rsi
movl $0x175, %edx            # imm = 0x175
callq 0x15d0d0
movl %eax, 0x74(%rsp)
jmp 0x1246a8
movq 0x50(%rsp), %rdi
movq 0x60(%rsp), %rsi
movl $0x168, %edx            # imm = 0x168
callq 0x15d0d0
movl %eax, 0x74(%rsp)
jmp 0x1246a8
movq 0x50(%rsp), %rdi
movq 0x60(%rsp), %rsi
movl $0x169, %edx            # imm = 0x169
callq 0x15d0d0
movl %eax, 0x74(%rsp)
jmp 0x1246a8
jmp 0x1245e5
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0xa, %eax
jne 0x124674
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0xfc80
movzbl (%rax), %eax
cmpl $0x20, %eax
je 0x124674
movq 0x68(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x68(%rsp), %rax
movq 0x1958(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x68(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x68(%rsp), %rdi
leaq 0xcbe9b(%rip), %rsi     # 0x1f04dd
movl $0x14, %edx
callq 0xb880
movq 0x8(%rsp), %rdi
movq %rax, %rsi
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0xb830
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq %rax, %rdx
callq 0x2f940
movq 0x68(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x68(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0x164800
movq 0x50(%rsp), %rdi
movq 0x60(%rsp), %rsi
movl $0x16f, %edx            # imm = 0x16F
callq 0x15d0d0
movl %eax, 0x74(%rsp)
movl 0x74(%rsp), %eax
addq $0x78, %rsp
retq
nopw %cs:(%rax,%rax)