LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_lt_gsg
static s7_pointer fx_lt_gsg(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer v1, v2, v3;
                    v1 = lookup_global(sc, cadr(arg));
                    v2 = lookup(sc, opt1_sym(cdr(arg)));        /* caddr(arg) */
                    v3 = lookup_global(sc, opt2_sym(cdr(arg))); /* cadddr(arg) */
                    if ((is_t_integer(v1)) && (is_t_integer(v2)) && (is_t_integer(v3)))
                        return(make_boolean(sc, ((v1 < v2) && (v2 < v3))));
                    if (!is_real(v3)) wrong_type_argument(sc, sc->lt_symbol, 3, v3, T_REAL); /* (< 2 1 1+i) */
                    return(make_boolean(sc, (lt_b_7pp(sc, v1, v2)) && (lt_b_7pp(sc, v2, v3))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %r13
movq 0x8(%r13), %r12
testb $0x1, 0x2(%r12)
jne 0x8e4f2
movq %rsi, %r15
movq %rbx, %rdi
movq %r12, %rsi
callq 0x7d158
movq %rax, %r14
testq %rax, %rax
jne 0x8e4fb
movq %rbx, %rdi
movq %r12, %rsi
callq 0x7d1b2
movq %rax, %r14
movq 0x10(%r15), %r13
jmp 0x8e4fb
movq 0x10(%r12), %rax
movq 0x10(%rax), %r14
movq 0x18(%r13), %rsi
movq %rbx, %rdi
callq 0x7d158
movq %rax, %r15
movq 0x20(%r13), %r13
testb $0x1, 0x2(%r13)
jne 0x8e538
movq %rbx, %rdi
movq %r13, %rsi
callq 0x7d158
movq %rax, %r12
testq %rax, %rax
jne 0x8e540
movq %rbx, %rdi
movq %r13, %rsi
callq 0x7d1b2
movq %rax, %r12
jmp 0x8e540
movq 0x10(%r13), %rax
movq 0x10(%rax), %r12
cmpb $0xb, (%r14)
jne 0x8e56f
cmpb $0xb, (%r15)
movb (%r12), %al
jne 0x8e573
cmpb $0xb, %al
jne 0x8e573
cmpq %r15, %r14
setae %al
cmpq %r12, %r15
setae %cl
orb %al, %cl
movzbl %cl, %eax
leaq 0x118(,%rax,8), %rcx
jmp 0x8e5dc
movb (%r12), %al
movzbl %al, %eax
leaq 0x8b433(%rip), %rcx     # 0x1199b0
cmpb $0x0, (%rax,%rcx)
jne 0x8e5ae
movq 0x12c0(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x873d3(%rip), %rdx     # 0x115968
movq 0x140(%rbx), %r8
movq 0x8b525(%rip), %r9      # 0x119ac8
movq %rbx, %rdi
movq %r12, %rcx
callq 0x9bbb
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x6ebed
testb %al, %al
je 0x8e5d7
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x6ebed
movl $0x118, %ecx            # imm = 0x118
testb %al, %al
jne 0x8e5dc
movl $0x120, %ecx            # imm = 0x120
movq (%rbx,%rcx), %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_sss
static s7_pointer fx_c_sss(s7_scheme *sc, s7_pointer arg)
                {
                    set_car(sc->t3_1, lookup(sc, cadr(arg)));
                    set_car(sc->t3_2, lookup(sc, opt1_sym(cdr(arg)))); /* caddr(arg) */
                    set_car(sc->t3_3, lookup(sc, opt2_sym(cdr(arg)))); /* cadddr(arg) */
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rsi
callq 0x7d158
movq 0x580(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x18(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x588(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x20(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x590(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x580(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_ssa
static s7_pointer fx_c_ssa(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = cddr(arg);
                    set_car(sc->t3_3, fx_call(sc, cdr(p)));
                    set_car(sc->t3_1, lookup(sc, cadr(arg)));
                    set_car(sc->t3_2, lookup(sc, car(p)));
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
callq *0x20(%rax)
movq 0x590(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x580(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x588(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x580(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_gac
static s7_pointer fx_c_gac(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = cdr(arg);
                    set_car(sc->t3_2, fx_call(sc, cdr(p)));
                    set_car(sc->t3_3, caddr(p));
                    set_car(sc->t3_1, lookup_global(sc, car(p)));
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
callq *0x20(%rax)
movq 0x588(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r15), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x590(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%r15), %r15
testb $0x1, 0x2(%r15)
jne 0x8e78a
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7d158
testq %rax, %rax
jne 0x8e792
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7d1b2
jmp 0x8e792
movq 0x10(%r15), %rax
movq 0x10(%rax), %rax
movq 0x580(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x580(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_aaa
static s7_pointer fx_c_aaa(s7_scheme *sc, s7_pointer arg)
                {
                    check_stack_size(sc);
                    gc_protect_direct(sc, fx_call(sc, cdr(arg)));
                    sc->stack_end[-4] = fx_call(sc, cddr(arg));
                    set_car(sc->t3_3, fx_call(sc, cdddr(arg)));
                    set_car(sc->t3_2, sc->stack_end[-4]);
                    set_car(sc->t3_1, sc->stack_end[-2]);
                    sc->stack_end -= 4;
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x50(%rdi), %rax
cmpq 0x58(%rdi), %rax
jb 0x8e7ce
movq %rbx, %rdi
callq 0x91caf
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x50(%rbx), %rcx
movq $0x1, 0x18(%rcx)
movq 0x50(%rbx), %rcx
leaq 0x20(%rcx), %rdx
movq %rdx, 0x50(%rbx)
movq %rax, 0x10(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x50(%rbx), %rcx
movq %rax, -0x20(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x590(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x50(%rbx), %rax
movq -0x20(%rax), %rax
movq 0x588(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x50(%rbx), %rax
movq -0x10(%rax), %rax
movq 0x580(%rbx), %rcx
movq %rax, 0x8(%rcx)
addq $-0x20, 0x50(%rbx)
movq 0x20(%r14), %rax
movq 0x580(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_add_ss
static s7_pointer fx_num_eq_add_ss(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs, x, y, z;
                    largs = cdaddr(arg);
                    x = lookup(sc, car(largs));
                    y = lookup(sc, cadr(largs));
                    z = lookup(sc, cadr(arg));
                    if ((is_t_integer(x)) && (is_t_integer(y)) && (is_t_integer(z)))
                        return(make_boolean(sc, (integer(x) + integer(y)) == integer(z)));
                    return(num_eq_p_pp(sc, z, add_p_pp(sc, x, y)));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r12
movq 0x8(%r12), %rsi
callq 0x7d158
movq %rax, %r14
movq 0x10(%r12), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq %rax, %r12
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq 0x7d158
movq %rax, %r15
cmpb $0xb, (%r14)
jne 0x8eb60
cmpb $0xb, (%r12)
jne 0x8eb60
cmpb $0xb, (%r15)
jne 0x8eb60
movq 0x8(%r12), %rax
addq 0x8(%r14), %rax
xorl %ecx, %ecx
cmpq 0x8(%r15), %rax
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rbx, %rdi
movq %r14, %rsi
movq %r12, %rdx
callq 0x6bf00
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x6e8d2
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_vector_ref_g_vector_ref_gs
static s7_pointer fx_vector_ref_g_vector_ref_gs(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    arg = cdr(arg);
                    largs = cdadr(arg);
                    return(vector_ref_p_pp(sc, lookup_global(sc, car(arg)),
                                vector_ref_p_pp(sc, lookup_global(sc, car(largs)), lookup(sc, opt2_sym(largs)))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %r15
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r13
testb $0x1, 0x2(%r15)
jne 0x8ebd1
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7d158
movq %rax, %r14
testq %rax, %rax
jne 0x8ebd9
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7d1b2
movq %rax, %r14
jmp 0x8ebd9
movq 0x10(%r15), %rax
movq 0x10(%rax), %r14
movq 0x8(%r13), %r12
testb $0x1, 0x2(%r12)
jne 0x8ec08
movq %rbx, %rdi
movq %r12, %rsi
callq 0x7d158
movq %rax, %r15
testq %rax, %rax
jne 0x8ec11
movq %rbx, %rdi
movq %r12, %rsi
callq 0x7d1b2
movq %rax, %r15
jmp 0x8ec11
movq 0x10(%r12), %rax
movq 0x10(%rax), %r15
movq 0x20(%r13), %rsi
movq %rbx, %rdi
callq 0x7d158
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x6843c
movq %rbx, %rdi
movq %r14, %rsi
movq %rax, %rdx
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x6843c
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_g_opgsq_direct
static s7_pointer fx_c_g_opgsq_direct(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    arg = cdr(arg);
                    largs = cdadr(arg);
                    return(((s7_p_pp_t)opt2_direct(arg))(sc, lookup_global(sc, car(arg)),
                                ((s7_p_pp_t)opt3_direct(arg))(sc, lookup_global(sc, car(largs)), lookup(sc, opt2_sym(largs)))));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r12
movq 0x8(%r12), %r15
movq 0x10(%r12), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r13
movq 0x20(%r12), %rax
movq %rax, (%rsp)
testb $0x1, 0x2(%r15)
jne 0x8ec99
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7d158
movq %rax, %r14
testq %rax, %rax
jne 0x8eca1
movq %rbx, %rdi
movq %r15, %rsi
callq 0x7d1b2
movq %rax, %r14
jmp 0x8eca1
movq 0x10(%r15), %rax
movq 0x10(%rax), %r14
movq 0x28(%r12), %rbp
movq 0x8(%r13), %r12
testb $0x1, 0x2(%r12)
jne 0x8ecd5
movq %rbx, %rdi
movq %r12, %rsi
callq 0x7d158
movq %rax, %r15
testq %rax, %rax
jne 0x8ecde
movq %rbx, %rdi
movq %r12, %rsi
callq 0x7d1b2
movq %rax, %r15
jmp 0x8ecde
movq 0x10(%r12), %rax
movq 0x10(%rax), %r15
movq 0x20(%r13), %rsi
movq %rbx, %rdi
callq 0x7d158
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq *%rbp
movq %rbx, %rdi
movq %r14, %rsi
movq %rax, %rdx
movq (%rsp), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_opssq_direct
static s7_pointer fx_c_s_opssq_direct(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    arg = cdr(arg);
                    largs = cdadr(arg);
                    return(((s7_p_pp_t)opt2_direct(arg))(sc, lookup(sc, car(arg)),
                                ((s7_p_pp_t)opt3_direct(arg))(sc, lookup(sc, car(largs)), lookup(sc, opt2_sym(largs)))));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r15
movq 0x8(%r15), %rsi
movq 0x10(%r15), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r12
movq 0x20(%r15), %rbp
callq 0x7d158
movq %rax, %r14
movq 0x28(%r15), %r13
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq 0x7d158
movq %rax, %r15
movq 0x20(%r12), %rsi
movq %rbx, %rdi
callq 0x7d158
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq *%r13
movq %rbx, %rdi
movq %r14, %rsi
movq %rax, %rdx
movq %rbp, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_opssq
static s7_pointer fx_c_s_opssq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = caddr(arg);
                    set_car(sc->t2_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, lookup(sc, opt2_sym(cdr(largs))));
                    set_car(sc->t2_2, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_1, lookup(sc, cadr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
callq 0x7d158
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r15), %rax
movq 0x20(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opssq_s_direct
static s7_pointer fx_c_opssq_s_direct(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cdadr(arg);
                    return(((s7_p_pp_t)opt2_direct(cdr(arg)))(sc,
                                ((s7_p_pp_t)opt3_direct(cdr(arg)))(sc, lookup(sc, car(largs)), lookup(sc, opt2_sym(largs))),
                                lookup(sc, caddr(arg))));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rcx
movq 0x20(%rax), %rbp
movq 0x10(%rcx), %r12
movq 0x28(%rax), %r13
movq 0x8(%r12), %rsi
callq 0x7d158
movq %rax, %r15
movq 0x20(%r12), %rsi
movq %rbx, %rdi
callq 0x7d158
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq *%r13
movq %rax, %r15
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq %rbx, %rdi
movq %r15, %rsi
movq %rax, %rdx
movq %rbp, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opssq_opssq
static s7_pointer fx_c_opssq_opssq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
#if S7_DEBUGGING
                    if (sc->stack_end >= sc->stack_resize_trigger) fprintf(stderr, "%s[%d]: skipped stack resize\n", __func__, __LINE__);
#endif
                    largs = cdr(arg);
                    set_car(sc->t2_1, lookup(sc, cadar(largs)));
                    set_car(sc->t2_2, lookup(sc, opt2_sym(cdar(largs))));
                    gc_protect_direct(sc, c_call(car(largs))(sc, sc->t2_1));
                    largs = cadr(largs);
                    set_car(sc->t2_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, lookup(sc, opt2_sym(cdr(largs))));
                    set_car(sc->t2_2, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_1, sc->stack_end[-2]);
                    sc->stack_end -= 4;
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %r15
movq 0x8(%r15), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0x7d158
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%r15), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%r15), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x50(%rbx), %rcx
movq $0x1, 0x18(%rcx)
movq 0x50(%rbx), %rcx
leaq 0x20(%rcx), %rdx
movq %rdx, 0x50(%rbx)
movq %rax, 0x10(%rcx)
movq 0x10(%r15), %rax
movq 0x8(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r15), %rax
movq 0x20(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x50(%rbx), %rax
movq -0x10(%rax), %rax
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
addq $-0x20, 0x50(%rbx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_car_s
static s7_pointer fx_is_pair_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_pair(p))
                        return(make_boolean(sc, is_pair(car(p))));

                    if (has_active_methods(sc, p))
                    {
                        s7_pointer func;
                        func = find_method(sc, p, sc->car_symbol);
                        if (func != sc->undefined)
                            return(make_boolean(sc, is_pair(s7_apply_function(sc, func, list_1(sc, p)))));
                    }
                    return(wrong_type_argument(sc, sc->car_symbol, 1, p, T_PAIR));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
movq %rax, %r14
cmpb $0x1, (%rax)
jne 0x8f0e6
movq 0x8(%r14), %rax
xorl %ecx, %ecx
cmpb $0x1, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
testb $0x40, 0x3(%r14)
je 0x8f168
cmpb $0x1, 0x24c(%rbx)
jne 0x8f168
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x888f
cmpq 0x128(%rbx), %rax
je 0x8f168
movq %rax, %r15
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r12
cmpq 0x98(%rbx), %rax
ja 0x8f13a
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rdx
movq $0x200001, (%rdx)       # imm = 0x200001
movq %r14, 0x8(%rdx)
movq %r12, 0x10(%rdx)
movq %rbx, %rdi
movq %r15, %rsi
callq 0xa34c
jmp 0x8f0ca
movq 0xd20(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x867de(%rip), %rdx     # 0x115958
movq 0x140(%rbx), %r8
movq 0x8a8e0(%rip), %r9      # 0x119a68
movq %rbx, %rdi
movq %r14, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x9bbb
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_cdr_s
static s7_pointer fx_is_pair_cdr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_pair(p))
                        return(make_boolean(sc, is_pair(cdr(p))));
                    return(g_is_pair(sc, set_plist_1(sc, g_cdr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8f1ca
movq 0x10(%rax), %rax
xorl %ecx, %ecx
cmpb $0x1, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5dbb2
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x4b5a8
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_cadr_s
static s7_pointer fx_is_pair_cadr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_pair(cadr(p))));
                    return(g_is_pair(sc, set_plist_1(sc, g_cadr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8f234
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0x8f234
movq 0x8(%rcx), %rax
xorl %ecx, %ecx
cmpb $0x1, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5dc81
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x4b5a8
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_cddr_s
static s7_pointer fx_is_pair_cddr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_pair(cddr(p))));
                    return(g_is_pair(sc, set_plist_1(sc, g_cddr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8f29e
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0x8f29e
movq 0x10(%rcx), %rax
xorl %ecx, %ecx
cmpb $0x1, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5dd1d
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x4b5a8
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_is_null_cdr_s
static s7_pointer fx_is_null_cdr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_pair(p))
                        return(make_boolean(sc, is_null(cdr(p))));
                    return(g_is_null(sc, set_plist_1(sc, g_cdr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8f303
movq 0x10(%rax), %rax
xorl %ecx, %ecx
cmpq 0x110(%rbx), %rax
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5dbb2
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x4c14f
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_is_null_cadr_s
static s7_pointer fx_is_null_cadr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_null(cadr(p))));
                    return(g_is_null(sc, set_plist_1(sc, g_cadr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8f371
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0x8f371
movq 0x8(%rcx), %rax
xorl %ecx, %ecx
cmpq 0x110(%rbx), %rax
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5dc81
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x4c14f
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_is_null_cddr_s
static s7_pointer fx_is_null_cddr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_null(cddr(p))));
                    return(g_is_null(sc, set_plist_1(sc, g_cddr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8f3df
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0x8f3df
movq 0x10(%rcx), %rax
xorl %ecx, %ecx
cmpq 0x110(%rbx), %rax
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5dd1d
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x4c14f
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_is_symbol_cadr_s
static s7_pointer fx_is_symbol_cadr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    p = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_pair(p)) && (is_pair(cdr(p))))
                        return(make_boolean(sc, is_symbol(cadr(p))));
                    return(g_is_symbol(sc, set_plist_1(sc, g_cadr(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8f449
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0x8f449
movq 0x8(%rcx), %rax
xorl %ecx, %ecx
cmpb $0xa, (%rax)
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5dc81
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x49dc5
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_weak1_type_s
static s7_pointer fx_c_weak1_type_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_c_pointer(val))                /* (let? (c-pointer-weak1 val)) etc */
                        return(make_boolean(sc, (uint8_t)(opt3_byte(cdr(arg))) == type(c_pointer_weak1(val))));

                    if (has_active_methods(sc, val))
                    {
                        s7_pointer func;
                        func = find_method(sc, val, sc->c_pointer_weak1_symbol);
                        if (func != sc->undefined)
                            return(make_boolean(sc, type(s7_apply_function(sc, func, list_1(sc, val))) == (uint8_t)opt3_byte(cdr(arg))));
                    }
                    return(wrong_type_argument(sc, sc->c_pointer_weak1_symbol, 1, val, T_C_POINTER));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %r12
movq 0x20(%r12), %rsi
callq 0x7d158
movq %rax, %r15
cmpb $0x21, (%rax)
jne 0x8f579
movb 0x28(%r12), %al
movq 0x20(%r15), %rcx
xorl %edx, %edx
cmpb (%rcx), %al
setne %dl
movq 0x118(%rbx,%rdx,8), %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
testb $0x40, 0x3(%r15)
je 0x8f60a
cmpb $0x1, 0x24c(%rbx)
jne 0x8f60a
movq 0xc68(%rbx), %rdx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x888f
cmpq 0x128(%rbx), %rax
je 0x8f60a
movq %rax, %r12
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r13
cmpq 0x98(%rbx), %rax
ja 0x8f5d1
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rdx
movq $0x200001, (%rdx)       # imm = 0x200001
movq %r15, 0x8(%rdx)
movq %r13, 0x10(%rdx)
movq %rbx, %rdi
movq %r12, %rsi
callq 0xa34c
movb (%rax), %al
movq 0x10(%r14), %rcx
xorl %edx, %edx
cmpb 0x28(%rcx), %al
jmp 0x8f564
movq 0xc68(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x8633c(%rip), %rdx     # 0x115958
movq 0x140(%rbx), %r8
movq 0x8a53e(%rip), %r9      # 0x119b68
movq %rbx, %rdi
movq %r15, %rcx
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x9bbb
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_is_type_car_s
static s7_pointer fx_is_type_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    if (is_pair(val))
                        return(make_boolean(sc, (uint8_t)(opt3_byte(cdr(arg))) == type(car(val))));
                    return(make_boolean(sc, (uint8_t)(opt3_byte(cdr(arg))) == type(g_car(sc, set_plist_1(sc, val)))));
                }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x20(%r14), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
movb 0x28(%r14), %bpl
jne 0x8f661
movq 0x8(%rax), %rax
jmp 0x8f67b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5db91
xorl %ecx, %ecx
cmpb (%rax), %bpl
setne %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
popq %r14
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_car_s
static s7_pointer fx_c_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    set_car(sc->t1_1, (is_pair(val)) ? car(val) : g_car(sc, set_plist_1(sc, val)));
                    return(c_call(arg)(sc, sc->t1_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8f703
movq 0x8(%rax), %rax
jmp 0x8f71d
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5db91
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_cdr_s
static s7_pointer fx_c_cdr_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    set_car(sc->t1_1, (is_pair(val)) ? cdr(val) : g_cdr(sc, set_plist_1(sc, val)));
                    return(c_call(arg)(sc, sc->t1_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8f761
movq 0x10(%rax), %rax
jmp 0x8f77b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5dbb2
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opsq
static s7_pointer fx_c_opsq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t1_1, lookup(sc, cadr(largs)));
                    set_car(sc->t1_1, c_call(largs)(sc, sc->t1_1));
                    return(c_call(arg)(sc, sc->t1_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movq 0x10(%rsi), %rax
movq 0x8(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
callq 0x7d158
movq 0x568(%r14), %rcx
movq %rax, 0x8(%rcx)
movq 0x568(%r14), %rsi
movq %r14, %rdi
callq *0x20(%r15)
movq 0x568(%r14), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%rbx), %rax
movq 0x568(%r14), %rsi
movq %r14, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_add_s1
static s7_pointer fx_add_s1(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) + 1));
                    return(g_add_x1_1(sc, x, cdr(arg))); /* arg=(+ x 1) */
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x8(%r14), %rsi
callq 0x7d158
cmpb $0xb, (%rax)
jne 0x8f861
movq 0x8(%rax), %rax
leaq 0x1(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x8f876
leaq 0x860f6(%rip), %rcx     # 0x115950
movq 0x8(%rcx,%rax,8), %rax
jmp 0x8f8af
movq %rbx, %rdi
movq %rax, %rsi
movq %r14, %rdx
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x920da
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x8f895
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_add_si
static s7_pointer fx_add_si(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) + integer(opt2_con(cdr(arg)))));
                    return(add_p_pp(sc, x, caddr(arg)));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x8(%r14), %rsi
callq 0x7d158
cmpb $0xb, (%rax)
jne 0x8f8f2
movq 0x20(%r14), %rcx
movq 0x8(%rcx), %r14
addq 0x8(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x8f90c
leaq 0x86064(%rip), %rax     # 0x115950
movq (%rax,%r14,8), %rax
jmp 0x8f945
movq 0x10(%r14), %rcx
movq 0x8(%rcx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x6bf00
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x8f92b
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_sf
static s7_pointer fx_subtract_sf(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_real(x)) return(make_real(sc, real(x) - real(caddr(arg))));
                    return(g_subtract_2f(sc, set_plist_2(sc, x, caddr(arg))));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x8(%r14), %rsi
callq 0x7d158
cmpb $0xd, (%rax)
jne 0x8f9c4
movsd 0x8(%rax), %xmm0
movq 0x10(%r14), %rax
movq 0x8(%rax), %rax
subsd 0x8(%rax), %xmm0
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x8f9a1
movq %rbx, %rdi
movsd %xmm0, (%rsp)
callq 0x9c27
movsd (%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xd, (%rax)
movsd %xmm0, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq 0x10(%r14), %rcx
movq 0x8(%rcx), %rcx
movq 0x708(%rbx), %rdx
movq %rax, 0x8(%rdx)
movq 0x710(%rbx), %rax
movq %rcx, 0x8(%rax)
movq 0x708(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x92375
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_s1
static s7_pointer fx_subtract_s1(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) - 1));
                    return(minus_c1(sc, x));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rsi
callq 0x7d158
cmpb $0xb, (%rax)
jne 0x8fa30
movq 0x8(%rax), %rax
leaq -0x1(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x8fa42
leaq 0x85f27(%rip), %rcx     # 0x115950
movq -0x8(%rcx,%rax,8), %rax
jmp 0x8fa7b
movq %rbx, %rdi
movq %rax, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x92479
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x8fa61
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_si
static s7_pointer fx_subtract_si(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    x = lookup(sc, cadr(arg));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) - integer(opt2_con(cdr(arg)))));
                    return(subtract_p_pp(sc, x, caddr(arg)));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %r15
movq 0x8(%r15), %rsi
callq 0x7d158
cmpb $0xb, (%rax)
jne 0x8fabf
movq 0x8(%rax), %r14
movq 0x20(%r15), %rax
subq 0x8(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x8fad7
leaq 0x85e97(%rip), %rax     # 0x115950
movq (%rax,%r14,8), %rax
jmp 0x8fb10
movq 0x10(%r15), %rcx
movq 0x8(%rcx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
popq %rbx
popq %r14
popq %r15
jmp 0x6c331
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x8faf6
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_si
static s7_pointer fx_num_eq_si(s7_scheme *sc, s7_pointer arg)
                {
                    s7_int y;
                    s7_pointer val, args;
                    args = cdr(arg);
                    val = lookup(sc, car(args));
                    y = integer(cadr(args));
                    if (is_t_integer(val))
                        return(make_boolean(sc, integer(val) == y));
                    return(fx_num_eq_xi_1(sc, args, val, y));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x8(%r14), %rsi
callq 0x7d158
movq 0x10(%r14), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rcx), %rcx
cmpb $0xb, (%rax)
jne 0x8fbb9
xorl %edx, %edx
cmpq %rcx, 0x8(%rax)
setne %dl
movq 0x118(%rbx,%rdx,8), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
movq %rbx, %rdi
movq %r14, %rsi
movq %rax, %rdx
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x9292f
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: g_memq_2
static s7_pointer g_memq_2(s7_scheme *sc, s7_pointer args)
                {
                    s7_pointer x, obj;
                    x = cadr(args);
                    obj = car(args);
                    if (obj == car(x)) return(x);
                    if (obj == cadr(x)) return(cdr(x));
                    return(sc->F);
                }

// Assembly:
movq 0x8(%rsi), %rcx
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rax
cmpq 0x8(%rax), %rcx
je 0x8fbf1
movq 0x10(%rax), %rax
cmpq 0x8(%rax), %rcx
je 0x8fbf1
movq 0x120(%rdi), %rax
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_memq_sq_2
static s7_pointer fx_memq_sq_2(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p, obj;
                    obj = lookup(sc, cadr(arg));
                    p = opt2_con(cdr(arg));
                    if (obj == car(p)) return(p);
                    if (obj == cadr(p)) return(cdr(p));
                    return(sc->F);
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x8(%r14), %rsi
callq 0x7d158
movq %rax, %rcx
movq 0x20(%r14), %rax
cmpq 0x8(%rax), %rcx
je 0x8fc24
movq 0x10(%rax), %rax
cmpq 0x8(%rax), %rcx
je 0x8fc24
movq 0x120(%rbx), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_fs
static s7_pointer fx_subtract_fs(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    s7_double n;

                    x = lookup(sc, caddr(arg));
                    n = real(cadr(arg));
                    switch (type(x))
                    {
                        case T_INTEGER: return(make_real(sc, n - integer(x)));
                        case T_RATIO:   return(make_real(sc, n - fraction(x)));
                        case T_REAL:    return(make_real(sc, n - real(x)));
                        case T_COMPLEX: return(s7_make_complex(sc, n - real_part(x), -imag_part(x)));
                        default:
                                        return(method_or_bust_with_type(sc, x, sc->subtract_symbol, list_2(sc, cadr(arg), x), a_number_string, 2));
                    }
                    return(x);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x30, %rsp
movq %rdi, %rbx
movq 0x10(%rsi), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
callq 0x7d158
movq %rax, %r14
movq 0x8(%r15), %r12
movzbl (%rax), %eax
addl $-0xb, %eax
cmpl $0x3, %eax
ja 0x8fde6
movsd 0x8(%r12), %xmm0
leaq 0x44813(%rip), %rcx     # 0xd4530
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
cvtsi2sdq 0x8(%r14), %xmm1
subsd %xmm1, %xmm0
jmp 0x8fd92
subsd 0x8(%r14), %xmm0
jmp 0x8fd92
subsd 0x8(%r14), %xmm0
movsd 0x10(%r14), %xmm1
xorps 0x46163(%rip), %xmm1    # 0xd5eb0
movq %rbx, %rdi
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0xc152
movsd %xmm0, 0x18(%rsp)
movq 0x8(%r14), %rax
movq 0x10(%r14), %rcx
movq %rax, 0x28(%rsp)
fildll 0x28(%rsp)
movq %rcx, 0x20(%rsp)
fildll 0x20(%rsp)
fdivrp %st, %st(1)
fsubrl 0x18(%rsp)
fstpl 0x10(%rsp)
movsd 0x10(%rsp), %xmm0
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x8fdbd
movq %rbx, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0x9c27
movsd 0x8(%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xd, (%rax)
movsd %xmm0, 0x8(%rax)
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq 0x1588(%rbx), %r15
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r13
cmpq 0x98(%rbx), %rax
ja 0x8fe13
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %edx         # imm = 0x200001
movq %rdx, (%rax)
movq %r14, 0x8(%rax)
movq %r13, 0x10(%rax)
movq 0x90(%rbx), %rcx
leaq -0x8(%rcx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rcx), %rcx
movq %rdx, (%rcx)
movq %r12, 0x8(%rcx)
movq %rax, 0x10(%rcx)
movq 0x94546(%rip), %r8      # 0x1243a0
pushq $0x2
popq %r9
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
addq $0x30, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0xcf9a
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_hash_table_ref_car
static s7_pointer fx_hash_table_ref_car(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer table, lst;
                    table = lookup(sc, cadr(arg));
                    lst = lookup(sc, opt2_sym(cdr(arg)));
                    if (!is_pair(lst))
                        return(simple_wrong_type_argument(sc, sc->car_symbol, lst, T_PAIR));
                    if (!is_hash_table(table))
                        return(g_hash_table_ref(sc, set_plist_2(sc, table, car(lst))));
                    return(hash_entry_value((*hash_table_checker(table))(sc, table, car(lst))));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %r15
movq 0x8(%r15), %rsi
callq 0x7d158
movq %rax, %r14
movq 0x20(%r15), %rsi
movq %rbx, %rdi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8ff75
cmpb $0x1b, (%r14)
jne 0x8ff9e
movq 0x8(%rax), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq *0x18(%r14)
movq 0x20(%rax), %rax
popq %rbx
popq %r14
popq %r15
retq
movq 0xd20(%rbx), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rbx), %rcx
movq 0x89ada(%rip), %r8      # 0x119a68
movq %rbx, %rdi
movq %rax, %rdx
popq %rbx
popq %r14
popq %r15
jmp 0xd456
movq 0x8(%rax), %rax
movq 0x708(%rbx), %rcx
movq %r14, 0x8(%rcx)
movq 0x710(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x708(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x63c36
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_add_s_car_s
static s7_pointer fx_add_s_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val1, val2;
                    val2 = lookup(sc, opt2_sym(cdr(arg)));
                    val2 = (is_pair(val2)) ? car(val2) : g_car(sc, set_plist_1(sc, val2));
                    val1 = lookup(sc, cadr(arg));
                    if ((is_t_integer(val1)) && (is_t_integer(val2)))
                        return(make_integer(sc, integer(val1) + integer(val2)));
                    return(add_p_pp(sc, val1, val2));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r15
movq %rdi, %rbx
movq 0x10(%rsi), %r12
movq 0x20(%r12), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x8fff3
movq 0x8(%rax), %r14
jmp 0x90014
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5db91
movq %rax, %r14
movq 0x10(%r15), %r12
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq 0x7d158
cmpb $0xb, (%rax)
jne 0x9004a
cmpb $0xb, (%r14)
jne 0x9004a
movq 0x8(%r14), %r14
addq 0x8(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x90063
leaq 0x8590c(%rip), %rax     # 0x115950
movq (%rax,%r14,8), %rax
jmp 0x9009c
movq %rbx, %rdi
movq %rax, %rsi
movq %r14, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x6bf00
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x90082
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_car_s
static s7_pointer fx_c_s_car_s(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    val = lookup(sc, opt2_sym(cdr(arg)));
                    set_car(sc->t2_2, (is_pair(val)) ? car(val) : g_car(sc, set_plist_1(sc, val)));
                    set_car(sc->t2_1, lookup(sc, cadr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rsi
callq 0x7d158
cmpb $0x1, (%rax)
jne 0x900ca
movq 0x8(%rax), %rax
jmp 0x900e4
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
callq 0x5db91
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *%rax
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: fx_c_s_opsq
static s7_pointer fx_c_s_opsq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = caddr(arg);
                    set_car(sc->t1_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, c_call(largs)(sc, sc->t1_1));
                    set_car(sc->t2_1, lookup(sc, cadr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x10(%rsi), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %r15
movq 0x10(%r15), %rax
movq 0x8(%rax), %rsi
callq 0x7d158
movq 0x568(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x568(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%r15)
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x8(%rax), %rsi
movq %rbx, %rdi
callq 0x7d158
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x20(%r14), %rax
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmpq *%rax