// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: op_unknown_fx
static goto_t op_unknown_fx(s7_scheme *sc, s7_pointer f)
                {
                    s7_pointer code;
                    int32_t num_args;
                    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;
                    num_args = (is_pair(cdr(code))) ? integer(opt3_arglen(code)) : 0; /* opt3_arglen is on cdr(code) */

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

                        case T_C_OPT_ARGS_FUNCTION:
                        case T_C_ANY_ARGS_FUNCTION:
                            if (is_safe_procedure(f))
                                set_safe_optimize_op(code, (num_args == 3) ? OP_SAFE_C_AAA : ((num_args == 4) ? OP_SAFE_C_4A : OP_SAFE_C_FX));
                            else set_safe_optimize_op(code, OP_C_FX);
                            annotate_args(sc, cdr(code), sc->envir);
                            set_c_function(code, f);
                            return(goto_eval);

                        case T_CLOSURE:
                            if ((!has_methods(f)) &&
                                    (closure_arity_to_int(sc, f) == num_args))
                            {
                                int32_t hop = 0;
                                if (is_immutable_and_stable(sc, car(code))) hop = 1;
                                annotate_args(sc, cdr(code), sc->envir);
                                if (is_safe_closure(f))
                                {
                                    if ((is_symbol(cadr(code))) &&
                                            (num_args == 3))
                                        set_safe_optimize_op(code, hop + OP_SAFE_CLOSURE_SAA);
                                    else set_safe_optimize_op(code, hop + OP_SAFE_CLOSURE_FX);
                                    /* recur doesn't happen much here */
                                }
                                else set_safe_optimize_op(code, hop + OP_CLOSURE_FX);
                                set_opt1_lambda(code, f);
                                return(goto_eval);
                            }
                            break;

                        case T_CLOSURE_STAR:
                            if ((!has_methods(f)) &&
                                    (lambda_has_simple_defaults(closure_body(f))) &&
                                    ((closure_star_arity_to_int(sc, f) < 0) || ((closure_star_arity_to_int(sc, f) * 2) >= num_args)))
                            {
                                int32_t hop = 0;
                                if (is_immutable_and_stable(sc, car(code))) hop = 1;
                                if (num_args > 0)
                                {
                                    set_opt3_arglen(code, small_int(num_args));
                                    annotate_args(sc, cdr(code), sc->envir);
                                }
                                return(fixup_unknown_op(code, f, hop + ((is_safe_closure(f)) ? OP_SAFE_CLOSURE_STAR_FX : OP_CLOSURE_STAR_FX)));
                            }
                            break;

                        default:
                            break;
                    }
                    return(unknown_unknown(sc));
                }

