// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: op_unknown
static goto_t op_unknown(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;
                    switch (type(f))
                    {
                        case T_CLOSURE:
                        case T_CLOSURE_STAR:
                            if (!has_methods(f))
                            {
                                int32_t hop = 0;
                                if (is_immutable_and_stable(sc, car(code))) hop = 1;

                                if (is_null(closure_args(f)))
                                {
                                    s7_pointer body;
                                    bool safe_case;
                                    body = closure_body(f);
                                    safe_case = 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 + OP_SAFE_THUNK_A);
                                            set_closure_has_fx(f);
                                        }
                                        else
                                        {
                                            set_safe_optimize_op(code, hop + ((safe_case) ? OP_SAFE_THUNK_P : OP_THUNK_P));
                                            closure_clear_multiform(f); /* i.e. clear possible has_fx */
                                        }
                                    }
                                    else set_safe_optimize_op(code, hop + ((safe_case) ? OP_SAFE_THUNK : OP_THUNK));
                                    set_opt1_lambda(code, f);
                                    return(goto_eval);
                                }
                                if ((is_closure_star(f)) && (is_safe_closure(f)))
                                {
                                    set_safe_optimize_op(code, hop + OP_SAFE_CLOSURE_STAR_FX_0);
                                    set_opt1_lambda(code, f);
                                    return(goto_eval);
                                }
                            }
                            break;

                        case T_GOTO:       return(fixup_unknown_op(code, f, OP_IMPLICIT_GOTO));
                        case T_ITERATOR:   return(fixup_unknown_op(code, f, OP_IMPLICIT_ITERATE));
                        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:
                                           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));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r14
testq %rsi, %rsi
je 0xc0aee
movq %rsi, %rbx
movq (%r14), %r12
movzbl (%rsi), %eax
addl $-0x1d, %eax
cmpl $0xe, %eax
ja 0xc0b1a
leaq 0x47bd9(%rip), %rcx     # 0x108664
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq (%rbx), %r13
btl $0x1e, %r13d
jb 0xc0bc5
movq 0x8(%r12), %rsi
movq %r14, %rdi
callq 0xcd057
movzbl %al, %ebp
movq 0x8(%rbx), %rax
cmpq 0x110(%r14), %rax
je 0xc0c0a
andl $0x10ff, %r13d          # imm = 0x10FF
cmpl $0x1029, %r13d          # imm = 0x1029
jne 0xc0bc5
orb $0x8, 0x1(%r12)
orl $0x122, %ebp            # imm = 0x122
movw %bp, 0x4(%r12)
jmp 0xc0cc1
movq %r14, %rdi
callq 0xccf8a
movl $0x2, %eax
jmp 0xc0bfb
movw $0x169, 0x4(%r12)       # imm = 0x169
jmp 0xc0be1
movw $0x172, 0x4(%r12)       # imm = 0x172
jmp 0xc0be1
movq 0x8(%r12), %rax
cmpb $0xa, (%rax)
jne 0xc0bc5
movq 0x8(%r14), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rax), %rsi
movl $0x18, %ecx
cmpq %rsi, %rdi
je 0xc0b56
jle 0xc0b4d
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xc0b40
cmpq %rsi, %rdi
jne 0xc0c70
movq (%rax,%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xc0bc5
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 0x57a3a(%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
movw $0x16a, 0x4(%r12)       # imm = 0x16A
jmp 0xc0be1
movw $0x170, 0x4(%r12)       # imm = 0x170
jmp 0xc0be1
movw $0x168, 0x4(%r12)       # imm = 0x168
movzbl (%rbx), %ecx
leaq 0x91ff5(%rip), %rdx     # 0x152be0
movl $0x5, %eax
cmpb $0x1, (%rcx,%rdx)
jne 0xc0bfb
movq %rbx, 0x18(%r12)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x10(%rbx), %r15
cmpq %rax, 0x10(%r15)
je 0xc0c39
orb $0x8, 0x1(%r12)
btl $0xc, %r13d
movl $0x9e, %eax
movl $0xa4, %ecx
cmovael %eax, %ecx
orl %ebp, %ecx
movw %cx, 0x4(%r12)
jmp 0xc0cc1
movq 0x8(%r15), %rsi
movq %r14, %rdi
callq 0xcd0e8
testb %al, %al
je 0xc0c9d
movq 0x8(%r14), %rdx
movq %r14, %rdi
movq %r15, %rsi
callq 0xcd131
orb $0x8, 0x1(%r12)
orl $0xa8, %ebp
movw %bp, 0x4(%r12)
orb $0x5, 0x1(%rbx)
jmp 0xc0cc1
movl $0x10, %ecx
cmpb $0x1c, (%rdx)
jne 0xc0b56
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xc0c97
cmpq %rax, 0x8(%rsi)
je 0xc0b5a
movq 0x18(%rsi), %rsi
jmp 0xc0c82
movq 0x10(%rdx), %rdx
jmp 0xc0c75
orb $0x8, 0x1(%r12)
btl $0xc, %r13d
movl $0xa0, %eax
movl $0xa6, %ecx
cmovael %eax, %ecx
orl %ebp, %ecx
movw %cx, 0x4(%r12)
andb $-0x2, 0x1(%rbx)
movq %rbx, 0x18(%r12)
movl $0x5, %eax
jmp 0xc0bfb