LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_ti
static s7_pointer fx_num_eq_ti(s7_scheme *sc, s7_pointer arg)
                {
                    s7_int y;
                    s7_pointer val, args;
                    args = cdr(arg);
                    check_let_slots(sc, __func__, arg, cadr(arg));
                    val = slot_value(let_slots(sc->envir));
                    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:
subq $0x38, %rsp
movq %rdi, 0x28(%rsp)
movq %rsi, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x1616f2
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
cmpq 0x18(%rsp), %rax
jne 0x1616d7
movq 0x28(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, (%rsp)
jmp 0x1616e7
movq 0x28(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, (%rsp)
movq (%rsp), %rax
movq %rax, 0x30(%rsp)
jmp 0x161710
movq 0x28(%rsp), %rdi
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0x18(%rsp), %rcx
callq 0x111d70
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
addq $0x38, %rsp
retq
nopw (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x1619d5
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x1619fe
movq 0x20(%rsp), %rax
movq %rax, (%rsp)
movq 0x20(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0x35ea0
movq (%rsp), %rdi
movq %rax, %rsi
callq 0x8e3b0
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rcx
movq 0x20(%rsp), %rax
movq 0x578(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x20(%rsp), %rax
movq 0x570(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x18(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x20(%rsp), %rdi
movq 0x20(%rsp), %rcx
movq 0x570(%rcx), %rsi
callq *%rax
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
movq 0x58(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1c, %eax
je 0x161b9a
movq 0x58(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x58(%rsp), %rax
movq 0x1230(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq $0x1, 0x30(%rsp)
movq 0x30(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x161ae8
movq 0x30(%rsp), %rcx
leaq 0xb49a2(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, (%rsp)
jmp 0x161b5e
jmp 0x161aea
movq 0x58(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x161b0e
movq 0x58(%rsp), %rdi
callq 0xc670
movq 0x58(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq $0xb, (%rax)
movq 0x30(%rsp), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x20(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, (%rsp)
movq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdi
movq (%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rdx
movq 0x48(%rsp), %rcx
movq 0x58(%rsp), %rax
movq 0x140(%rax), %r8
movq 0xb88fa(%rip), %r9      # 0x21a488
callq 0xc560
movq %rax, 0x60(%rsp)
jmp 0x161c11
movq 0x50(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, 0x40(%rsp)
movq 0x48(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x38(%rsp)
cmpq $0x0, 0x38(%rsp)
je 0x161bf4
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
cmpq 0x40(%rsp), %rax
jne 0x161be2
movq 0x38(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x60(%rsp)
jmp 0x161c11
jmp 0x161be4
movq 0x38(%rsp), %rax
movq 0x18(%rax), %rax
movq %rax, 0x38(%rsp)
jmp 0x161bba
movq 0x58(%rsp), %rdi
movq 0x48(%rsp), %rax
movq 0x10(%rax), %rsi
movq 0x40(%rsp), %rdx
callq 0x112000
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
addq $0x68, %rsp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x38, %rsp
movq %rdi, 0x28(%rsp)
movq %rsi, 0x20(%rsp)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x28(%rsp), %rdi
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rsi
callq 0xde990
movq %rax, 0x10(%rsp)
movq 0x18(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x161f02
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x161f02
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rsp), %rcx
cmpq 0x8(%rcx), %rax
jne 0x161ee5
movq 0x28(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x161ef6
movq 0x28(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x30(%rsp)
jmp 0x161f1b
movq 0x28(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdx
callq 0xba5c0
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
addq $0x38, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_num_eq_ui
static s7_pointer fx_num_eq_ui(s7_scheme *sc, s7_pointer arg)
                {
                    s7_int y;
                    s7_pointer val, args;
                    args = cdr(arg);
                    check_next_let_slot(sc, __func__, arg, cadr(arg));
                    val = slot_value(next_slot(let_slots(sc->envir)));
                    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:
subq $0x38, %rsp
movq %rdi, 0x28(%rsp)
movq %rsi, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x161fc6
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
cmpq 0x18(%rsp), %rax
jne 0x161fab
movq 0x28(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, (%rsp)
jmp 0x161fbb
movq 0x28(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, (%rsp)
movq (%rsp), %rax
movq %rax, 0x30(%rsp)
jmp 0x161fe4
movq 0x28(%rsp), %rdi
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0x18(%rsp), %rcx
callq 0x111d70
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
addq $0x38, %rsp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
movq 0x58(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162031
movq 0x40(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
jmp 0x16205c
movq 0x58(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x58(%rsp), %rdi
movq 0x40(%rsp), %rsi
callq 0x35ea0
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x8e3b0
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x58(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x16216e
movq 0x40(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x16216e
movq 0x48(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x40(%rsp), %rcx
addq 0x8(%rcx), %rax
movq %rax, 0x38(%rsp)
movq 0x38(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x1620e1
movq 0x38(%rsp), %rcx
leaq 0xb43aa(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x8(%rsp)
jmp 0x162158
jmp 0x1620e3
movq 0x58(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x162107
movq 0x58(%rsp), %rdi
callq 0xc670
movq 0x58(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq $0xb, (%rax)
movq 0x38(%rsp), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
movq %rax, 0x60(%rsp)
jmp 0x162187
movq 0x58(%rsp), %rdi
movq 0x48(%rsp), %rsi
movq 0x40(%rsp), %rdx
callq 0xb2ed0
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
addq $0x68, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x16234d
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
addq $0x1, %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x1622c2
movq 0x20(%rsp), %rcx
leaq 0xb41c8(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, (%rsp)
jmp 0x162338
jmp 0x1622c4
movq 0x38(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x38(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x1622e8
movq 0x38(%rsp), %rdi
callq 0xc670
movq 0x38(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq $0xb, (%rax)
movq 0x20(%rsp), %rcx
movq 0x10(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, (%rsp)
movq (%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x16236a
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rdx
callq 0x110740
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x16247d
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
subq $0x1, %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0x1623f2
movq 0x20(%rsp), %rcx
leaq 0xb4098(%rip), %rax     # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, (%rsp)
jmp 0x162468
jmp 0x1623f4
movq 0x38(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x38(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0x162418
movq 0x38(%rsp), %rdi
callq 0xc670
movq 0x38(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq $0xb, (%rax)
movq 0x20(%rsp), %rcx
movq 0x10(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, (%rsp)
movq (%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x162491
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x111230
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_c_optq_c
static s7_pointer fx_c_optq_c(s7_scheme *sc, s7_pointer arg)
                {
                    check_let_slots(sc, __func__, arg, opt1_con(cdr(arg)));
                    set_car(sc->t1_1, slot_value(let_slots(sc->envir)));
                    set_car(sc->t2_1, c_call(cadr(arg))(sc, sc->t1_1));
                    set_car(sc->t2_2, opt2_con(cdr(arg)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x10(%rsp), %rax
movq 0x568(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x20(%rax), %rax
movq 0x10(%rsp), %rdi
movq 0x10(%rsp), %rcx
movq 0x568(%rcx), %rsi
callq *%rax
movq %rax, %rcx
movq 0x10(%rsp), %rax
movq 0x570(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rcx
movq 0x10(%rsp), %rax
movq 0x578(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x8(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x10(%rsp), %rdi
movq 0x10(%rsp), %rcx
movq 0x570(%rcx), %rsi
callq *%rax
addq $0x18, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162a72
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162a55
movq 0x38(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x20(%rsp)
jmp 0x162a66
movq 0x38(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x162acb
movq 0x38(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x35ea0
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x8e3b0
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x35ea0
movq 0x18(%rsp), %rdi
movq %rax, %rsi
callq 0x647e0
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162b52
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162b35
movq 0x38(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x20(%rsp)
jmp 0x162b46
movq 0x38(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x162bab
movq 0x38(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x35ea0
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x8e420
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x35ea0
movq 0x18(%rsp), %rdi
movq %rax, %rsi
callq 0x647e0
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162c36
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162c19
movq 0x38(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x20(%rsp)
jmp 0x162c2a
movq 0x38(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x162c8f
movq 0x38(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x35ea0
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x8e670
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x35ea0
movq 0x18(%rsp), %rdi
movq %rax, %rsi
callq 0x647e0
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162d27
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162d27
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0xa, %eax
jne 0x162d0a
movq 0x38(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x20(%rsp)
jmp 0x162d1b
movq 0x38(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x162d80
movq 0x38(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x35ea0
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x8e670
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x35ea0
movq 0x18(%rsp), %rdi
movq %rax, %rsi
callq 0x61eb0
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopw (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162e06
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162de9
movq 0x38(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x20(%rsp)
jmp 0x162dfa
movq 0x38(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x162e5f
movq 0x38(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x35ea0
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x8e7f0
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x35ea0
movq 0x18(%rsp), %rdi
movq %rax, %rsi
callq 0x647e0
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162ee8
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x38(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x162ecb
movq 0x38(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x20(%rsp)
jmp 0x162edc
movq 0x38(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x162f41
movq 0x38(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x35ea0
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x8e420
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x35ea0
movq 0x18(%rsp), %rdi
movq %rax, %rsi
callq 0x65b00
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162fdd
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x162fdd
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x38(%rsp), %rcx
cmpq 0x110(%rcx), %rax
jne 0x162fc0
movq 0x38(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x20(%rsp)
jmp 0x162fd1
movq 0x38(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x163036
movq 0x38(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x35ea0
movq 0x8(%rsp), %rdi
movq %rax, %rsi
callq 0x8e7f0
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x35ea0
movq 0x18(%rsp), %rdi
movq %rax, %rsi
callq 0x65b00
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x1636a1
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x1636ca
movq 0x20(%rsp), %rax
movq %rax, (%rsp)
movq 0x20(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0x35ea0
movq (%rsp), %rdi
movq %rax, %rsi
callq 0x8e3b0
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rcx
movq 0x20(%rsp), %rax
movq 0x568(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x18(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x20(%rsp), %rdi
movq 0x20(%rsp), %rcx
movq 0x568(%rcx), %rsi
callq *%rax
addq $0x28, %rsp
retq
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x163741
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x16376a
movq 0x20(%rsp), %rax
movq %rax, (%rsp)
movq 0x20(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0x35ea0
movq (%rsp), %rdi
movq %rax, %rsi
callq 0x8e420
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rcx
movq 0x20(%rsp), %rax
movq 0x568(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x18(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x20(%rsp), %rdi
movq 0x20(%rsp), %rcx
movq 0x568(%rcx), %rsi
callq *%rax
addq $0x28, %rsp
retq
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_is_eq_car_t_q
static s7_pointer fx_is_eq_car_t_q(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer lst, a;
                    a = cdr(arg);
                    check_let_slots(sc, __func__, arg, opt3_sym(a));
                    lst = slot_value(let_slots(sc->envir));
                    if (is_pair(lst))
                        return(make_boolean(sc, car(lst) == opt2_con(a)));
                    return(make_boolean(sc, s7_is_eq(g_car(sc, set_plist_1(sc, lst)), opt2_con(a))));
                }

// Assembly:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq 0x30(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x38(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x163823
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x20(%rsp), %rcx
cmpq 0x20(%rcx), %rax
jne 0x163806
movq 0x38(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x18(%rsp)
jmp 0x163817
movq 0x38(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x16388e
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x35ea0
movq 0x10(%rsp), %rdi
movq %rax, %rsi
callq 0x8e3b0
movq %rax, %rdi
movq 0x20(%rsp), %rax
movq 0x20(%rax), %rsi
callq 0x3e660
testb $0x1, %al
jne 0x163860
jmp 0x163873
movq 0x38(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x163884
movq 0x38(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_c_optq_cu
static s7_pointer fx_c_optq_cu(s7_scheme *sc, s7_pointer arg)
                {
                    check_let_slots(sc, __func__, arg, opt3_sym(cdr(arg)));
                    check_next_let_slot(sc, __func__, arg, opt2_sym(cdr(arg)));
                    set_car(sc->t1_1, slot_value(let_slots(sc->envir)));
                    set_car(sc->t3_1, c_call(cadr(arg))(sc, sc->t1_1));
                    set_car(sc->t3_2, opt1_con(cdr(arg)));
                    set_car(sc->t3_3, slot_value(next_slot(let_slots(sc->envir))));
                    return(c_call(arg)(sc, sc->t3_1));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movq %rsi, 0x8(%rsp)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x10(%rsp), %rax
movq 0x568(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x20(%rax), %rax
movq 0x10(%rsp), %rdi
movq 0x10(%rsp), %rcx
movq 0x568(%rcx), %rsi
callq *%rax
movq %rax, %rcx
movq 0x10(%rsp), %rax
movq 0x580(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x18(%rax), %rcx
movq 0x10(%rsp), %rax
movq 0x588(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x10(%rsp), %rax
movq 0x590(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x8(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x10(%rsp), %rdi
movq 0x10(%rsp), %rcx
movq 0x580(%rcx), %rsi
callq *%rax
addq $0x18, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_not_lt_ut
static s7_pointer fx_not_lt_ut(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer x, y;
                    check_let_slots(sc, __func__, arg, caddr(cadr(arg)));
                    check_next_let_slot(sc, __func__, arg, cadadr(arg));
                    y = slot_value(next_slot(let_slots(sc->envir)));
                    x = slot_value(let_slots(sc->envir));
                    if ((is_t_integer(x)) && (is_t_integer(y)))
                        return(make_boolean(sc, integer(y) >= integer(x)));
                    return(make_boolean(sc, geq_b_7pp(sc, y, x)));
                }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x28(%rsp)
movq %rsi, 0x20(%rsp)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x28(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x163b2c
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0x163b2c
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x18(%rsp), %rcx
cmpq 0x8(%rcx), %rax
jl 0x163b0f
movq 0x28(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x163b20
movq 0x28(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x30(%rsp)
jmp 0x163b71
movq 0x28(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq 0x18(%rsp), %rdx
callq 0xbc3f0
testb $0x1, %al
jne 0x163b46
jmp 0x163b58
movq 0x28(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, (%rsp)
jmp 0x163b68
movq 0x28(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, (%rsp)
movq (%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
addq $0x38, %rsp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_not_oputq
static s7_pointer fx_not_oputq(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer largs;
                    largs = cadr(arg);
                    check_let_slots(sc, __func__, arg, caddr(largs));
                    check_next_let_slot(sc, __func__, arg, cadr(largs));
                    set_car(sc->t2_1, slot_value(next_slot(let_slots(sc->envir))));
                    set_car(sc->t2_2, slot_value(let_slots(sc->envir)));
                    if (c_call(largs)(sc, sc->t2_1) == sc->F) return(sc->T);
                    return(sc->F);
                }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq %rsi, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rsp), %rax
movq 0x570(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x18(%rsp), %rax
movq 0x578(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x8(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x18(%rsp), %rdi
movq 0x18(%rsp), %rcx
movq 0x570(%rcx), %rsi
callq *%rax
movq 0x18(%rsp), %rcx
cmpq 0x120(%rcx), %rax
jne 0x163c23
movq 0x18(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, 0x20(%rsp)
jmp 0x163c34
movq 0x18(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
addq $0x28, %rsp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_c_car_u
static s7_pointer fx_c_car_u(s7_scheme *sc, s7_pointer arg)
                {
                    s7_pointer val;
                    check_next_let_slot(sc, __func__, arg, opt2_sym(cdr(arg)));
                    val = slot_value(next_slot(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:
subq $0x28, %rsp
movq %rdi, 0x20(%rsp)
movq %rsi, 0x18(%rsp)
movq 0x20(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x18(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x163d45
movq 0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x163d6e
movq 0x20(%rsp), %rax
movq %rax, (%rsp)
movq 0x20(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0x35ea0
movq (%rsp), %rdi
movq %rax, %rsi
callq 0x8e3b0
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rcx
movq 0x20(%rsp), %rax
movq 0x568(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x18(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x20(%rsp), %rdi
movq 0x20(%rsp), %rcx
movq 0x568(%rcx), %rsi
callq *%rax
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: tree_set_memq_direct
static s7_pointer tree_set_memq_direct(s7_scheme *sc, s7_pointer syms, s7_pointer tree)
    {
        s7_pointer p;
        if ((sc->safety > NO_SAFETY) &&
                (tree_is_cyclic(sc, tree)))
            s7_error(sc, sc->wrong_type_arg_symbol, wrap_string(sc, "tree-set-memq: tree is cyclic", 29));
        clear_symbol_list(sc);
        for (p = syms; is_pair(p); p = cdr(p))
            add_symbol_to_list(sc, car(p));
        return(make_boolean(sc, tree_set_memq(sc, tree)));
    }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x30(%rsp)
movq %rsi, 0x28(%rsp)
movq %rdx, 0x20(%rsp)
movq 0x30(%rsp), %rax
cmpq $0x0, 0x6a0(%rax)
jle 0x163e6a
movq 0x30(%rsp), %rdi
movq 0x20(%rsp), %rsi
callq 0x2f870
testb $0x1, %al
jne 0x163e27
jmp 0x163e6a
movq 0x30(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x30(%rsp), %rax
movq 0x1940(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x30(%rsp), %rdi
leaq 0x8baf7(%rip), %rsi     # 0x1ef945
movl $0x1d, %edx
callq 0xb880
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq %rax, %rdx
callq 0x2f940
movq 0x30(%rsp), %rdi
callq 0xdd1b0
movq 0x28(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x163eae
movq 0x30(%rsp), %rdi
movq 0x18(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0xde160
movq 0x18(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x18(%rsp)
jmp 0x163e7e
movq 0x30(%rsp), %rdi
movq 0x20(%rsp), %rsi
callq 0x15c8c0
testb $0x1, %al
jne 0x163ec3
jmp 0x163ed5
movq 0x30(%rsp), %rax
movq 0x118(%rax), %rax
movq %rax, (%rsp)
jmp 0x163ee5
movq 0x30(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, (%rsp)
movq (%rsp), %rax
addq $0x38, %rsp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_c_gt
static s7_pointer fx_c_gt(s7_scheme *sc, s7_pointer arg)
                {
                    check_let_slots(sc, __func__, arg, opt2_sym(cdr(arg)));
                    set_car(sc->t2_1, lookup_global(sc, cadr(arg)));
                    set_car(sc->t2_2, slot_value(let_slots(sc->envir)));
                    return(c_call(arg)(sc, sc->t2_1));
                }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x30(%rsp)
movq %rsi, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
andq $0x10000, %rax          # imm = 0x10000
cmpq $0x0, %rax
je 0x163ff6
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0x164056
movq 0x30(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0xde990
movq %rax, 0x20(%rsp)
cmpq $0x0, 0x20(%rsp)
je 0x164026
movq 0x20(%rsp), %rax
movq %rax, 0x8(%rsp)
jmp 0x164042
movq 0x30(%rsp), %rdi
movq 0x28(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rsi
callq 0xdead0
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rcx
movq 0x30(%rsp), %rax
movq 0x570(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x30(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rcx
movq 0x30(%rsp), %rax
movq 0x578(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rsp), %rax
movq 0x20(%rax), %rax
movq 0x30(%rsp), %rdi
movq 0x30(%rsp), %rcx
movq 0x570(%rcx), %rsi
callq *%rax
addq $0x38, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: fx_c_opgsq_t_direct
static s7_pointer fx_c_opgsq_t_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_global(sc, car(largs)), lookup(sc, opt2_sym(largs))),
                                slot_value(let_slots(sc->envir))));
                }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x60(%rsp)
movq %rsi, 0x58(%rsp)
movq 0x58(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x50(%rsp)
movq 0x58(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x20(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x58(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x28(%rax), %rax
movq %rax, 0x30(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rax
movq (%rax), %rax
andq $0x10000, %rax          # imm = 0x10000
cmpq $0x0, %rax
je 0x16432c
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x18(%rsp)
jmp 0x164384
movq 0x60(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0xde990
movq %rax, 0x48(%rsp)
cmpq $0x0, 0x48(%rsp)
je 0x164358
movq 0x48(%rsp), %rax
movq %rax, 0x10(%rsp)
jmp 0x164370
movq 0x60(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0xdead0
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x60(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x20(%rax), %rsi
callq 0xde990
movq 0x38(%rsp), %rdi
movq 0x8(%rsp), %rsi
movq %rax, %rdx
movq 0x30(%rsp), %rax
callq *%rax
movq 0x28(%rsp), %rdi
movq %rax, %rsi
movq 0x20(%rsp), %rax
movq 0x60(%rsp), %rcx
movq 0x8(%rcx), %rcx
movq 0x8(%rcx), %rcx
movq 0x10(%rcx), %rdx
callq *%rax
addq $0x68, %rsp
retq
nopw (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: ratio_lt_pi
static bool ratio_lt_pi(s7_pointer x, s7_int y)
    {
        if ((y >= 0) && (numerator(x) < 0))
            return(true);
        if ((y <= 0) && (numerator(x) > 0))
            return(false);
        if (denominator(x) < s7_int32_max)
            return(numerator(x) < (y * denominator(x)));
        return(fraction(x) < y);
    }

// Assembly:
movq %rdi, -0x10(%rsp)
movq %rsi, -0x18(%rsp)
cmpq $0x0, -0x18(%rsp)
jl 0x164488
movq -0x10(%rsp), %rax
cmpq $0x0, 0x8(%rax)
jge 0x164488
movb $0x1, -0x1(%rsp)
jmp 0x16451a
cmpq $0x0, -0x18(%rsp)
jg 0x1644a3
movq -0x10(%rsp), %rax
cmpq $0x0, 0x8(%rax)
jle 0x1644a3
movb $0x0, -0x1(%rsp)
jmp 0x16451a
movq -0x10(%rsp), %rax
movq 0x10(%rax), %rax
movslq 0xc0a81(%rip), %rcx     # 0x224f34
cmpq %rcx, %rax
jge 0x1644de
movq -0x10(%rsp), %rax
movq 0x8(%rax), %rax
movq -0x18(%rsp), %rcx
movq -0x10(%rsp), %rdx
imulq 0x10(%rdx), %rcx
cmpq %rcx, %rax
setl %al
andb $0x1, %al
movb %al, -0x1(%rsp)
jmp 0x16451a
movq -0x10(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rax), %rax
movq %rcx, -0x20(%rsp)
fildll -0x20(%rsp)
movq %rax, -0x28(%rsp)
fildll -0x28(%rsp)
fdivrp %st, %st(1)
movq -0x18(%rsp), %rax
movq %rax, -0x30(%rsp)
fildll -0x30(%rsp)
fucompi %st(1), %st
fstp %st(0)
seta %al
andb $0x1, %al
movb %al, -0x1(%rsp)
movb -0x1(%rsp), %al
andb $0x1, %al
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: s7_is_negative
static bool s7_is_negative(s7_pointer obj)
    {
        switch (type(obj))
        {
            case T_INTEGER:     return(integer(obj) < 0);
            case T_RATIO:       return(numerator(obj) < 0);
#if WITH_GMP
            case T_BIG_INTEGER: return(mpz_cmp_ui(big_integer(obj), 0) < 0);
            case T_BIG_RATIO:   return(mpq_cmp_ui(big_ratio(obj), 0, 1) < 0);
            case T_BIG_REAL:    return(mpfr_cmp_ui(big_real(obj), 0) < 0);
#endif
            default:            return(real(obj) < 0);
        }
    }

// Assembly:
movq %rdi, -0x10(%rsp)
movq -0x10(%rsp), %rax
movzbl (%rax), %eax
movl %eax, -0x14(%rsp)
subl $0xb, %eax
je 0x164553
jmp 0x164548
movl -0x14(%rsp), %eax
subl $0xc, %eax
je 0x164568
jmp 0x16457d
movq -0x10(%rsp), %rax
cmpq $0x0, 0x8(%rax)
setl %al
andb $0x1, %al
movb %al, -0x1(%rsp)
jmp 0x164593
movq -0x10(%rsp), %rax
cmpq $0x0, 0x8(%rax)
setl %al
andb $0x1, %al
movb %al, -0x1(%rsp)
jmp 0x164593
movq -0x10(%rsp), %rax
xorps %xmm0, %xmm0
ucomisd 0x8(%rax), %xmm0
seta %al
andb $0x1, %al
movb %al, -0x1(%rsp)
movb -0x1(%rsp), %al
andb $0x1, %al
retq
nopw (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: tree_has_definers_or_binders
static bool tree_has_definers_or_binders(s7_scheme *sc, s7_pointer tree)
                {
                    s7_pointer p;
                    for (p = tree; is_pair(p); p = cdr(p))
                        if (tree_has_definers_or_binders(sc, car(p)))
                            return(true);
                    return((is_symbol(tree)) &&
                            (is_definer_or_binder(tree)));
                }

// Assembly:
subq $0x28, %rsp
movq %rdi, 0x18(%rsp)
movq %rsi, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x8(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0x1646c7
movq 0x18(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0x8(%rax), %rsi
callq 0x164670
testb $0x1, %al
jne 0x1646ae
jmp 0x1646b5
movb $0x1, 0x27(%rsp)
jmp 0x1646fa
jmp 0x1646b7
movq 0x8(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x8(%rsp)
jmp 0x164688
movq 0x10(%rsp), %rax
movzbl (%rax), %ecx
xorl %eax, %eax
cmpl $0xa, %ecx
movb %al, 0x7(%rsp)
jne 0x1646f0
movq 0x10(%rsp), %rax
movzwl 0x6(%rax), %eax
andl $0xc, %eax
cmpl $0x0, %eax
setne %al
movb %al, 0x7(%rsp)
movb 0x7(%rsp), %al
andb $0x1, %al
movb %al, 0x27(%rsp)
movb 0x27(%rsp), %al
andb $0x1, %al
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)