LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: truncate_i_7d
static s7_int truncate_i_7d(s7_scheme *sc, s7_double x)
    {
        if (is_NaN(x))
            simple_out_of_range(sc, sc->truncate_symbol, wrap_real(sc, x), its_nan_string);
        if (is_inf(x))
            simple_out_of_range(sc, sc->truncate_symbol, wrap_real(sc, x), its_infinite_string);
        if (x > 0.0)
        {
            if (x > s7_int_max)
                simple_out_of_range(sc, sc->truncate_symbol, wrap_real(sc, x), its_too_large_string);
            return((s7_int)floor(x));
        }
        if (x < s7_int_min)
            simple_out_of_range(sc, sc->truncate_symbol, wrap_real(sc, x), its_too_large_string);
        return((s7_int)ceil(x));
    }

// Assembly:
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
ucomisd %xmm0, %xmm0
movsd %xmm0, 0x8(%rsp)
jp 0x6bc7f
movq %xmm0, %rax
btrq $0x3f, %rax
movabsq $0x7ff0000000000000, %rcx # imm = 0x7FF0000000000000
cmpq %rcx, %rax
jne 0x6bbca
movq 0x1620(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x1f18(%rbx), %rax
movsd %xmm0, 0x8(%rax)
movq 0x1f18(%rbx), %rdx
movq 0xb8a8c(%rip), %rcx     # 0x124648
movq %rbx, %rdi
callq 0x35b47
movsd 0x8(%rsp), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x6bc25
cmpb $0x0, 0xae02d(%rip)     # 0x119c08
je 0x6bbe5
movsd 0x6643b(%rip), %xmm1    # 0xd2020
ucomisd %xmm1, %xmm0
jbe 0x6bc1e
movq 0x1620(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x1f18(%rbx), %rax
movsd %xmm0, 0x8(%rax)
movq 0x1f18(%rbx), %rdx
movq 0xade30(%rip), %rcx     # 0x119a40
movq %rbx, %rdi
callq 0x35b47
movsd 0x8(%rsp), %xmm0
callq 0x85f0
jmp 0x6bc74
cmpb $0x0, 0xaddfc(%rip)     # 0x119a28
je 0x6bc36
movsd 0x663f2(%rip), %xmm1    # 0xd2028
ucomisd %xmm0, %xmm1
jbe 0x6bc6f
movq 0x1620(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x1f18(%rbx), %rax
movsd %xmm0, 0x8(%rax)
movq 0x1f18(%rbx), %rdx
movq 0xadddf(%rip), %rcx     # 0x119a40
movq %rbx, %rdi
callq 0x35b47
movsd 0x8(%rsp), %xmm0
callq 0x86c0
cvttsd2si %xmm0, %rax
addq $0x10, %rsp
popq %rbx
retq
movq 0x1620(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x1f18(%rbx), %rax
movsd %xmm0, 0x8(%rax)
movq 0x1f18(%rbx), %rdx
movq 0xb899c(%rip), %rcx     # 0x124640
movq %rbx, %rdi
callq 0x35b47
movsd 0x8(%rsp), %xmm0
jmp 0x6bb7e
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: ceiling_i_7d
static s7_int ceiling_i_7d(s7_scheme *sc, s7_double x)
    {
        if (is_NaN(x))
            simple_out_of_range(sc, sc->ceiling_symbol, wrap_real(sc, x), its_nan_string);
        if ((is_inf(x)) ||
                (x > REAL_TO_INT_LIMIT) ||
                (x < -REAL_TO_INT_LIMIT))
            simple_out_of_range(sc, sc->ceiling_symbol, wrap_real(sc, x), its_too_large_string);
        return((s7_int)ceil(x));
    }

// Assembly:
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
ucomisd %xmm0, %xmm0
jp 0x6bd44
movq %xmm0, %rax
btrq $0x3f, %rax
movabsq $0x7ff0000000000000, %rcx # imm = 0x7FF0000000000000
cmpq %rcx, %rax
sete %al
movsd 0x663f1(%rip), %xmm1    # 0xd20d8
ucomisd %xmm0, %xmm1
ja 0x6bcfb
ucomisd 0x663db(%rip), %xmm0    # 0xd20d0
ja 0x6bcfb
testb %al, %al
je 0x6bd34
movq 0xda8(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x1f18(%rbx), %rax
movsd %xmm0, 0x8(%rax)
movq 0x1f18(%rbx), %rdx
movq 0xadd20(%rip), %rcx     # 0x119a40
movq %rbx, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0x35b47
movsd 0x8(%rsp), %xmm0
callq 0x86c0
cvttsd2si %xmm0, %rax
addq $0x10, %rsp
popq %rbx
retq
movq 0xda8(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x1f18(%rbx), %rax
movsd %xmm0, 0x8(%rax)
movq 0x1f18(%rbx), %rdx
movq 0xb88d7(%rip), %rcx     # 0x124640
movq %rbx, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0x35b47
movsd 0x8(%rsp), %xmm0
jmp 0x6bcc5
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: vector_append_p_pp
static s7_pointer vector_append_p_pp(s7_scheme *sc, s7_pointer p1, s7_pointer p2)
                {
                    s7_pointer val;
                    sc->temp7 = list_2(sc, p1, p2);
                    val = g_vector_append(sc, sc->temp7);
                    sc->temp7 = sc->nil;
                    return(val);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
movq 0x90(%rdi), %rax
movq 0x110(%rdi), %r12
cmpq 0x98(%rdi), %rax
ja 0x6cbde
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movl $0x200001, %ecx         # imm = 0x200001
movq %rcx, (%rax)
movq %r15, 0x8(%rax)
movq %r12, 0x10(%rax)
movq 0x90(%rbx), %rdx
leaq -0x8(%rdx), %rsi
movq %rsi, 0x90(%rbx)
movq -0x8(%rdx), %rsi
movq %rcx, (%rsi)
movq %r14, 0x8(%rsi)
movq %rax, 0x10(%rsi)
movq %rsi, 0x528(%rbx)
movq %rbx, %rdi
callq 0x6225f
movq 0x110(%rbx), %rcx
movq %rcx, 0x528(%rbx)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: vector_to_list_p_p
static s7_pointer vector_to_list_p_p(s7_scheme *sc, s7_pointer p)
                {
                    s7_pointer val;
                    sc->temp7 = list_1(sc, p);
                    val = g_vector_to_list(sc, sc->temp7);
                    sc->temp7 = sc->nil;
                    return(val);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
movq 0x90(%rdi), %rax
movq 0x110(%rdi), %r15
cmpq 0x98(%rdi), %rax
ja 0x6ce60
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rsi
movq $0x200001, (%rsi)       # imm = 0x200001
movq %r14, 0x8(%rsi)
movq %r15, 0x10(%rsi)
movq %rsi, 0x528(%rbx)
movq %rbx, %rdi
callq 0x625e6
movq 0x110(%rbx), %rcx
movq %rcx, 0x528(%rbx)
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: denominator_i_7p
static s7_int denominator_i_7p(s7_scheme *sc, s7_pointer p)
    {
        if (!is_rational(p))
            return(integer(method_or_bust_with_type_one_arg(sc, p, sc->denominator_symbol, list_1(sc, p), a_rational_string)));
        if (is_t_integer(p))
            return(1);
        return(denominator(p));
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movzbl (%rsi), %eax
leaq 0xaca14(%rip), %rcx     # 0x1199f0
cmpb $0x0, (%rax,%rcx)
je 0x6cfeb
cmpb $0xb, %al
jne 0x6d057
pushq $0x1
popq %rax
jmp 0x6d05e
movq %rdi, %r14
movq 0xe70(%rdi), %r15
movq 0x90(%rdi), %rax
movq 0x110(%rdi), %r12
cmpq 0x98(%rdi), %rax
ja 0x6d01b
movq %r14, %rdi
callq 0x9c27
movq 0x90(%r14), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r14)
movq -0x8(%rax), %rcx
movq $0x200001, (%rcx)       # imm = 0x200001
movq %rbx, 0x8(%rcx)
movq %r12, 0x10(%rcx)
movq 0xb75b8(%rip), %r8      # 0x1245f8
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0xc736d
movq %rax, %rbx
addq $0x8, %rbx
jmp 0x6d05b
addq $0x10, %rbx
movq (%rbx), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: tree_leaves_i_7p
static s7_int tree_leaves_i_7p(s7_scheme *sc, s7_pointer p)
    {
        if ((sc->safety > NO_SAFETY) &&
                (tree_is_cyclic(sc, p)))
            s7_error(sc, sc->wrong_type_arg_symbol, wrap_string(sc, "tree-leaves: tree is cyclic", 27));
        return(tree_len(sc, p));
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
cmpq $0x0, 0x6a0(%rdi)
jle 0x6d1e1
movq %r14, %rdi
movq %rbx, %rsi
callq 0x2cd63
testb %al, %al
je 0x6d1e1
movq 0x1940(%r14), %rsi
movq 0x820(%r14), %rax
movslq 0x7dc(%r14), %rcx
movq (%rax,%rcx,8), %rdx
leal 0x1(%rcx), %eax
andl $0x7, %eax
movl %eax, 0x7dc(%r14)
leaq 0x7ae2b(%rip), %rax     # 0xe7ff8
movq %rax, 0x10(%rdx)
movq $0x1b, 0x8(%rdx)
movq %r14, %rdi
callq 0x2cdc0
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x7c5fc
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: is_port_closed_b_7p
static bool is_port_closed_b_7p(s7_scheme *sc, s7_pointer x)
    {
        if ((is_input_port(x)) || (is_output_port(x)))
            return(port_is_closed(x));
        if ((x == sc->output_port) && (x == sc->F))
            return(false);
        simple_wrong_type_argument_with_type(sc, sc->is_port_closed_symbol, x, wrap_string(sc, "a port", 6));
        return(false);
    }

// Assembly:
movq %rsi, %rdx
movb (%rsi), %al
andb $-0x2, %al
cmpb $0x22, %al
jne 0x6d316
movq 0x8(%rdx), %rax
movb 0x2(%rax), %al
retq
cmpq %rdx, 0x188(%rdi)
jne 0x6d328
cmpq %rdx, 0x120(%rdi)
je 0x6d379
pushq %rax
movq 0x1148(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0x820(%rdi), %rax
movslq 0x7dc(%rdi), %r9
movq (%rax,%r9,8), %r8
leal 0x1(%r9), %eax
andl $0x7, %eax
movl %eax, 0x7dc(%rdi)
leaq 0x7a296(%rip), %rax     # 0xe75f7
movq %rax, 0x10(%r8)
movq $0x6, 0x8(%r8)
callq 0xd456
xorl %eax, %eax
addq $0x8, %rsp
retq
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: is_char_whitespace_b_7p
static bool is_char_whitespace_b_7p(s7_scheme *sc, s7_pointer c)
    {
        if (s7_is_character(c))
            return(is_char_whitespace(c));
        if (has_active_methods(sc, c))
        {
            s7_pointer f;
            f = find_method(sc, find_let(sc, c), sc->is_char_whitespace_symbol);
            if (f != sc->undefined)
                return(is_true(sc, s7_apply_function(sc, f, cons(sc, c, sc->nil))));
        }
        simple_wrong_type_argument(sc, sc->is_char_whitespace_symbol, c, T_CHARACTER);
        return(false);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
cmpb $0x8, (%rsi)
jne 0x6d48d
movb 0x12(%r14), %al
jmp 0x6d552
movq %rdi, %rbx
testb $0x40, 0x3(%r14)
je 0x6d52c
cmpb $0x1, 0x24c(%rbx)
jne 0x6d52c
movq %rbx, %rdi
movq %r14, %rsi
callq 0x88f3
movq 0x1030(%rbx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
callq 0x888f
cmpq 0x128(%rbx), %rax
je 0x6d52c
movq %rax, %r15
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r12
cmpq 0x98(%rbx), %rax
ja 0x6d4f7
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rdx
movq $0x200001, (%rdx)       # imm = 0x200001
movq %r14, 0x8(%rdx)
movq %r12, 0x10(%rdx)
movq %rbx, %rdi
movq %r15, %rsi
callq 0xa34c
cmpq 0x120(%rbx), %rax
setne %al
jmp 0x6d552
movq 0x1030(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rbx), %rcx
movq 0xac55b(%rip), %r8      # 0x119aa0
movq %rbx, %rdi
movq %r14, %rdx
callq 0xd456
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: is_zero_b_7p
static bool is_zero_b_7p(s7_scheme *sc, s7_pointer p)
    {
#if WITH_GMP
        return(s7_is_zero(p));
#else
        if (is_t_integer(p))
            return(integer(p) == 0);
        if (is_t_real(p))
            return(real(p) == 0.0);
        if (!is_number(p))
            simple_wrong_type_argument_with_type(sc, sc->is_zero_symbol, p, a_number_string);
        return(false);
#endif
    }

// Assembly:
movq %rsi, %rdx
movzbl (%rsi), %eax
cmpl $0xd, %eax
je 0x6d5d1
cmpl $0xb, %eax
jne 0x6d5e4
cmpq $0x0, 0x8(%rdx)
sete %al
retq
xorpd %xmm0, %xmm0
cmpeqsd 0x8(%rdx), %xmm0
movq %xmm0, %rax
andl $0x1, %eax
retq
leaq 0xac385(%rip), %rcx     # 0x119970
cmpb $0x0, (%rax,%rcx)
je 0x6d5f4
xorl %eax, %eax
retq
pushq %rax
movq 0x11c0(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xb6d92(%rip), %r8      # 0x1243a0
callq 0xd456
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: is_negative_b_7p
static bool is_negative_b_7p(s7_scheme *sc, s7_pointer p)
    {
#if WITH_GMP
        return(s7_is_negative(p));
#else
        if (is_t_integer(p))
            return(integer(p) < 0);
        if (is_t_real(p))
            return(real(p) < 0.0);
        if (!is_real(p))
            simple_wrong_type_argument(sc, sc->is_negative_symbol, p, T_REAL);
        return(numerator(p) < 0);
#endif
    }

// Assembly:
pushq %rbx
movq %rsi, %rbx
movzbl (%rsi), %eax
cmpl $0xd, %eax
je 0x6d663
cmpl $0xb, %eax
je 0x6d659
leaq 0xac37e(%rip), %rcx     # 0x1199b0
cmpb $0x0, (%rax,%rcx)
jne 0x6d659
movq 0x1110(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xac477(%rip), %r8      # 0x119ac8
movq %rbx, %rdx
callq 0xd456
movq 0x8(%rbx), %rax
shrq $0x3f, %rax
jmp 0x6d66f
xorpd %xmm0, %xmm0
ucomisd 0x8(%rbx), %xmm0
seta %al
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: is_positive_b_7p
static bool is_positive_b_7p(s7_scheme *sc, s7_pointer p)
    {
#if WITH_GMP
        return(s7_is_positive(p));
#else
        if (is_t_integer(p))
            return(integer(p) > 0);
        if (is_t_real(p))
            return(real(p) > 0.0);
        if (!is_real(p))
            simple_wrong_type_argument(sc, sc->is_positive_symbol, p, T_REAL);
        return(numerator(p) > 0);
#endif
    }

// Assembly:
pushq %rbx
movq %rsi, %rbx
movzbl (%rsi), %eax
cmpl $0xd, %eax
je 0x6d6ba
cmpl $0xb, %eax
je 0x6d6b0
leaq 0xac327(%rip), %rcx     # 0x1199b0
cmpb $0x0, (%rax,%rcx)
jne 0x6d6b0
movq 0x1150(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xac420(%rip), %r8      # 0x119ac8
movq %rbx, %rdx
callq 0xd456
cmpq $0x0, 0x8(%rbx)
setg %al
jmp 0x6d6ca
movsd 0x8(%rbx), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
seta %al
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: tree_set_memq_b_7pp
static bool tree_set_memq_b_7pp(s7_scheme *sc, s7_pointer syms, s7_pointer tree)
    {
        s7_pointer p;
        if (!is_pair(syms)) return(false);
        if (sc->safety > NO_SAFETY)
        {
            if (tree_is_cyclic(sc, syms))
                s7_error(sc, sc->wrong_type_arg_symbol, wrap_string(sc, "tree-set-memq: symbol list is cyclic", 36));
            if (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))
            if (is_symbol(car(p)))
                add_symbol_to_list(sc, car(p));
        return(tree_set_memq(sc, tree));
    }

// Assembly:
cmpb $0x1, (%rsi)
jne 0x6d8c2
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
cmpq $0x0, 0x6a0(%rdi)
jle 0x6d879
movq %r14, %rdi
movq %r15, %rsi
callq 0x2cd63
testb %al, %al
je 0x6d829
movq 0x1940(%r14), %rsi
movq 0x820(%r14), %rax
movslq 0x7dc(%r14), %rcx
movq (%rax,%rcx,8), %rdx
leal 0x1(%rcx), %eax
andl $0x7, %eax
movl %eax, 0x7dc(%r14)
leaq 0x7a7ff(%rip), %rax     # 0xe8014
movq %rax, 0x10(%rdx)
movq $0x24, 0x8(%rdx)
movq %r14, %rdi
callq 0x2cdc0
movq %r14, %rdi
movq %rbx, %rsi
callq 0x2cd63
testb %al, %al
je 0x6d879
movq 0x1940(%r14), %rsi
movq 0x820(%r14), %rax
movslq 0x7dc(%r14), %rcx
movq (%rax,%rcx,8), %rdx
leal 0x1(%rcx), %eax
andl $0x7, %eax
movl %eax, 0x7dc(%r14)
leaq 0x76168(%rip), %rax     # 0xe39cd
movq %rax, 0x10(%rdx)
movq $0x1d, 0x8(%rdx)
movq %r14, %rdi
callq 0x2cdc0
movq %r14, %rdi
callq 0x7c981
cmpb $0x1, (%r15)
jne 0x6d8b2
movq 0x8(%r15), %rax
cmpb $0xa, (%rax)
jne 0x6d8ac
movl 0xa88(%r14), %ecx
movl %ecx, 0x2c(%rax)
movl 0xa8c(%r14), %ecx
movq 0x8(%rax), %rax
movq 0x20(%rax), %rax
movl %ecx, 0xc(%rax)
movq 0x10(%r15), %r15
jmp 0x6d881
movq %r14, %rdi
movq %rbx, %rsi
popq %rbx
popq %r14
popq %r15
jmp 0xa234b
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: integer_to_char_p_p
static s7_pointer integer_to_char_p_p(s7_scheme *sc, s7_pointer x)
    {
        s7_int ind;
        if (!s7_is_integer(x))
            return(method_or_bust_one_arg(sc, x, sc->integer_to_char_symbol, list_1(sc, x), T_INTEGER));
        ind = s7_integer(x);
        if ((ind >= 0) && (ind < NUM_CHARS))
            return(s7_make_character(sc, (uint8_t)ind));
        return(s7_out_of_range_error(sc, "integer->char", 1, x, "it doen't fit in an unsigned byte"));
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
cmpb $0xb, (%rsi)
jne 0x6d9e2
movq 0x8(%rbx), %rax
cmpq $0xff, %rax
ja 0x6da4a
movq 0xac086(%rip), %rcx     # 0x119a58
movq (%rcx,%rax,8), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq 0xfc8(%r14), %r15
movq 0x90(%r14), %rax
movq 0x110(%r14), %r12
cmpq 0x98(%r14), %rax
ja 0x6da0f
movq %r14, %rdi
callq 0x9c27
movq 0x90(%r14), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r14)
movq -0x8(%rax), %rcx
movq $0x200001, (%rcx)       # imm = 0x200001
movq %rbx, 0x8(%rcx)
movq %r12, 0x10(%rcx)
pushq $0xb
popq %r8
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x77745
leaq 0x6de8d(%rip), %rsi     # 0xdb8de
leaq 0x7a5e1(%rip), %r8      # 0xe8039
pushq $0x1
popq %rdx
movq %r14, %rdi
movq %rbx, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x35a50
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: tree_leaves_p_p
static s7_pointer tree_leaves_p_p(s7_scheme *sc, s7_pointer tree)
    {
        if ((sc->safety > NO_SAFETY) && /* repeat code to avoid extra call overhead */
                (tree_is_cyclic(sc, tree)))
            s7_error(sc, sc->wrong_type_arg_symbol, wrap_string(sc, "tree-leaves: tree is cyclic", 27));
        return(s7_make_integer(sc, tree_len(sc, tree)));
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
cmpq $0x0, 0x6a0(%rdi)
jle 0x6de2d
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2cd63
testb %al, %al
je 0x6de2d
movq 0x1940(%rbx), %rsi
movq 0x820(%rbx), %rax
movslq 0x7dc(%rbx), %rcx
movq (%rax,%rcx,8), %rdx
leal 0x1(%rcx), %eax
andl $0x7, %eax
movl %eax, 0x7dc(%rbx)
leaq 0x7a1df(%rip), %rax     # 0xe7ff8
movq %rax, 0x10(%rdx)
movq $0x1b, 0x8(%rdx)
movq %rbx, %rdi
callq 0x2cdc0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x7c5fc
movq %rbx, %rdi
movq %rax, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xc049
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: pair_line_number_p_p
static s7_pointer pair_line_number_p_p(s7_scheme *sc, s7_pointer p)
    {
        if (!is_pair(p))
            return(method_or_bust_one_arg(sc, p, sc->pair_line_number_symbol, set_plist_1(sc, p), T_PAIR));
        if (has_line_number(p))
            return(make_integer(sc, pair_line_number(p)));
        return(sc->F);
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
cmpb $0x1, (%rsi)
jne 0x6de75
testb $0x4, 0x2(%rsi)
jne 0x6dea1
movq 0x120(%rbx), %rax
jmp 0x6def4
movq 0x13d0(%rbx), %rdx
movq 0x700(%rbx), %rax
movq %rsi, 0x8(%rax)
movq 0x700(%rbx), %rcx
pushq $0x1
popq %r8
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x77745
movl 0x2c(%rsi), %r14d
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x6debb
leaq 0xa7a9b(%rip), %rax     # 0x115950
movq (%rax,%r14,8), %rax
jmp 0x6def4
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x6deda
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: make_int_vector_p_ii
static s7_pointer make_int_vector_p_ii(s7_scheme *sc, s7_int len, s7_int init)
                {
                    s7_pointer x;
                    x = make_vector_1(sc, len, NOT_FILLED, T_INT_VECTOR);
                    int_vector_fill(sc, x, init);
                    add_vector(sc, x);
                    return(x);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rdi, %r14
pushq $0x16
popq %rcx
xorl %edx, %edx
callq 0x2e4a2
movq %rax, %r15
movq %rax, %rdi
movq %rbx, %rsi
callq 0x7afdc
movq 0x740(%r14), %rdi
movq %r15, %rsi
callq 0xb999
movq %r15, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: make_byte_vector_p_ii
static s7_pointer make_byte_vector_p_ii(s7_scheme *sc, s7_int len, s7_int init)
                {
                    s7_pointer p;
                    if ((len < 0) || (len > sc->max_vector_length))
                        return(out_of_range(sc, sc->make_byte_vector_symbol, small_int(1), make_integer(sc, len), (len < 0) ? its_negative_string : its_too_large_string));
                    if ((init < 0) || (init > 255))
                        return(simple_wrong_type_argument_with_type(sc, sc->make_byte_vector_symbol, make_integer(sc, init), an_unsigned_byte_string));
                    p = make_simple_byte_vector(sc, len);
                    if (len > 0)
                        local_memset((void *)(byte_vector_bytes(p)), init, len);
                    return(p);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
testq %rsi, %rsi
js 0x6e2f3
cmpq %r14, 0x2a0(%rbx)
jge 0x6e385
movq 0x12d0(%rbx), %rax
movq 0x8(%rax), %r15
movq 0xa7653(%rip), %r12     # 0x115958
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x6e31b
leaq 0xa763b(%rip), %rax     # 0x115950
movq (%rax,%r14,8), %rcx
jmp 0x6e354
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x6e33a
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rcx
movq $0xb, (%rcx)
movq %r14, 0x8(%rcx)
testq %r14, %r14
leaq 0xab6ea(%rip), %rax     # 0x119a48
leaq 0xab6db(%rip), %rdx     # 0x119a40
cmovsq %rax, %rdx
movq (%rdx), %r8
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xcb8f
movq %rdx, %r15
cmpq $0x100, %rdx            # imm = 0x100
jb 0x6e3b2
movq 0x12d0(%rbx), %rax
movq 0x8(%rax), %r14
cmpq $0x7ff, %r15            # imm = 0x7FF
ja 0x6e3e4
leaq 0xa75a4(%rip), %rax     # 0x115950
movq (%rax,%r15,8), %rdx
jmp 0x6e41d
movq %rbx, %rdi
movq %r14, %rsi
callq 0x2fe85
movq %rax, %rbx
testq %r14, %r14
je 0x6e3d5
movq 0x10(%rbx), %rdi
movzbl %r15b, %esi
movq %r14, %rdx
callq 0x73e47
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x6e403
movq %rbx, %rdi
callq 0x9c27
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rdx
movq $0xb, (%rdx)
movq %r15, 0x8(%rdx)
movq 0x140(%rbx), %rcx
movq 0xb3c35(%rip), %r8      # 0x122060
movq %rbx, %rdi
movq %r14, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xd456
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: is_zero_p_p
static s7_pointer is_zero_p_p(s7_scheme *sc, s7_pointer p)
    {
#if WITH_GMP
        return(make_boolean(sc, s7_is_zero(p)));
#else
        if (is_t_integer(p))
            return(make_boolean(sc, integer(p) == 0));
        if (is_t_real(p))
            return(make_boolean(sc, real(p) == 0.0));
        if (!is_number(p))
            simple_wrong_type_argument_with_type(sc, sc->is_zero_symbol, p, a_number_string);
        return(sc->F);
#endif
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rdx
movq %rdi, %rbx
movzbl (%rsi), %eax
cmpl $0xd, %eax
je 0x6e509
cmpl $0xb, %eax
jne 0x6e52f
xorl %eax, %eax
cmpq $0x0, 0x8(%rdx)
setne %al
jmp 0x6e51b
xorpd %xmm0, %xmm0
cmpneqsd 0x8(%rdx), %xmm0
movq %xmm0, %rax
andl $0x1, %eax
leaq 0x118(,%rax,8), %r14
movq (%rbx,%r14), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0xab43a(%rip), %rcx     # 0x119970
movl $0x120, %r14d           # imm = 0x120
cmpb $0x0, (%rax,%rcx)
jne 0x6e523
movq 0x11c0(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rbx), %rcx
movq 0xb5e45(%rip), %r8      # 0x1243a0
movq %rbx, %rdi
callq 0xd456
jmp 0x6e523
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: is_positive_p_p
static s7_pointer is_positive_p_p(s7_scheme *sc, s7_pointer p)
    {
#if WITH_GMP
        return(make_boolean(sc, s7_is_positive(p)));
#else
        if (is_t_integer(p))
            return((integer(p) > 0) ? sc->T : sc->F);
        if (is_t_real(p))
            return((real(p) > 0.0) ? sc->T : sc->F);
        if (!is_real(p))
            simple_wrong_type_argument(sc, sc->is_positive_symbol, p, T_REAL);
        return((numerator(p) > 0) ? sc->T : sc->F);
#endif
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movzbl (%rsi), %eax
cmpl $0xd, %eax
je 0x6e5b7
cmpl $0xb, %eax
je 0x6e5ad
leaq 0xab42d(%rip), %rcx     # 0x1199b0
cmpb $0x0, (%rax,%rcx)
jne 0x6e5ad
movq 0x1150(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rbx), %rcx
movq 0xab526(%rip), %r8      # 0x119ac8
movq %rbx, %rdi
movq %r14, %rdx
callq 0xd456
cmpq $0x0, 0x8(%r14)
setg %al
jmp 0x6e5c8
movsd 0x8(%r14), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
seta %al
xorb $0x1, %al
movzbl %al, %eax
movq 0x118(%rbx,%rax,8), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: logbit_b_ii
static bool logbit_b_ii(s7_int i1, s7_int i2)
    {
        if (i2 < 0)
        {
            /* no b_7ii_t so fallback on cur_sc, etc -- kinda ugly */
            out_of_range(cur_sc, cur_sc->logbit_symbol, small_int(2), make_integer(cur_sc, i1), its_negative_string);
            return(false);
        }
        if (i2 >= s7_int_bits)
            return(i1 < 0);
        return((((int64_t)(1LL << (int64_t)i2)) & (int64_t)i1) != 0);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
testq %rsi, %rsi
js 0x6e6f1
cmpq $0x3e, %rsi
ja 0x6e720
testb $0x1, 0xab57d(%rip)     # 0x119c60
je 0x6e720
btq %rsi, %rbx
setb %bl
jmp 0x6e780
movq 0xab338(%rip), %r14     # 0x119a30
movq 0x12a0(%r14), %rax
movq 0x8(%rax), %r15
movq 0xa7256(%rip), %r12     # 0x115960
cmpq $0x7ff, %rbx            # imm = 0x7FF
ja 0x6e726
leaq 0xa7236(%rip), %rax     # 0x115950
movq (%rax,%rbx,8), %rcx
jmp 0x6e769
shrq $0x3f, %rbx
jmp 0x6e780
movq 0x90(%r14), %rax
movq %r14, %rcx
cmpq 0x98(%r14), %rax
ja 0x6e74f
movq %r14, %rdi
callq 0x9c27
movq 0xab2e8(%rip), %rcx     # 0x119a30
movq 0x90(%rcx), %rax
leaq -0x8(%rax), %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rcx
movq $0xb, (%rcx)
movq %rbx, 0x8(%rcx)
movq 0xab2d8(%rip), %r8      # 0x119a48
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0xcb8f
xorl %ebx, %ebx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: logbit_b_7pp
static bool logbit_b_7pp(s7_scheme *sc, s7_pointer p1, s7_pointer p2)
    {
        if (is_t_integer(p1))
        {
            if (is_t_integer(p2))
                return(logbit_b_ii(integer(p1), integer(p2)));
            simple_wrong_type_argument(sc, sc->logbit_symbol, p2, T_INTEGER);
        }
        simple_wrong_type_argument(sc, sc->logbit_symbol, p1, T_INTEGER);
        return(false);
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
cmpb $0xb, (%rsi)
jne 0x6e833
cmpb $0xb, (%rdx)
jne 0x6e812
movq 0x8(%rbx), %rdi
movq 0x8(%rdx), %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x6e6c6
movq 0x12a0(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xab28d(%rip), %r8      # 0x119ab8
movq %r14, %rdi
callq 0xd456
movq 0x12a0(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xab26c(%rip), %r8      # 0x119ab8
movq %r14, %rdi
movq %rbx, %rdx
callq 0xd456
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: num_eq_p_pi
static s7_pointer num_eq_p_pi(s7_scheme *sc, s7_pointer p1, s7_int p2)
    {
        if (is_t_integer(p1))
            return((integer(p1) == p2) ? sc->T : sc->F);
        if (is_t_real(p1))
            return((real(p1) == p2) ? sc->T : sc->F);
        if (is_number(p1))
            return(sc->F);
        return(wrong_type_argument_with_type(sc, sc->num_eq_symbol, 1, p1, a_number_string));
    }

// Assembly:
movq %rsi, %rcx
movzbl (%rsi), %eax
cmpl $0xd, %eax
je 0x6e87c
cmpl $0xb, %eax
jne 0x6e898
xorl %eax, %eax
cmpq %rdx, 0x8(%rcx)
setne %al
jmp 0x6e88f
cvtsi2sd %rdx, %xmm0
cmpneqsd 0x8(%rcx), %xmm0
movq %xmm0, %rax
andl $0x1, %eax
movq 0x118(%rdi,%rax,8), %rax
retq
leaq 0xab0d1(%rip), %rdx     # 0x119970
cmpb $0x1, (%rax,%rdx)
jne 0x6e8ad
movq 0x120(%rdi), %rax
retq
movq 0xea0(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0xa7099(%rip), %rdx     # 0x115958
movq 0x140(%rdi), %r8
movq 0xb5ad3(%rip), %r9      # 0x1243a0
jmp 0x9bbb
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: num_eq_b_pi
static bool num_eq_b_pi(s7_scheme *sc, s7_pointer x, s7_int y)
    {
        if (is_t_integer(x))
            return(integer(x) == y);

        switch (type(x))
        {
            case T_INTEGER: return(integer(x) == y);
            case T_RATIO:   return(false);
            case T_REAL:    return(real(x) == y);
            case T_COMPLEX: return(false);
            default:
                            simple_wrong_type_argument_with_type(sc, sc->num_eq_symbol, x, a_number_string);
        }
        return(false);
    }

// Assembly:
movq %rsi, %rax
movzbl (%rsi), %ecx
addl $-0xb, %ecx
cmpl $0x3, %ecx
ja 0x6f58f
leaq 0x64889(%rip), %rsi     # 0xd3df0
movslq (%rsi,%rcx,4), %rcx
addq %rsi, %rcx
jmpq *%rcx
xorl %eax, %eax
retq
cmpq %rdx, 0x8(%rax)
sete %al
retq
cvtsi2sd %rdx, %xmm0
cmpeqsd 0x8(%rax), %xmm0
movq %xmm0, %rax
andl $0x1, %eax
retq
pushq %rax
movq 0xea0(%rdi), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rdi), %rcx
movq 0xb4df7(%rip), %r8      # 0x1243a0
movq %rax, %rdx
callq 0xd456
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: lt_b_pi
static bool lt_b_pi(s7_scheme *sc, s7_pointer p1, s7_int p2)
    {
        if (is_t_integer(p1)) return(integer(p1) < p2);
        if (is_t_real(p1))  return(real(p1) < p2);
        if (is_t_ratio(p1)) return(ratio_lt_pi(p1, p2));
        simple_wrong_type_argument(sc, sc->lt_symbol, p1, T_REAL);
        return(false);
    }

// Assembly:
movq %rsi, %rax
movzbl (%rsi), %ecx
cmpl $0xd, %ecx
je 0x6f5e0
cmpl $0xc, %ecx
je 0x6f5d5
cmpl $0xb, %ecx
jne 0x6f5ee
cmpq %rdx, 0x8(%rax)
setl %al
retq
movq %rax, %rdi
movq %rdx, %rsi
jmp 0xa5c4e
cvtsi2sd %rdx, %xmm0
ucomisd 0x8(%rax), %xmm0
seta %al
retq
pushq %rax
movq 0x12c0(%rdi), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rdi), %rcx
movq 0xaa4c0(%rip), %r8      # 0x119ac8
movq %rax, %rdx
callq 0xd456
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: leq_b_pi
static bool leq_b_pi(s7_scheme *sc, s7_pointer p1, s7_int p2)
    {
        if (is_t_integer(p1)) return(integer(p1) <= p2);
        if (is_t_real(p1))  return(real(p1) <= p2);
        if (is_t_ratio(p1)) return(ratio_leq_pi(p1, p2));
        simple_wrong_type_argument(sc, sc->leq_symbol, p1, T_REAL);
        return(false);
    }

// Assembly:
movq %rsi, %rax
movzbl (%rsi), %ecx
cmpl $0xd, %ecx
je 0x6f63f
cmpl $0xc, %ecx
je 0x6f634
cmpl $0xb, %ecx
jne 0x6f64d
cmpq %rdx, 0x8(%rax)
setle %al
retq
movq %rax, %rdi
movq %rdx, %rsi
jmp 0xa5ce5
cvtsi2sd %rdx, %xmm0
ucomisd 0x8(%rax), %xmm0
setae %al
retq
pushq %rax
movq 0x1220(%rdi), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rdi), %rcx
movq 0xaa461(%rip), %r8      # 0x119ac8
movq %rax, %rdx
callq 0xd456
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: gt_b_pi
static bool gt_b_pi(s7_scheme *sc, s7_pointer p1, s7_int p2)
    {
        if (is_t_integer(p1)) return(integer(p1) > p2);
        if (is_t_real(p1))  return(real(p1) > p2);
        if (is_t_ratio(p1)) return(!ratio_leq_pi(p1, p2));
        simple_wrong_type_argument(sc, sc->gt_symbol, p1, T_REAL);
        return(false);
    }

// Assembly:
pushq %rax
movq %rsi, %rax
movzbl (%rsi), %ecx
cmpl $0xd, %ecx
je 0x6f6a4
cmpl $0xc, %ecx
je 0x6f695
cmpl $0xb, %ecx
jne 0x6f6b7
cmpq %rdx, 0x8(%rax)
setg %al
jmp 0x6f6da
movq %rax, %rdi
movq %rdx, %rsi
callq 0xa5ce5
xorb $0x1, %al
jmp 0x6f6da
movsd 0x8(%rax), %xmm0
cvtsi2sd %rdx, %xmm1
ucomisd %xmm1, %xmm0
seta %al
jmp 0x6f6da
movq 0xf58(%rdi), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rdi), %rcx
movq 0xaa3f8(%rip), %r8      # 0x119ac8
movq %rax, %rdx
callq 0xd456
xorl %eax, %eax
popq %rcx
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: geq_b_pi
static bool geq_b_pi(s7_scheme *sc, s7_pointer p1, s7_int p2)
    {
        if (is_t_integer(p1)) return(integer(p1) >= p2);
        if (is_t_real(p1))  return(real(p1) >= p2);
        if (is_t_ratio(p1)) return(!ratio_lt_pi(p1, p2));
        simple_wrong_type_argument(sc, sc->geq_symbol, p1, T_REAL);
        return(false);
    }

// Assembly:
pushq %rax
movq %rsi, %rax
movzbl (%rsi), %ecx
cmpl $0xd, %ecx
je 0x6f70a
cmpl $0xc, %ecx
je 0x6f6fb
cmpl $0xb, %ecx
jne 0x6f71d
cmpq %rdx, 0x8(%rax)
setge %al
jmp 0x6f740
movq %rax, %rdi
movq %rdx, %rsi
callq 0xa5c4e
xorb $0x1, %al
jmp 0x6f740
cvtsi2sd %rdx, %xmm0
movsd 0x8(%rax), %xmm1
ucomisd %xmm0, %xmm1
setae %al
jmp 0x6f740
movq 0xf48(%rdi), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rdi), %rcx
movq 0xaa392(%rip), %r8      # 0x119ac8
movq %rax, %rdx
callq 0xd456
xorl %eax, %eax
popq %rcx
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: g_s7_let_ref_fallback
static s7_pointer g_s7_let_ref_fallback(s7_scheme *sc, s7_pointer args)
                {
                    s7_pointer sym;

                    sym = cadr(args);
                    if (!is_symbol(sym))
                        return(simple_wrong_type_argument(sc, sc->let_ref_symbol, sym, T_SYMBOL));
                    if (is_keyword(sym))
                        sym = keyword_symbol(sym);
                    return(s7_let_field(sc, sym));
                }

// Assembly:
movq 0x10(%rsi), %rax
movq 0x8(%rax), %rdx
cmpb $0xa, (%rdx)
jne 0x70239
testb $-0x80, 0x6(%rdx)
je 0x70231
movq 0x8(%rdx), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rdx
movq %rdx, %rsi
jmp 0xb9a58
movq 0x1230(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xa985e(%rip), %r8      # 0x119ab0
jmp 0xd456
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: local_strncmp
static bool local_strncmp(const char *s1, const char *s2, size_t n)
    {
#if S7_ALIGNED
        return(strncmp(s1, s2, n) == 0);
#else
#if (defined(__x86_64__) || defined(__i386__)) /* unaligned accesses are safe on i386 hardware, sez everyone */
        if (n >= 8)
        {
            int64_t *is1, *is2;
            size_t n8 = n >> 3;
            is1 = (int64_t *)s1;
            is2 = (int64_t *)s2;
            do {if (*is1++ != *is2++) return(false);} while (--n8 > 0);
            s1 = (const char *)is1;
            s2 = (const char *)is2;
            n &= 7;
        }
#endif
        while (n > 0)
        {
            if (*s1++ != *s2++) return(false);
            n--;
        }
        return(true);
#endif
    }

// Assembly:
cmpq $0x8, %rdx
jb 0x70ae5
movq %rdx, %rax
shrq $0x3, %rax
movq %rdx, %rcx
andq $-0x8, %rcx
leaq (%rsi,%rcx), %r8
addq %rdi, %rcx
xorl %r9d, %r9d
movq (%rdi,%r9,8), %r10
cmpq (%rsi,%r9,8), %r10
jne 0x70b04
incq %r9
cmpq %r9, %rax
jne 0x70ace
andl $0x7, %edx
jmp 0x70aeb
movq %rdi, %rcx
movq %rsi, %r8
xorl %esi, %esi
cmpq %rsi, %rdx
sete %al
je 0x70b06
movb (%rcx,%rsi), %dil
cmpb (%r8,%rsi), %dil
jne 0x70b06
incq %rsi
jmp 0x70aed
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: petrify
static inline s7_pointer petrify(s7_scheme *sc, s7_pointer x)
    {
        s7_pointer p;
        int64_t loc;
        loc = heap_location(sc, x);
#if S7_DEBUGGING
        check_heap_location(sc, x, loc, __func__, __LINE__);
        petrified_pointers++;
#endif
        p = (s7_pointer)alloc_big_pointer(sc, loc);
        sc->heap[loc] = p;
        free_cell(sc, p);
        unheap(sc, x);
        /* set_immutable(x); */ /* if there are GC troubles, this might catch them? */
        return(x);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
callq 0x2b6dd
movq %rax, %r15
movq %r14, %rdi
movq %rax, %rsi
callq 0x70d3c
movq 0x80(%r14), %rcx
movq %rax, (%rcx,%r15,8)
andq $0x0, (%rax)
movq 0x90(%r14), %rcx
leaq 0x8(%rcx), %rdx
movq %rdx, 0x90(%r14)
movq %rax, (%rcx)
orb $0x40, 0x7(%rbx)
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: add_permanent_object
static void add_permanent_object(s7_scheme *sc, s7_pointer obj)
    {
        gc_obj *g;
        g = (gc_obj *)malloc(sizeof(gc_obj));
        g->p = obj;
        g->nxt = sc->permanent_objects;
        sc->permanent_objects = g;
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
pushq $0x10
popq %rdi
callq 0x8480
movq %rbx, (%rax)
movq 0xc0(%r14), %rcx
movq %rcx, 0x8(%rax)
movq %rax, 0xc0(%r14)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: alloc_big_pointer
static s7_big_cell *alloc_big_pointer(s7_scheme *sc, int64_t loc)
    {
        s7_big_pointer p;
        if (sc->alloc_big_pointer_k == ALLOC_BIG_POINTER_SIZE)
        {
            sc->permanent_cells += ALLOC_BIG_POINTER_SIZE;
            sc->alloc_big_pointer_cells = (s7_big_cell *)calloc(ALLOC_BIG_POINTER_SIZE, sizeof(s7_big_cell));
            sc->alloc_big_pointer_k = 0;
        }
        p = (&(sc->alloc_big_pointer_cells[sc->alloc_big_pointer_k++]));
        p->big_hloc = loc;
        return(p);
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movl 0x810(%rdi), %ecx
cmpl $0x100, %ecx            # imm = 0x100
jne 0x70d77
addl $0x100, 0x7d8(%r14) # imm = 0x100
pushq $0x38
popq %rsi
movl $0x100, %edi            # imm = 0x100
callq 0x8360
movq %rax, 0x818(%r14)
xorl %ecx, %ecx
jmp 0x70d7e
movq 0x818(%r14), %rax
leal 0x1(%rcx), %edx
movl %edx, 0x810(%r14)
movl %ecx, %ecx
imulq $0x38, %rcx, %rdx
leaq (%rax,%rdx), %rcx
movq %rbx, 0x30(%rax,%rdx)
movq %rcx, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: mark_let
static void mark_let(s7_pointer env)
    {
        s7_pointer x;
        for (x = env; is_let(x) && (!is_marked(x)); x = outlet(x))
        {
            s7_pointer y;
            set_mark(x);
            if (has_dox_slot1(x)) mark_slot(let_dox_slot1(x));
            if ((has_dox_slot2(x)) && (is_slot(let_dox_slot2(x)))) mark_slot(let_dox_slot2(x));
            for (y = let_slots(x); tis_slot(y); y = next_slot(y))
                if (!is_marked(y)) /* slot value might be the enclosing let */
                    mark_slot(y);
        }
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
cmpb $0x1c, (%rbx)
jne 0x728b9
movq (%rbx), %rcx
testq %rcx, %rcx
js 0x728b9
movq %rcx, %rax
btsq $0x3f, %rax
movq %rax, (%rbx)
btl $0x10, %ecx
jae 0x7287f
movq 0x20(%rbx), %rdi
callq 0x72969
movq (%rbx), %rax
btl $0x17, %eax
jae 0x72893
movq 0x28(%rbx), %rdi
cmpb $0x20, (%rdi)
jne 0x72893
callq 0x72969
leaq 0x8(%rbx), %r14
movq (%r14), %r14
testq %r14, %r14
je 0x728b3
cmpq $0x0, (%r14)
js 0x728ad
movq %r14, %rdi
callq 0x72969
addq $0x18, %r14
jmp 0x72897
movq 0x10(%rbx), %rbx
jmp 0x72855
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: mark_stack_1
static void mark_stack_1(s7_pointer p, s7_int top)
    {
        s7_pointer *tp, *tend;
        set_mark(p);

        tp = (s7_pointer *)(stack_elements(p));
        if (!tp) return;
        tend = (s7_pointer *)(tp + top);

        while (tp < tend)
        {
            gc_mark(*tp++);
            gc_mark(*tp++);
            gc_mark(*tp++);
            tp++;
        }
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
orb $-0x80, 0x7(%rdi)
movq 0x10(%rdi), %rbx
testq %rbx, %rbx
je 0x728fb
leaq (%rbx,%rsi,8), %r14
cmpq %r14, %rbx
jae 0x728fb
movq (%rbx), %rdi
callq 0x72838
movq 0x8(%rbx), %rdi
callq 0x72838
movq 0x10(%rbx), %rdi
callq 0x72838
addq $0x20, %rbx
jmp 0x728d6
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: mark_pair
static void mark_pair(s7_pointer p)
    {
        do {
            set_mark(p);
            gc_mark(car(p)); /* expanding this to avoid recursion is slower */
            p = cdr(p);
        } while ((is_pair(p)) && (!is_marked(p))); /* ((typeflag(p) & (TYPE_MASK | T_GC_MARK)) == T_PAIR) is much slower */
        gc_mark(p);
    }

// Assembly:
pushq %rbx
movq %rdi, %rbx
movq (%rdi), %rax
btsq $0x3f, %rax
movq %rax, (%rbx)
movq 0x8(%rbx), %rdi
callq 0x72838
movq 0x10(%rbx), %rbx
cmpb $0x1, (%rbx)
jne 0x7292c
movq (%rbx), %rax
testq %rax, %rax
jns 0x7290a
movq %rbx, %rdi
popq %rbx
jmp 0x72838
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: mark_slot
static inline void mark_slot(s7_pointer p)
    {
        set_mark(T_Slt(p));
        gc_mark(slot_value(p));
        if (slot_has_setter(p))
            gc_mark(slot_setter(p));
        if (slot_has_pending_value(p))
            gc_mark(slot_pending_value(p));
        set_mark(slot_symbol(p));
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
orb $-0x80, 0x7(%rdi)
movq 0x10(%rdi), %rdi
callq 0x72838
movq (%rbx), %rax
btl $0x12, %eax
jae 0x72992
movq 0x28(%rbx), %rdi
callq 0x72838
movq (%rbx), %rax
movabsq $-0x8000000000000000, %r14 # imm = 0x8000000000000000
btl $0x1d, %eax
jae 0x729ab
movq 0x20(%rbx), %rdi
callq 0x72838
movq 0x8(%rbx), %rax
orq %r14, (%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: free_port_data
static void free_port_data(s7_scheme *sc, s7_pointer s1)
    {
        if (port_data(s1))
        {
            liberate(sc, port_data_block(s1));
            port_data_block(s1) = NULL;
            port_data(s1) = NULL;
            port_data_size(s1) = 0;
        }
        port_needs_free(s1) = false;
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
cmpq $0x0, 0x10(%rsi)
je 0x72a0e
leaq 0x10(%rbx), %r14
movq 0x8(%rbx), %rax
movq 0x38(%rax), %rsi
callq 0x9439
movq 0x8(%rbx), %rax
andq $0x0, 0x38(%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%r14)
movq 0x8(%rbx), %rax
movb $0x0, (%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: new_frame_in_env
static inline s7_pointer new_frame_in_env(s7_scheme *sc, s7_pointer old_env)
    {
        s7_pointer x;
        new_cell(sc, x, T_LET | T_SAFE_PROCEDURE);
        let_id(x) = ++sc->let_number;
        let_set_slots(x, slot_end(sc));
        set_outlet(x, old_env);
        return(x);
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movq 0x90(%rdi), %rax
cmpq 0x98(%rdi), %rax
ja 0x72a46
movq %r14, %rdi
callq 0x9c27
movq 0x90(%r14), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r14)
movq -0x8(%rax), %rax
movq $0x20001c, (%rax)       # imm = 0x20001C
movq 0x250(%r14), %rcx
incq %rcx
movq %rcx, 0x250(%r14)
movq %rcx, 0x18(%rax)
andq $0x0, 0x8(%rax)
movq %rbx, 0x10(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: check_c_obj_env
static s7_pointer check_c_obj_env(s7_scheme *sc, s7_pointer old_e, s7_pointer caller)
    {
        if (is_c_object(old_e))
            old_e = c_object_let(old_e);
        if (!is_let(old_e))
            return(simple_wrong_type_argument_with_type(sc, caller, old_e, a_let_string));
        return(old_e);
    }

// Assembly:
movq %rsi, %rax
movb (%rsi), %cl
cmpb $0x14, %cl
jne 0x72bda
movq 0x18(%rax), %rax
movb (%rax), %cl
cmpb $0x1c, %cl
jne 0x72be0
retq
movq 0x8(%rdx), %rsi
movq 0x140(%rdi), %rcx
movq 0xa6d66(%rip), %r8      # 0x119958
movq %rax, %rdx
jmp 0xd456
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: is_constant_symbol
static inline bool is_constant_symbol(s7_scheme *sc, s7_pointer sym)
    {
        if (is_immutable_symbol(sym))    /* for keywords */
            return(true);
        if (is_possibly_constant(sym))
        {
            s7_pointer slot;
            slot = symbol_to_slot(sc, sym);
            return((is_slot(slot)) && (is_immutable_slot(slot)));
        }
        return(false);
    }

// Assembly:
movq (%rsi), %rcx
movb $0x1, %al
btl $0x18, %ecx
jb 0x72c0e
btq $0x30, %rcx
jb 0x72c0f
xorl %eax, %eax
retq
pushq %rax
callq 0xb00b
cmpb $0x20, (%rax)
jne 0x72c21
movb 0x3(%rax), %al
andb $0x1, %al
jmp 0x72c23
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: checked_slot_set_value
static inline s7_pointer checked_slot_set_value(s7_scheme *sc, s7_pointer y, s7_pointer value)
    {
        if (slot_has_setter(y))
            slot_set_value(y, call_setter(sc, y, value));
        else
        {
            if (is_immutable_slot(y))
                return(immutable_object_error(sc, set_elist_3(sc, immutable_error_string, sc->let_set_symbol, slot_symbol(y))));
            slot_set_value(y, value);
        }
        return(slot_value(y));
    }

// Assembly:
pushq %rbx
movq %rsi, %rbx
movq (%rsi), %rax
btl $0x12, %eax
jb 0x72e39
btl $0x18, %eax
jb 0x72e4d
movq %rdx, 0x10(%rbx)
jmp 0x72e48
movq %rbx, %rsi
callq 0x72c28
movq %rax, %rdx
movq %rax, 0x10(%rbx)
movq %rdx, %rax
popq %rbx
retq
movq 0xa6b14(%rip), %rax     # 0x119968
movq 0x1240(%rdi), %rcx
movq 0x8(%rbx), %rdx
movq 0x6e8(%rdi), %rsi
movq %rax, 0x8(%rsi)
movq 0x10(%rsi), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdx, 0x8(%rax)
movq 0x6e8(%rdi), %rsi
popq %rbx
jmp 0x972b
// File: /workspace/github_c_makefile_star2_O2/BernardTatin[P]s7sh/s7.c
// Function: string_to_block
static block_t *string_to_block(s7_scheme *sc, const char *p, s7_int len)
    {
        block_t *b;
        char *bp;
        b = mallocate(sc, len + 1);
        bp = (char *)block_data(b);
        memcpy((void *)bp, (void *)p, len);
        bp[len] = '\0';
        return(b);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
leaq 0x1(%rdx), %rsi
callq 0x9037
movq %rax, %r15
movq (%rax), %r12
movq %r12, %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0x83e0
movb $0x0, (%r12,%rbx)
movq %r15, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq