LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: g_less_x0
static s7_pointer g_less_x0(s7_scheme *sc, s7_pointer args)
    {
        s7_pointer x;
        x = car(args);
        if (is_t_integer(x))
            return(make_boolean(sc, integer(x) < 0));
        if (is_real(x))
            return(make_boolean(sc, s7_is_negative(x)));
        return(method_or_bust(sc, x, sc->lt_symbol, args, T_REAL, 1));
    }

// Assembly:
movq %rsi, %rcx
movq 0x8(%rsi), %rsi
movzbl (%rsi), %eax
cmpq $0xb, %rax
jne 0xce991
xorl %eax, %eax
cmpq $0x0, 0x8(%rsi)
setns %al
jmp 0xce9d6
leaq 0x7c018(%rip), %rdx     # 0x14a9b0
cmpb $0x1, (%rax,%rdx)
jne 0xce9ad
cmpl $0xc, %eax
jne 0xce9c5
movq 0x8(%rsi), %rax
shrq $0x3f, %rax
jmp 0xce9d1
movq 0x12c0(%rdi), %rdx
movl $0xd, %r8d
movl $0x1, %r9d
jmp 0xe42d
xorpd %xmm0, %xmm0
ucomisd 0x8(%rsi), %xmm0
seta %al
xorb $0x1, %al
movzbl %al, %eax
movq 0x118(%rdi,%rax,8), %rax
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_lt_ti
static s7_pointer fx_lt_ti(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    if (is_t_integer(x)) return(make_boolean(sc, integer(x) < integer(opt2_con(cdr(arg)))));
                    return(g_less_xi(sc, set_plist_2(sc, x, caddr(arg))));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0xb, (%rax)
jne 0xcea0e
movq 0x8(%rax), %rax
movq 0x10(%rsi), %rcx
movq 0x20(%rcx), %rcx
xorl %edx, %edx
cmpq 0x8(%rcx), %rax
setge %dl
movq 0x118(%rdi,%rdx,8), %rax
retq
movq 0x10(%rsi), %rcx
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x708(%rdi), %rdx
movq %rax, 0x8(%rdx)
movq 0x710(%rdi), %rax
movq %rcx, 0x8(%rax)
movq 0x708(%rdi), %rsi
jmp 0xce8f2
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: g_geq_xf
static s7_pointer g_geq_xf(s7_scheme *sc, s7_pointer args)
    {
        s7_double y;
        s7_pointer x;

        x = car(args);
        y = real(cadr(args));

        if (is_t_real(x))
            return(make_boolean(sc, real(x) >= y));
        return(g_geq_2(sc, args));
    }

// Assembly:
pushq %rbx
movq %rsi, %rax
movq %rdi, %rbx
movq 0x8(%rsi), %rsi
movq 0x10(%rax), %rax
cmpb $0xd, (%rsi)
movq 0x8(%rax), %rdx
jne 0xcea65
movsd 0x8(%rsi), %xmm0
xorl %eax, %eax
ucomisd 0x8(%rdx), %xmm0
setb %al
jmp 0xcea72
movq %rbx, %rdi
callq 0x89fe0
xorb $0x1, %al
movzbl %al, %eax
leaq 0x118(,%rax,8), %rax
movq (%rbx,%rax), %rax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: g_geq_xi
static s7_pointer g_geq_xi(s7_scheme *sc, s7_pointer args)
    {
        s7_int y;
        s7_pointer x;

        x = car(args);
        y = integer(cadr(args));

        if (type(x) == T_INTEGER)
            return(make_boolean(sc, integer(x) >= y));
        if (type(x) == T_REAL)
            return(make_boolean(sc, real(x) >= y));
        if (type(x) == T_RATIO)
            return(make_boolean(sc, !ratio_lt_pi(x, y)));
        return(method_or_bust(sc, x, sc->geq_symbol, args, T_REAL, 1));
    }

// Assembly:
pushq %rbx
movq %rsi, %rcx
movq %rdi, %rbx
movq 0x8(%rsi), %rax
movq 0x10(%rsi), %rdx
movq 0x8(%rdx), %rdx
movq 0x8(%rdx), %rsi
movzbl (%rax), %edx
cmpl $0xd, %edx
je 0xceb28
cmpl $0xc, %edx
je 0xceb1b
cmpl $0xb, %edx
jne 0xceb45
xorl %ecx, %ecx
cmpq %rsi, 0x8(%rax)
setl %cl
movq 0x118(%rbx,%rcx,8), %rax
jmp 0xceb43
movq %rax, %rdi
callq 0xd13f5
movzbl %al, %eax
jmp 0xceb3b
movsd 0x8(%rax), %xmm0
cvtsi2sd %rsi, %xmm1
xorl %eax, %eax
ucomisd %xmm1, %xmm0
setb %al
movq 0x118(%rbx,%rax,8), %rax
popq %rbx
retq
movq 0xf48(%rbx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
movl $0xd, %r8d
movl $0x1, %r9d
popq %rbx
jmp 0xe42d
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: g_leq_xi
static s7_pointer g_leq_xi(s7_scheme *sc, s7_pointer args)
    {
        s7_int y;
        s7_pointer x;

        x = car(args);
        y = integer(cadr(args));

        if (type(x) == T_INTEGER)
            return(make_boolean(sc, integer(x) <= y));
        if (type(x) == T_REAL)
            return(make_boolean(sc, real(x) <= y));
        if (type(x) == T_RATIO)
            return(make_boolean(sc, ratio_leq_pi(x, y)));
        return(method_or_bust(sc, x, sc->leq_symbol, args, T_REAL, 1));
    }

// Assembly:
pushq %rbx
movq %rsi, %rcx
movq %rdi, %rbx
movq 0x8(%rsi), %rax
movq 0x10(%rsi), %rdx
movq 0x8(%rdx), %rdx
movq 0x8(%rdx), %rsi
movzbl (%rax), %edx
cmpl $0xd, %edx
je 0xcec0c
cmpl $0xc, %edx
je 0xcebf5
cmpl $0xb, %edx
jne 0xcec25
xorl %ecx, %ecx
cmpq %rsi, 0x8(%rax)
setg %cl
jmp 0xcec1b
movq %rax, %rdi
callq 0xd1469
xorb $0x1, %al
movzbl %al, %eax
movq 0x118(%rbx,%rax,8), %rax
jmp 0xcec23
cvtsi2sd %rsi, %xmm0
xorl %ecx, %ecx
ucomisd 0x8(%rax), %xmm0
setb %cl
movq 0x118(%rbx,%rcx,8), %rax
popq %rbx
retq
movq 0x1220(%rbx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
movl $0xd, %r8d
movl $0x1, %r9d
popq %rbx
jmp 0xe42d
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_leq_ti
static s7_pointer fx_leq_ti(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    if (is_t_integer(x))
                        return(make_boolean(sc, integer(x) <= integer(opt2_con(cdr(arg)))));
                    set_car(sc->t2_1, x);
                    set_car(sc->t2_2, opt2_con(cdr(arg)));
                    return(g_leq_xi(sc, sc->t2_1));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0xb, (%rax)
jne 0xcec73
movq 0x8(%rax), %rax
movq 0x10(%rsi), %rcx
movq 0x20(%rcx), %rcx
xorl %edx, %edx
cmpq 0x8(%rcx), %rax
setg %dl
movq 0x118(%rdi,%rdx,8), %rax
retq
movq 0x570(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x578(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x570(%rdi), %rsi
jmp 0xcebc1
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: g_greater_xi
static s7_pointer g_greater_xi(s7_scheme *sc, s7_pointer args)
    {
        s7_int y;
        s7_pointer x;

        x = car(args);
        y = integer(cadr(args));

        if (type(x) == T_INTEGER)
            return(make_boolean(sc, integer(x) > y));
        if (type(x) == T_REAL)
            return(make_boolean(sc, real(x) > y));
        if (type(x) == T_RATIO)
            return(make_boolean(sc, !ratio_leq_pi(x, y)));
        return(method_or_bust_with_type(sc, x, sc->gt_symbol, args, a_number_string, 1));
    }

// Assembly:
pushq %rbx
movq %rsi, %rcx
movq %rdi, %rbx
movq 0x8(%rsi), %rax
movq 0x10(%rsi), %rdx
movq 0x8(%rdx), %rdx
movq 0x8(%rdx), %rsi
movzbl (%rax), %edx
cmpl $0xd, %edx
je 0xcece6
cmpl $0xc, %edx
je 0xcecd9
cmpl $0xb, %edx
jne 0xced03
xorl %ecx, %ecx
cmpq %rsi, 0x8(%rax)
setle %cl
movq 0x118(%rbx,%rcx,8), %rax
jmp 0xced01
movq %rax, %rdi
callq 0xd1469
movzbl %al, %eax
jmp 0xcecf9
cvtsi2sd %rsi, %xmm0
movsd 0x8(%rax), %xmm1
xorl %eax, %eax
ucomisd %xmm0, %xmm1
setbe %al
movq 0x118(%rbx,%rax,8), %rax
popq %rbx
retq
movq 0xf58(%rbx), %rdx
movq 0x8668f(%rip), %r8      # 0x1553a0
movq %rbx, %rdi
movq %rax, %rsi
movl $0x1, %r9d
popq %rbx
jmp 0xe659
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_gt_ti
static s7_pointer fx_gt_ti(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    if (is_t_integer(x))
                        return(make_boolean(sc, integer(x) > integer(opt2_con(cdr(arg)))));
                    set_car(sc->t2_1, x);
                    set_car(sc->t2_2, opt2_con(cdr(arg)));
                    return(g_greater_xi(sc, sc->t2_1));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0xb, (%rax)
jne 0xced52
movq 0x8(%rax), %rax
movq 0x10(%rsi), %rcx
movq 0x20(%rcx), %rcx
xorl %edx, %edx
cmpq 0x8(%rcx), %rax
setle %dl
movq 0x118(%rdi,%rdx,8), %rax
retq
movq 0x570(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
movq 0x578(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x570(%rdi), %rsi
jmp 0xcec9d
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_car_t
static s7_pointer fx_car_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    val = slot_value(let_slots(sc->envir));
                    return((is_pair(val)) ? car(val) : g_car(sc, set_plist_1(sc, val)));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xcedcc
movq 0x8(%rax), %rax
retq
movq 0x700(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rdi), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xcedec
movq 0x8(%rsi), %rax
retq
movq 0xd20(%rdi), %rdx
movl $0x1, %r8d
jmp 0x95069
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_cdr_t
static s7_pointer fx_cdr_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    val = slot_value(let_slots(sc->envir));
                    return((is_pair(val)) ? cdr(val) : g_cdr(sc, set_plist_1(sc, val)));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xcee14
movq 0x10(%rax), %rax
retq
movq 0x700(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rdi), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xcee34
movq 0x10(%rsi), %rax
retq
movq 0xda0(%rdi), %rdx
movl $0x1, %r8d
jmp 0x95069
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_cadr_t
static s7_pointer fx_cadr_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    val = slot_value(let_slots(sc->envir));
                    return(((is_pair(val)) && (is_pair(cdr(val)))) ? cadr(val) : g_cadr(sc, set_plist_1(sc, val)));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xcee65
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0xcee65
movq 0x8(%rcx), %rax
retq
movq 0x700(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rdi), %rsi
jmp 0x7447b
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_eq_tu
static s7_pointer fx_is_eq_tu(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    check_next_let_slot(sc, __func__, arg, caddr(arg));
                    x = slot_value(let_slots(sc->envir));
                    y = slot_value(next_slot(let_slots(sc->envir)));
                    return(make_boolean(sc, (x == y) || ((is_unspecified(x)) && (is_unspecified(y)))));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rdx
movq 0x18(%rax), %rax
movq 0x10(%rax), %rcx
movl $0x118, %eax            # imm = 0x118
cmpq %rcx, %rdx
je 0xcef88
cmpb $0x5, (%rdx)
jne 0xcef83
cmpb $0x5, (%rcx)
je 0xcef88
movl $0x120, %eax            # imm = 0x120
movq (%rdi,%rax), %rax
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_eq_ts
static s7_pointer fx_is_eq_ts(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    y = lookup(sc, opt2_sym(cdr(arg)));
                    return(make_boolean(sc, (x == y) || ((is_unspecified(x)) && (is_unspecified(y)))));
                }

// Assembly:
movq 0x8(%rdi), %rcx
movq 0x8(%rcx), %rax
movq 0x18(%rcx), %r8
movq 0x10(%rax), %rax
movq 0x10(%rsi), %rdx
movq 0x20(%rdx), %rdx
movq 0x20(%rdx), %rsi
cmpq %rsi, %r8
je 0xcefc2
jle 0xcefbd
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rsi
jl 0xcefb0
cmpq %rsi, %r8
jne 0xcefe8
movq 0x18(%rdx), %rsi
movq 0x10(%rsi), %rdx
movl $0x118, %ecx            # imm = 0x118
cmpq %rdx, %rax
je 0xcefe3
cmpb $0x5, (%rax)
jne 0xcefde
cmpb $0x5, (%rdx)
je 0xcefe3
movl $0x120, %ecx            # imm = 0x120
movq (%rdi,%rcx), %rax
retq
cmpb $0x1c, (%rcx)
jne 0xcf008
movq 0x8(%rcx), %rsi
testq %rsi, %rsi
je 0xcf002
cmpq %rdx, 0x8(%rsi)
je 0xcefc6
movq 0x18(%rsi), %rsi
jmp 0xceff1
movq 0x10(%rcx), %rcx
jmp 0xcefe8
movq 0x10(%rdx), %rsi
cmpb $0x20, (%rsi)
je 0xcefc6
xorl %edx, %edx
jmp 0xcefca
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_add_ti
static s7_pointer fx_add_ti(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    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 %rsi, %rax
movq %rdi, %rbx
movq 0x8(%rdi), %rcx
movq 0x8(%rcx), %rcx
movq 0x10(%rcx), %rsi
cmpb $0xb, (%rsi)
jne 0xcf106
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq 0x8(%rax), %r14
addq 0x8(%rsi), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xcf121
leaq 0x77850(%rip), %rax     # 0x146950
movq (%rax,%r14,8), %rax
jmp 0xcf15a
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rdx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x869cc
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xcf140
movq %rbx, %rdi
callq 0xa550
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_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_add_t1
static s7_pointer fx_add_t1(s7_scheme *sc, s7_pointer arg) /* sub_t1 was not useful */
                {
                    s7_pointer x;
                    x = slot_value(let_slots(sc->envir));
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) + 1));
                    return(g_add_x1_1(sc, x, cdr(arg)));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0xb, (%rax)
jne 0xcf199
movq 0x8(%rax), %rax
leaq 0x1(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xcf1af
leaq 0x777be(%rip), %rcx     # 0x146950
movq 0x8(%rcx,%rax,8), %rax
jmp 0xcf1e8
movq 0x10(%rsi), %rdx
movq %rbx, %rdi
movq %rax, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xb9ddd
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xcf1ce
movq %rbx, %rdi
callq 0xa550
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_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_t1
static s7_pointer fx_subtract_t1(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
cmpb $0xb, (%rsi)
jne 0xcf227
movq 0x8(%rsi), %rax
leaq -0x1(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xcf236
leaq 0x77730(%rip), %rcx     # 0x146950
movq -0x8(%rcx,%rax,8), %rax
jmp 0xcf26f
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xba184
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xcf255
movq %rbx, %rdi
callq 0xa550
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_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_ti
static s7_pointer fx_subtract_ti(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    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 %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0xb, (%rax)
jne 0xcf2b5
movq 0x8(%rax), %r14
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rax
subq 0x8(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xcf2d3
leaq 0x776a1(%rip), %rax     # 0x146950
movq (%rax,%r14,8), %rax
jmp 0xcf30c
movq 0x10(%rsi), %rcx
movq 0x10(%rcx), %rcx
movq 0x8(%rcx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x86e03
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xcf2f2
movq %rbx, %rdi
callq 0xa550
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_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_tu
static s7_pointer fx_num_eq_tu(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    check_next_let_slot(sc, __func__, arg, caddr(arg));
                    x = slot_value(let_slots(sc->envir));
                    y = slot_value(next_slot(let_slots(sc->envir)));
                    if ((is_t_integer(x)) && (is_t_integer(y)))
                        return(make_boolean(sc, integer(x) == integer(y)));
                    return(num_eq_p_pp(sc, x, y));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
movq 0x18(%rax), %rax
movq 0x10(%rax), %rdx
cmpb $0xb, (%rsi)
jne 0x895ed
cmpb $0xb, (%rdx)
jne 0x895ed
movq 0x8(%rsi), %rax
xorl %ecx, %ecx
cmpq 0x8(%rdx), %rax
setne %cl
movq 0x118(%rdi,%rcx,8), %rax
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_tg
static s7_pointer fx_num_eq_tg(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    y = slot_value(global_slot(opt2_sym(cdr(arg))));
                    if ((is_t_integer(x)) && (is_t_integer(y)))
                        return(make_boolean(sc, integer(x) == integer(y)));
                    return(num_eq_p_pp(sc, x, y));
                }

// Assembly:
movq %rsi, %rax
movq 0x8(%rdi), %rcx
movq 0x8(%rcx), %rcx
movq 0x10(%rcx), %rsi
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rdx
cmpb $0xb, (%rsi)
jne 0x895ed
cmpb $0xb, (%rdx)
jne 0x895ed
movq 0x8(%rsi), %rax
xorl %ecx, %ecx
cmpq 0x8(%rdx), %rax
setne %cl
movq 0x118(%rdi,%rcx,8), %rax
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_ts
static s7_pointer fx_num_eq_ts(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    y = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_t_integer(x)) && (is_t_integer(y)))
                        return(make_boolean(sc, integer(x) == integer(y)));
                    return(num_eq_p_pp(sc, x, y));
                }

// Assembly:
movq %rsi, %rax
movq 0x8(%rdi), %rcx
movq 0x8(%rcx), %rdx
movq 0x18(%rcx), %r8
movq 0x10(%rdx), %rsi
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xcf549
jle 0xcf544
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xcf537
cmpq %rdx, %r8
jne 0xcf579
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rdx
cmpb $0xb, (%rsi)
jne 0x895ed
cmpb $0xb, (%rdx)
jne 0x895ed
movq 0x8(%rsi), %rax
xorl %ecx, %ecx
cmpq 0x8(%rdx), %rax
setne %cl
movq 0x118(%rdi,%rcx,8), %rax
retq
cmpb $0x1c, (%rcx)
jne 0xcf599
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xcf593
cmpq %rax, 0x8(%rdx)
je 0xcf54d
movq 0x18(%rdx), %rdx
jmp 0xcf582
movq 0x10(%rcx), %rcx
jmp 0xcf579
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xcf54d
xorl %edx, %edx
jmp 0xcf551
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_sqr_tt
static s7_pointer fx_sqr_tt(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    x = slot_value(let_slots(sc->envir));
                    if (is_float(x)) return(make_real(sc, real(x) * real(x)));
                    return(fx_sqr_1(sc, x));
                }

// Assembly:
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rsi
cmpb $0xd, (%rsi)
jne 0xcf8ca
movsd 0x8(%rsi), %xmm0
mulsd %xmm0, %xmm0
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xcf8a9
movq %rbx, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0xa550
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 $0x10, %rsp
popq %rbx
retq
movq %rbx, %rdi
addq $0x10, %rsp
popq %rbx
jmp 0xb96c2
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_t_car_u
static s7_pointer fx_c_t_car_u(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    check_next_let_slot(sc, __func__, arg, cadr(caddr(arg)));
                    val = slot_value(next_slot(let_slots(sc->envir)));
                    set_car(sc->t2_2, (is_pair(val)) ? car(val) : g_car(sc, set_plist_1(sc, val)));
                    set_car(sc->t2_1, slot_value(let_slots(sc->envir)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xcf9b2
movq 0x8(%rax), %rax
jmp 0xcf9e8
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xcf9d3
movq 0x8(%rsi), %rax
jmp 0xcf9e8
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
movq 0x578(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
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_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_lint_let_ref_t
static s7_pointer fx_lint_let_ref_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer lt, sym, y;
                    check_let_slots(sc, __func__, arg, opt2_sym(arg));
                    lt = cdr(slot_value(let_slots(sc->envir)));
                    if (!is_let(lt))
                        return(wrong_type_argument_with_type(sc, sc->let_ref_symbol, 1, lt, a_let_string));
                    sym = opt2_sym(cdr(arg));
                    for (y = let_slots(lt); tis_slot(y); y = next_slot(y))
                        if (slot_symbol(y) == sym)
                            return(slot_value(y));
                    return(lint_let_ref_1(sc, outlet(lt), sym));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rcx
cmpb $0x1c, (%rcx)
jne 0xcfa53
movq 0x10(%rsi), %rax
movq 0x20(%rax), %rdx
movq 0x8(%rcx), %rax
testq %rax, %rax
je 0xcfa78
cmpq %rdx, 0x8(%rax)
je 0xcfa81
movq 0x18(%rax), %rax
jmp 0xcfa42
movq 0x1230(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x76ef3(%rip), %rdx     # 0x146958
movq 0x140(%rdi), %r8
movq 0x7aee5(%rip), %r9      # 0x14a958
jmp 0xa4e4
movq 0x10(%rcx), %rsi
jmp 0xba72d
movq 0x10(%rax), %rax
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_cdr_u
static s7_pointer fx_cdr_u(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_next_let_slot(sc, __func__, arg, cadr(arg));
                    val = slot_value(next_slot(let_slots(sc->envir)));
                    return((is_pair(val)) ? cdr(val) : g_cdr(sc, set_plist_1(sc, val)));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xcfafc
movq 0x10(%rax), %rax
retq
movq 0x700(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rdi), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xcfb1c
movq 0x10(%rsi), %rax
retq
movq 0xda0(%rdi), %rdx
movl $0x1, %r8d
jmp 0x95069
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_car_u
static s7_pointer fx_car_u(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_next_let_slot(sc, __func__, arg, cadr(arg));
                    val = slot_value(next_slot(let_slots(sc->envir)));
                    return((is_pair(val)) ? car(val) : g_car(sc, set_plist_1(sc, val)));
                }

// Assembly:
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xcfb48
movq 0x8(%rax), %rax
retq
movq 0x700(%rdi), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rdi), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xcfb68
movq 0x8(%rsi), %rax
retq
movq 0xd20(%rdi), %rdx
movl $0x1, %r8d
jmp 0x95069
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_us
static s7_pointer fx_num_eq_us(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    check_next_let_slot(sc, __func__, arg, cadr(arg));
                    x = slot_value(next_slot(let_slots(sc->envir)));
                    y = lookup(sc, opt2_sym(cdr(arg)));
                    if ((is_t_integer(x)) && (is_t_integer(y)))
                        return(make_boolean(sc, integer(x) == integer(y)));
                    return(num_eq_p_pp(sc, x, y));
                }

// Assembly:
movq %rsi, %rax
movq 0x8(%rdi), %rcx
movq 0x8(%rcx), %rdx
movq 0x18(%rcx), %r8
movq 0x18(%rdx), %rdx
movq 0x10(%rdx), %rsi
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq 0x20(%rax), %rdx
cmpq %rdx, %r8
je 0xcfbdb
jle 0xcfbd6
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %r8
cmpq %r8, %rdx
jl 0xcfbc9
cmpq %rdx, %r8
jne 0xcfc0b
movq 0x18(%rax), %rdx
movq 0x10(%rdx), %rdx
cmpb $0xb, (%rsi)
jne 0x895ed
cmpb $0xb, (%rdx)
jne 0x895ed
movq 0x8(%rsi), %rax
xorl %ecx, %ecx
cmpq 0x8(%rdx), %rax
setne %cl
movq 0x118(%rdi,%rcx,8), %rax
retq
cmpb $0x1c, (%rcx)
jne 0xcfc2b
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
je 0xcfc25
cmpq %rax, 0x8(%rdx)
je 0xcfbdf
movq 0x18(%rdx), %rdx
jmp 0xcfc14
movq 0x10(%rcx), %rcx
jmp 0xcfc0b
movq 0x10(%rax), %rdx
cmpb $0x20, (%rdx)
je 0xcfbdf
xorl %edx, %edx
jmp 0xcfbe3
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_add_u_car_t
static s7_pointer fx_add_u_car_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val1, val2;
                    check_let_slots(sc, __func__, arg, opt2_sym(cdr(arg)));
                    check_next_let_slot(sc, __func__, arg, cadr(arg));
                    val2 = slot_value(let_slots(sc->envir));
                    val2 = (is_pair(val2)) ? car(val2) : g_car(sc, set_plist_1(sc, val2));
                    val1 = slot_value(next_slot(let_slots(sc->envir)));
                    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 %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xcfc91
movq 0x8(%rax), %rdx
jmp 0xcfcca
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xcfcb2
movq 0x8(%rsi), %rdx
jmp 0xcfcca
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
movq %rax, %rdx
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rsi
cmpb $0xb, (%rsi)
jne 0xcfd02
cmpb $0xb, (%rdx)
jne 0xcfd02
movq 0x8(%rdx), %r14
addq 0x8(%rsi), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xcfd11
leaq 0x76c54(%rip), %rax     # 0x146950
movq (%rax,%r14,8), %rax
jmp 0xcfd4a
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x869cc
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xcfd30
movq %rbx, %rdi
callq 0xa550
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_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_add_u1
static s7_pointer fx_add_u1(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    check_next_let_slot(sc, __func__, arg, cadr(arg));
                    x = slot_value(next_slot(let_slots(sc->envir)));
                    if (is_t_integer(x))
                        return(make_integer(sc, integer(x) + 1));
                    return(g_add_x1_1(sc, x, cdr(arg)));
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0xb, (%rax)
jne 0xcfe1f
movq 0x8(%rax), %rax
leaq 0x1(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xcfe35
leaq 0x76b38(%rip), %rcx     # 0x146950
movq 0x8(%rcx,%rax,8), %rax
jmp 0xcfe6e
movq 0x10(%rsi), %rdx
movq %rbx, %rdi
movq %rax, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xb9ddd
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xcfe54
movq %rbx, %rdi
callq 0xa550
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_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_subtract_u1
static s7_pointer fx_subtract_u1(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x;
                    check_next_let_slot(sc, __func__, arg, cadr(arg));
                    x = slot_value(next_slot(let_slots(sc->envir)));
                    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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rsi
cmpb $0xb, (%rsi)
jne 0xcfeb1
movq 0x8(%rsi), %rax
leaq -0x1(%rax), %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0xcfec0
leaq 0x76aa6(%rip), %rcx     # 0x146950
movq -0x8(%rcx,%rax,8), %rax
jmp 0xcfef9
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xba184
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0xcfedf
movq %rbx, %rdi
callq 0xa550
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_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opstq
static s7_pointer fx_c_opstq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    set_car(sc->t2_1, lookup(sc, cadr(largs)));
                    check_let_slots(sc, __func__, arg, caddr(largs));
                    set_car(sc->t2_2, slot_value(let_slots(sc->envir)));
                    set_car(sc->t1_1, c_call(largs)(sc, sc->t2_1));
                    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 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xd003a
jle 0xd0035
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xd0028
cmpq %rsi, %rdi
jne 0xd0093
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x8(%rbx), %rcx
movq 0x8(%rcx), %rcx
movq 0x10(%rcx), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
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
cmpb $0x1c, (%rdx)
jne 0xd00b3
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xd00ad
cmpq %rcx, 0x8(%rsi)
je 0xd003e
movq 0x18(%rsi), %rsi
jmp 0xd009c
movq 0x10(%rdx), %rdx
jmp 0xd0093
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xd003e
xorl %ecx, %ecx
jmp 0xd0042
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opstq_c
static s7_pointer fx_c_opstq_c(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    check_let_slots(sc, __func__, arg, caddr(largs));
                    set_car(sc->t2_1, lookup(sc, cadr(largs)));
                    set_car(sc->t2_2, slot_value(let_slots(sc->envir)));
                    set_car(sc->t2_1, c_call(largs)(sc, sc->t2_1));
                    set_car(sc->t2_2, caddr(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 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rdi), %rdx
movq 0x18(%rdx), %rdi
movq 0x20(%rcx), %rsi
cmpq %rsi, %rdi
je 0xd016f
jle 0xd016a
movq 0x10(%rdx), %rdx
movq 0x18(%rdx), %rdi
cmpq %rdi, %rsi
jl 0xd015d
cmpq %rsi, %rdi
jne 0xd01df
movq 0x18(%rcx), %rsi
movq 0x10(%rsi), %rcx
movq 0x570(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x8(%rbx), %rcx
movq 0x8(%rcx), %rcx
movq 0x10(%rcx), %rcx
movq 0x578(%rbx), %rdx
movq %rcx, 0x8(%rdx)
movq 0x570(%rbx), %rsi
movq %rbx, %rdi
callq *0x20(%rax)
movq 0x570(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%r14), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x578(%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
cmpb $0x1c, (%rdx)
jne 0xd01ff
movq 0x8(%rdx), %rsi
testq %rsi, %rsi
je 0xd01f9
cmpq %rcx, 0x8(%rsi)
je 0xd0173
movq 0x18(%rsi), %rsi
jmp 0xd01e8
movq 0x10(%rdx), %rdx
jmp 0xd01df
movq 0x10(%rcx), %rsi
cmpb $0x20, (%rsi)
je 0xd0173
xorl %ecx, %ecx
jmp 0xd0177
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_car_t
static s7_pointer fx_is_pair_car_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    check_let_slots(sc, __func__, arg, cadadr(arg));
                    p = slot_value(let_slots(sc->envir));
                    if (is_pair(p))
                        return(make_boolean(sc, is_pair(car(p))));
                    return(g_is_pair(sc, set_plist_1(sc, g_car(sc, set_plist_1(sc, p)))));
                }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd02fb
movq 0x8(%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), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xd031c
movq 0x8(%rsi), %rax
jmp 0xd0338
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5e103
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_cdr_t
static s7_pointer fx_is_pair_cdr_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    check_let_slots(sc, __func__, arg, cadadr(arg));
                    p = slot_value(let_slots(sc->envir));
                    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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd0377
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), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xd0398
movq 0x10(%rsi), %rax
jmp 0xd03b4
movq 0xda0(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5e103
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_cadr_t
static s7_pointer fx_is_pair_cadr_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    check_let_slots(sc, __func__, arg, cadadr(arg));
                    p = slot_value(let_slots(sc->envir));
                    if (is_pair(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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd03f7
movq 0x10(%rax), %rax
movq 0x8(%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 0x7447b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5e103
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_symbol_cadr_t
static s7_pointer fx_is_symbol_cadr_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    check_let_slots(sc, __func__, arg, cadadr(arg));
                    p = slot_value(let_slots(sc->envir));
                    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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd0460
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0xd0460
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 0x7447b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5c790
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_pair_cddr_t
static s7_pointer fx_is_pair_cddr_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    check_let_slots(sc, __func__, arg, cadadr(arg));
                    p = slot_value(let_slots(sc->envir));
                    if (is_pair(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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd04c4
movq 0x10(%rax), %rax
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 0x7451b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5e103
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_null_cdr_t
static s7_pointer fx_is_null_cdr_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    check_let_slots(sc, __func__, arg, cadadr(arg));
                    p = slot_value(let_slots(sc->envir));
                    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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd0528
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), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xd0549
movq 0x10(%rsi), %rax
jmp 0xd0565
movq 0xda0(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5eccc
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_null_cddr_t
static s7_pointer fx_is_null_cddr_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer p;
                    check_let_slots(sc, __func__, arg, cadadr(arg));
                    p = slot_value(let_slots(sc->envir));
                    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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd05b1
movq 0x10(%rax), %rcx
cmpb $0x1, (%rcx)
jne 0xd05b1
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 0x7451b
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
jmp 0x5eccc
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_is_type_car_t
static s7_pointer fx_is_type_car_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_let_slots(sc, __func__, arg, cadadr(arg));
                    val = slot_value(let_slots(sc->envir));
                    if (is_pair(val))
                        return(make_boolean(sc, (uint8_t)(opt3_byte(cdr(arg))) == type(car(val))));

                    if (has_active_methods(sc, val))
                    {
                        s7_pointer func;
                        func = find_method(sc, val, sc->car_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->car_symbol, 1, val, T_PAIR));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %r15
cmpb $0x1, (%r15)
jne 0xd0686
movq 0x10(%r14), %rax
movb 0x28(%rax), %al
movq 0x8(%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 0xd0717
cmpb $0x1, 0x24c(%rbx)
jne 0xd0717
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movq %r15, %rsi
callq 0x89ff
cmpq 0x128(%rbx), %rax
je 0xd0717
movq %rax, %r12
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r13
cmpq 0x98(%rbx), %rax
ja 0xd06de
movq %rbx, %rdi
callq 0xa550
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 0xaee6
movb (%rax), %al
movq 0x10(%r14), %rcx
xorl %edx, %edx
cmpb 0x28(%rcx), %al
jmp 0xd0671
movq 0xd20(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x7622f(%rip), %rdx     # 0x146958
movq 0x140(%rbx), %r8
movq 0x7a331(%rip), %r9      # 0x14aa68
movq %rbx, %rdi
movq %r15, %rcx
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0xa4e4
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_car_t
static s7_pointer fx_c_car_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_let_slots(sc, __func__, arg, opt2_sym(cdr(arg)));
                    val = slot_value(let_slots(sc->envir));
                    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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd083b
movq 0x8(%rax), %rax
jmp 0xd0871
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xd085c
movq 0x8(%rsi), %rax
jmp 0xd0871
movq 0xd20(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
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_O3/BernardTatin[P]s7sh/s7.c
// Function: fx_c_cdr_t
static s7_pointer fx_c_cdr_t(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_let_slots(sc, __func__, arg, opt2_sym(cdr(arg)));
                    val = slot_value(let_slots(sc->envir));
                    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 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
cmpb $0x1, (%rax)
jne 0xd08b4
movq 0x10(%rax), %rax
jmp 0xd08ea
movq 0x700(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x700(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x1, (%rsi)
jne 0xd08d5
movq 0x10(%rsi), %rax
jmp 0xd08ea
movq 0xda0(%rbx), %rdx
movq %rbx, %rdi
movl $0x1, %r8d
callq 0x95069
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