// Assembly:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
cmpq $0x0, 0x30(%rsp)
jne 0x12f309
movq 0x38(%rsp), %rdi
callq 0x15ce10
movl %eax, 0x44(%rsp)
jmp 0x12f705
movq 0x38(%rsp), %rax
movq (%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x12f33f
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x28(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0x12f348
xorl %eax, %eax
movq %rax, 0x10(%rsp)
jmp 0x12f348
movq 0x10(%rsp), %rax
movl %eax, 0x24(%rsp)
movq 0x30(%rsp), %rax
movzbl (%rax), %eax
addl $-0x28, %eax
movl %eax, %ecx
movq %rcx, 0x8(%rsp)
subl $0xb, %eax
ja 0x12f6f5
movq 0x8(%rsp), %rax
leaq 0xb10c4(%rip), %rcx     # 0x1e043c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x30(%rsp), %rax
movq 0x18(%rax), %rax
movslq 0x24(%rsp), %rcx
cmpq %rcx, %rax
jg 0x12f3a7
movq 0x30(%rsp), %rax
movq 0x28(%rax), %rax
movslq 0x24(%rsp), %rcx
cmpq %rcx, %rax
jge 0x12f3ac
jmp 0x12f6f7
jmp 0x12f3ae
movq 0x30(%rsp), %rax
movq (%rax), %rax
andq $0x200000, %rax         # imm = 0x200000
cmpq $0x0, %rax
je 0x12f411
jmp 0x12f3c4
movq 0x28(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
cmpl $0x3, 0x24(%rsp)
jne 0x12f3e7
movl $0x74, %eax
movl %eax, 0x4(%rsp)
jmp 0x12f3ff
movl 0x24(%rsp), %edx
movl $0x78, %eax
movl $0x76, %ecx
cmpl $0x4, %edx
cmovel %ecx, %eax
movl %eax, 0x4(%rsp)
movl 0x4(%rsp), %eax
movw %ax, %cx
movq 0x28(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x12f431
jmp 0x12f413
movq 0x28(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
movq 0x28(%rsp), %rax
movw $0x12a, 0x4(%rax)       # imm = 0x12A
jmp 0x12f431
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0x164800
movq 0x30(%rsp), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x18(%rax)
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x20(%rax)
movq 0x28(%rsp), %rax
movzwl 0x6(%rax), %ecx
orl $0x4, %ecx
movw %cx, 0x6(%rax)
jmp 0x12f47f
movl $0x5, 0x44(%rsp)
jmp 0x12f705
movq 0x30(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
jne 0x12f5cb
movq 0x38(%rsp), %rdi
movq 0x30(%rsp), %rsi
callq 0x15cd60
cmpl 0x24(%rsp), %eax
jne 0x12f5cb
movl $0x0, 0x20(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x15cec0
testb $0x1, %al
jne 0x12f4de
jmp 0x12f4e6
movl $0x1, 0x20(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0x164800
movq 0x30(%rsp), %rax
movzwl (%rax), %eax
andl $0x1000, %eax           # imm = 0x1000
cmpl $0x0, %eax
je 0x12f586
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0xa, %eax
jne 0x12f55a
cmpl $0x3, 0x24(%rsp)
jne 0x12f55a
jmp 0x12f532
movq 0x28(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
movl 0x20(%rsp), %eax
addl $0x110, %eax            # imm = 0x110
movw %ax, %cx
movq 0x28(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x12f584
jmp 0x12f55c
movq 0x28(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
movl 0x20(%rsp), %eax
addl $0x112, %eax            # imm = 0x112
movw %ax, %cx
movq 0x28(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x12f584
jmp 0x12f5b0
jmp 0x12f588
movq 0x28(%rsp), %rax
movzwl (%rax), %ecx
orl $0x800, %ecx            # imm = 0x800
movw %cx, (%rax)
movl 0x20(%rsp), %eax
addl $0x108, %eax            # imm = 0x108
movw %ax, %cx
movq 0x28(%rsp), %rax
movw %cx, 0x4(%rax)
jmp 0x12f5b0
movq 0x30(%rsp), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x18(%rax)
movl $0x5, 0x44(%rsp)
jmp 0x12f705
jmp 0x12f6f7
movq 0x30(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
jne 0x12f6f3
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rax
andq $0x400, %rax            # imm = 0x400
cmpq $0x0, %rax
je 0x12f6f3
movq 0x38(%rsp), %rdi
movq 0x30(%rsp), %rsi
callq 0x15d230
cmpl $0x0, %eax
jl 0x12f633
movq 0x38(%rsp), %rdi
movq 0x30(%rsp), %rsi
callq 0x15d230
shll %eax
cmpl 0x24(%rsp), %eax
jl 0x12f6f3
movl $0x0, 0x1c(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x15cec0
testb $0x1, %al
jne 0x12f654
jmp 0x12f65c
movl $0x1, 0x1c(%rsp)
cmpl $0x0, 0x24(%rsp)
jle 0x12f6b4
jmp 0x12f665
movslq 0x24(%rsp), %rcx
leaq 0xe6e0f(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rcx
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq %rcx, 0x28(%rax)
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rcx
andq $-0x40001, %rcx         # imm = 0xFFFBFFFF
movq %rcx, (%rax)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rdx
callq 0x164800
movq 0x28(%rsp), %rdi
movq 0x30(%rsp), %rsi
movl 0x1c(%rsp), %eax
movq 0x30(%rsp), %rcx
movzwl (%rcx), %r8d
andl $0x1000, %r8d           # imm = 0x1000
movl $0x11a, %ecx            # imm = 0x11A
movl $0x120, %edx            # imm = 0x120
cmpl $0x0, %r8d
cmovnel %edx, %ecx
addl %ecx, %eax
movslq %eax, %rdx
callq 0x15d0d0
movl %eax, 0x44(%rsp)
jmp 0x12f705
jmp 0x12f6f7
jmp 0x12f6f7
movq 0x38(%rsp), %rdi
callq 0x15ce10
movl %eax, 0x44(%rsp)
movl 0x44(%rsp), %eax
addq $0x48, %rsp
retq
nop