LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: floor_i_7p
static s7_int floor_i_7p(s7_scheme *sc, s7_pointer p)
    {
        if (is_t_integer(p)) return(s7_integer(p));
        if (is_t_real(p)) return(floor_i_7d(sc, real(p)));
        if (is_t_ratio(p)) return((s7_int)(floor(fraction(p))));
        if (has_active_methods(sc, p))
            return(s7_integer(find_and_apply_method(sc, find_let(sc, p), sc->floor_symbol, list_1(sc, p))));
        s7_wrong_type_arg_error(sc, "floor", 0, p, "a real number");
        return(0);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %rsi, %rbx
movq %rdi, %r14
movzbl (%rsi), %eax
cmpl $0xd, %eax
je 0x85e40
cmpl $0xc, %eax
je 0x85e0b
cmpl $0xb, %eax
jne 0x85e5a
movq 0x8(%rbx), %r15
jmp 0x85efa
movq 0x8(%rbx), %rax
movq 0x10(%rbx), %rcx
movq %rax, 0x18(%rsp)
fildll 0x18(%rsp)
movq %rcx, 0x10(%rsp)
fildll 0x10(%rsp)
fdivrp %st, %st(1)
fstpl 0x8(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x85f0
cvttsd2si %xmm0, %r15
jmp 0x85efa
movsd 0x8(%rbx), %xmm0
movq %r14, %rdi
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x85cd8
testb $0x40, 0x3(%rbx)
je 0x85edc
cmpb $0x1, 0x24c(%r14)
jne 0x85edc
movq %r14, %rdi
movq %rbx, %rsi
callq 0x8a63
movq %rax, %r15
movq 0xf08(%r14), %r12
movq 0x90(%r14), %rax
movq 0x110(%r14), %r13
cmpq 0x98(%r14), %rax
ja 0x85ea5
movq %r14, %rdi
callq 0xa550
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 %r13, 0x10(%rcx)
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x9058e
cmpb $0xb, (%rax)
jne 0x85f0b
movq 0x8(%rax), %r15
jmp 0x85efa
leaq 0x88aa8(%rip), %rsi     # 0x10e98b
leaq 0x85967(%rip), %r8      # 0x10b851
xorl %r15d, %r15d
movq %r14, %rdi
xorl %edx, %edx
movq %rbx, %rcx
callq 0xd4e5
movq %r15, %rax
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
xorl %r15d, %r15d
jmp 0x85efa
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: ceiling_i_7p
static s7_int ceiling_i_7p(s7_scheme *sc, s7_pointer p)
    {
        if (is_t_integer(p)) return(s7_integer(p));
        if (is_t_real(p)) return(ceiling_i_7d(sc, real(p)));
        if (is_t_ratio(p)) return((s7_int)(ceil(fraction(p))));
        if (has_active_methods(sc, p))
            return(s7_integer(find_and_apply_method(sc, find_let(sc, p), sc->ceiling_symbol, list_1(sc, p))));
        s7_wrong_type_arg_error(sc, "ceiling", 0, p, "a real number");
        return(0);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x20, %rsp
movq %rsi, %rbx
movq %rdi, %r14
movzbl (%rsi), %eax
cmpl $0xd, %eax
je 0x85f73
cmpl $0xc, %eax
je 0x85f3e
cmpl $0xb, %eax
jne 0x85f8d
movq 0x8(%rbx), %r15
jmp 0x8602d
movq 0x8(%rbx), %rax
movq 0x10(%rbx), %rcx
movq %rax, 0x18(%rsp)
fildll 0x18(%rsp)
movq %rcx, 0x10(%rsp)
fildll 0x10(%rsp)
fdivrp %st, %st(1)
fstpl 0x8(%rsp)
movsd 0x8(%rsp), %xmm0
callq 0x86c0
cvttsd2si %xmm0, %r15
jmp 0x8602d
movsd 0x8(%rbx), %xmm0
movq %r14, %rdi
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
jmp 0x86248
testb $0x40, 0x3(%rbx)
je 0x8600f
cmpb $0x1, 0x24c(%r14)
jne 0x8600f
movq %r14, %rdi
movq %rbx, %rsi
callq 0x8a63
movq %rax, %r15
movq 0xda8(%r14), %r12
movq 0x90(%r14), %rax
movq 0x110(%r14), %r13
cmpq 0x98(%r14), %rax
ja 0x85fd8
movq %r14, %rdi
callq 0xa550
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 %r13, 0x10(%rcx)
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x9058e
cmpb $0xb, (%rax)
jne 0x8603e
movq 0x8(%rax), %r15
jmp 0x8602d
leaq 0x889b2(%rip), %rsi     # 0x10e9c8
leaq 0x85834(%rip), %r8      # 0x10b851
xorl %r15d, %r15d
movq %r14, %rdi
xorl %edx, %edx
movq %rbx, %rcx
callq 0xd4e5
movq %r15, %rax
addq $0x20, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
xorl %r15d, %r15d
jmp 0x8602d
// File: /workspace/github_c_makefile_star2_O3/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 0x861e3
movq %xmm0, %rax
btrq $0x3f, %rax
movabsq $0x7ff0000000000000, %rcx # imm = 0x7FF0000000000000
cmpq %rcx, %rax
jne 0x860d4
movq 0x1620(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x1f18(%rbx), %rcx
movsd %xmm0, 0x8(%rcx)
movq 0x1ef8(%rbx), %rcx
movq 0x1f18(%rbx), %rdx
movq 0xcf5a8(%rip), %rsi     # 0x155648
movq 0x10(%rcx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ef8(%rbx), %rdx
movq %rbx, %rdi
callq 0x38dfa
movsd 0x8(%rsp), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0x8615c
cmpb $0x0, 0xc4b23(%rip)     # 0x14ac08
je 0x860ef
movsd 0x7ff31(%rip), %xmm1    # 0x106020
ucomisd %xmm1, %xmm0
jbe 0x86155
movq 0x1620(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x1f18(%rbx), %rcx
movsd %xmm0, 0x8(%rcx)
movq 0x1ef8(%rbx), %rcx
movq 0x1f18(%rbx), %rdx
movq 0xc491f(%rip), %rsi     # 0x14aa40
movq 0x10(%rcx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ef8(%rbx), %rdx
movq %rbx, %rdi
callq 0x38dfa
movsd 0x8(%rsp), %xmm0
callq 0x85f0
jmp 0x861d8
cmpb $0x0, 0xc48c5(%rip)     # 0x14aa28
je 0x8616d
movsd 0x7febb(%rip), %xmm1    # 0x106028
ucomisd %xmm0, %xmm1
jbe 0x861d3
movq 0x1620(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x1f18(%rbx), %rcx
movsd %xmm0, 0x8(%rcx)
movq 0x1ef8(%rbx), %rcx
movq 0x1f18(%rbx), %rdx
movq 0xc48a1(%rip), %rsi     # 0x14aa40
movq 0x10(%rcx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ef8(%rbx), %rdx
movq %rbx, %rdi
callq 0x38dfa
movsd 0x8(%rsp), %xmm0
callq 0x86c0
cvttsd2si %xmm0, %rax
addq $0x10, %rsp
popq %rbx
retq
movq 0x1620(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x1f18(%rbx), %rcx
movsd %xmm0, 0x8(%rcx)
movq 0x1ef8(%rbx), %rcx
movq 0x1f18(%rbx), %rdx
movq 0xcf431(%rip), %rsi     # 0x155640
movq 0x10(%rcx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ef8(%rbx), %rdx
movq %rbx, %rdi
callq 0x38dfa
movsd 0x8(%rsp), %xmm0
jmp 0x8605b
// File: /workspace/github_c_makefile_star2_O3/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 0x86306
movq %xmm0, %rax
btrq $0x3f, %rax
movabsq $0x7ff0000000000000, %rcx # imm = 0x7FF0000000000000
cmpq %rcx, %rax
sete %al
movsd 0x7fe64(%rip), %xmm1    # 0x1060e0
ucomisd %xmm0, %xmm1
ja 0x86290
ucomisd 0x7fe4e(%rip), %xmm0    # 0x1060d8
ja 0x86290
testb %al, %al
je 0x862f6
movq 0xda8(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x1f18(%rbx), %rcx
movsd %xmm0, 0x8(%rcx)
movq 0x1ef8(%rbx), %rcx
movq 0x1f18(%rbx), %rdx
movq 0xc4784(%rip), %rsi     # 0x14aa40
movq 0x10(%rcx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ef8(%rbx), %rdx
movq %rbx, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0x38dfa
movsd 0x8(%rsp), %xmm0
callq 0x86c0
cvttsd2si %xmm0, %rax
addq $0x10, %rsp
popq %rbx
retq
movq 0xda8(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x1f18(%rbx), %rcx
movsd %xmm0, 0x8(%rcx)
movq 0x1ef8(%rbx), %rcx
movq 0x1f18(%rbx), %rdx
movq 0xcf30e(%rip), %rsi     # 0x155640
movq 0x10(%rcx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ef8(%rbx), %rdx
movq %rbx, %rdi
movsd %xmm0, 0x8(%rsp)
callq 0x38dfa
movsd 0x8(%rsp), %xmm0
jmp 0x8625a
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: modulo_i_ii
static s7_int c_mod(s7_int x, s7_int y)
    {
        s7_int z;
        if (y == 0) return(x);     /* else arithmetic exception */
        if ((y == 1) || (y == -1)) /* else (modulo most-negative-fixnum -1) will segfault with arithmetic exception */
            return(0);
        z = x % y;
        if (((y < 0) && (z > 0)) ||
                ((y > 0) && (z < 0)))
            return(z + y);
        return(z);
    }

// Assembly:
cmpq $-0x1, %rsi
je 0x8656a
movq %rdi, %rax
testq %rsi, %rsi
je 0x8656c
cmpq $0x1, %rsi
jne 0x8656d
xorl %eax, %eax
retq
cqto
idivq %rsi
testq %rsi, %rsi
sets %cl
movq %rdx, %rax
testq %rdx, %rdx
setg %dl
testb %dl, %cl
jne 0x86595
testq %rsi, %rsi
setle %cl
testq %rax, %rax
setns %dl
orb %cl, %dl
jne 0x8656c
addq %rsi, %rax
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: float_vector_p_d
static s7_pointer float_vector_p_d(s7_scheme *sc, s7_double x)
                {
                    s7_pointer vec;
                    vec = make_simple_float_vector(sc, 1);
                    float_vector(vec, 0) = x;
                    return(vec);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movsd %xmm0, 0x8(%rsp)
movq %rdi, %r14
movq 0x90(%rdi), %rax
cmpq 0x98(%rdi), %rax
ja 0x865ca
movq %r14, %rdi
callq 0xa550
movq 0x90(%r14), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r14)
movq -0x8(%rax), %rbx
movq $0x200017, (%rbx)       # imm = 0x200017
movq $0x1, 0x8(%rbx)
movq 0x850(%r14), %r15
testq %r15, %r15
je 0x86604
movq 0x18(%r15), %rax
movq %rax, 0x850(%r14)
jmp 0x866a4
movq 0x838(%r14), %r15
testq %r15, %r15
jne 0x8664f
movl $0x2800, %edi           # imm = 0x2800
callq 0x8480
movq %rax, %r15
movq %rax, 0x838(%r14)
addq $0x28, %rax
movl $0xff, %ecx
movq %rax, -0x10(%rax)
movl $0x0, -0x20(%rax)
addq $0x28, %rax
decl %ecx
jne 0x8662d
movq $0x0, -0x10(%rax)
movl $0x0, -0x20(%rax)
movq 0x18(%r15), %rax
movq %rax, 0x838(%r14)
movq 0x8c8(%r14), %rcx
leaq 0x8(%rcx), %rdx
cmpq $0x10000, %rdx          # imm = 0x10000
jbe 0x86688
movl $0x10000, %edi          # imm = 0x10000
callq 0x8480
movq %rax, 0x8d0(%r14)
movl $0x8, %edx
xorl %ecx, %ecx
jmp 0x8668f
movq 0x8d0(%r14), %rax
addq %rax, %rcx
movq %rdx, 0x8c8(%r14)
movq %rcx, (%r15)
movl $0x3, 0x8(%r15)
movq $0x8, 0x10(%r15)
movq %r15, 0x18(%rbx)
movq (%r15), %rax
movq %rax, 0x10(%rbx)
movq $0x0, 0x20(%r15)
leaq -0x4b67d(%rip), %rax    # 0x3b049
movq %rax, 0x20(%rbx)
leaq -0x4b62b(%rip), %rax    # 0x3b0a6
movq %rax, 0x28(%rbx)
movq 0x740(%r14), %r14
movq (%r14), %rax
movq 0x10(%r14), %rsi
cmpq 0x8(%r14), %rsi
jne 0x86704
leaq (%rsi,%rsi), %rcx
movq %rcx, 0x8(%r14)
shlq $0x4, %rsi
movq %rax, %rdi
callq 0x8510
movq %rax, (%r14)
movq 0x10(%r14), %rsi
leaq 0x1(%rsi), %rcx
movq %rcx, 0x10(%r14)
movq %rbx, (%rax,%rsi,8)
movq 0x10(%rbx), %rax
movsd 0x8(%rsp), %xmm0
movsd %xmm0, (%rax)
movq %rbx, %rax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: int_vector_p_i
static s7_pointer int_vector_p_i(s7_scheme *sc, s7_int x)
                {
                    s7_pointer vec;
                    vec = make_simple_int_vector(sc, 1);
                    int_vector(vec, 0) = x;
                    return(vec);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r15
movq 0x90(%rdi), %rax
cmpq 0x98(%rdi), %rax
ja 0x86758
movq %r15, %rdi
callq 0xa550
movq 0x90(%r15), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r15)
movq -0x8(%rax), %r14
movq $0x200016, (%r14)       # imm = 0x200016
movq $0x1, 0x8(%r14)
movq 0x850(%r15), %r12
testq %r12, %r12
je 0x86793
movq 0x18(%r12), %rax
movq %rax, 0x850(%r15)
jmp 0x86836
movq 0x838(%r15), %r12
testq %r12, %r12
jne 0x867de
movl $0x2800, %edi           # imm = 0x2800
callq 0x8480
movq %rax, %r12
movq %rax, 0x838(%r15)
addq $0x28, %rax
movl $0xff, %ecx
movq %rax, -0x10(%rax)
movl $0x0, -0x20(%rax)
addq $0x28, %rax
decl %ecx
jne 0x867bc
movq $0x0, -0x10(%rax)
movl $0x0, -0x20(%rax)
movq 0x18(%r12), %rax
movq %rax, 0x838(%r15)
movq 0x8c8(%r15), %rcx
leaq 0x8(%rcx), %rdx
cmpq $0x10000, %rdx          # imm = 0x10000
jbe 0x86818
movl $0x10000, %edi          # imm = 0x10000
callq 0x8480
movq %rax, 0x8d0(%r15)
movl $0x8, %edx
xorl %ecx, %ecx
jmp 0x8681f
movq 0x8d0(%r15), %rax
addq %rax, %rcx
movq %rdx, 0x8c8(%r15)
movq %rcx, (%r12)
movl $0x3, 0x8(%r12)
movq $0x8, 0x10(%r12)
movq %r12, 0x18(%r14)
movq (%r12), %rax
movq %rax, 0x10(%r14)
movq $0x0, 0x20(%r12)
leaq 0x12fda(%rip), %rax     # 0x99835
movq %rax, 0x20(%r14)
leaq 0x13035(%rip), %rax     # 0x9989b
movq %rax, 0x28(%r14)
movq 0x740(%r15), %r15
movq (%r15), %rax
movq 0x10(%r15), %rsi
cmpq 0x8(%r15), %rsi
jne 0x86899
leaq (%rsi,%rsi), %rcx
movq %rcx, 0x8(%r15)
shlq $0x4, %rsi
movq %rax, %rdi
callq 0x8510
movq %rax, (%r15)
movq 0x10(%r15), %rsi
leaq 0x1(%rsi), %rcx
movq %rcx, 0x10(%r15)
movq %r14, (%rax,%rsi,8)
movq 0x10(%r14), %rax
movq %rbx, (%rax)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x876b5
movq %rbx, %rdi
callq 0xa550
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 0x795fd
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_O3/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 0x8793b
movq %rbx, %rdi
callq 0xa550
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 0x79a82
movq 0x110(%rbx), %rcx
movq %rcx, 0x528(%rbx)
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/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), %ecx
leaq 0xc2f44(%rip), %rax     # 0x14a9f0
cmpb $0x0, (%rcx,%rax)
je 0x87ac2
movl $0x1, %eax
cmpb $0xb, %cl
je 0x87b2f
addq $0x10, %rbx
jmp 0x87b2c
movq %rdi, %r14
movq 0xe70(%rdi), %r15
movq 0x90(%rdi), %rax
movq 0x110(%rdi), %r12
cmpq 0x98(%rdi), %rax
ja 0x87af2
movq %r14, %rdi
callq 0xa550
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 0xcdae1(%rip), %r8      # 0x1555f8
movq %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
callq 0xfa261
movq %rax, %rbx
addq $0x8, %rbx
movq (%rbx), %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x87cb6
movq %r14, %rdi
movq %rbx, %rsi
callq 0x38d93
testb %al, %al
je 0x87cb6
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 0x943b6(%rip), %rax     # 0x11c058
movq %rax, 0x10(%rdx)
movq $0x1b, 0x8(%rdx)
movq %r14, %rdi
callq 0x38dfa
cmpq %rbx, 0x110(%r14)
je 0x87ce8
movl $0x1, %eax
cmpb $0x1, (%rbx)
jne 0x87cea
movq 0x8(%rbx), %rcx
cmpq 0x17b0(%r14), %rcx
je 0x87cea
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x9bbee
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x87e15
movq 0x8(%rdx), %rax
movb 0x2(%rax), %al
retq
cmpq %rdx, 0x188(%rdi)
jne 0x87e27
cmpq %rdx, 0x120(%rdi)
je 0x87e78
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 0x937f7(%rip), %rax     # 0x11b657
movq %rax, 0x10(%r8)
movq $0x6, 0x8(%r8)
callq 0xed2a
xorl %eax, %eax
addq $0x8, %rsp
retq
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x87f8c
movb 0x12(%r14), %al
jmp 0x88051
movq %rdi, %rbx
testb $0x40, 0x3(%r14)
je 0x8802b
cmpb $0x1, 0x24c(%rbx)
jne 0x8802b
movq %rbx, %rdi
movq %r14, %rsi
callq 0x8a63
movq 0x1030(%rbx), %rdx
movq %rbx, %rdi
movq %rax, %rsi
callq 0x89ff
cmpq 0x128(%rbx), %rax
je 0x8802b
movq %rax, %r15
movq 0x90(%rbx), %rax
movq 0x110(%rbx), %r12
cmpq 0x98(%rbx), %rax
ja 0x87ff6
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rdx
movq $0x200001, (%rdx)       # imm = 0x200001
movq %r14, 0x8(%rdx)
movq %r12, 0x10(%rdx)
movq %rbx, %rdi
movq %r15, %rsi
callq 0xaee6
cmpq 0x120(%rbx), %rax
setne %al
jmp 0x88051
movq 0x1030(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rbx), %rcx
movq 0xc2a5c(%rip), %r8      # 0x14aaa0
movq %rbx, %rdi
movq %r14, %rdx
callq 0xed2a
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x880c5
cmpl $0xb, %eax
jne 0x880d8
cmpq $0x0, 0x8(%rdx)
sete %al
retq
xorpd %xmm0, %xmm0
cmpeqsd 0x8(%rdx), %xmm0
movq %xmm0, %rax
andl $0x1, %eax
retq
leaq 0xc2891(%rip), %rcx     # 0x14a970
cmpb $0x0, (%rax,%rcx)
je 0x880e8
xorl %eax, %eax
retq
pushq %rax
movq 0x11c0(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xcd29e(%rip), %r8      # 0x1553a0
callq 0xed2a
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x88157
cmpl $0xb, %eax
je 0x8814d
leaq 0xc288a(%rip), %rcx     # 0x14a9b0
cmpb $0x0, (%rax,%rcx)
jne 0x8814d
movq 0x1110(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xc2983(%rip), %r8      # 0x14aac8
movq %rbx, %rdx
callq 0xed2a
movq 0x8(%rbx), %rax
shrq $0x3f, %rax
jmp 0x88163
xorpd %xmm0, %xmm0
ucomisd 0x8(%rbx), %xmm0
seta %al
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x881ae
cmpl $0xb, %eax
je 0x881a4
leaq 0xc2833(%rip), %rcx     # 0x14a9b0
cmpb $0x0, (%rax,%rcx)
jne 0x881a4
movq 0x1150(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xc292c(%rip), %r8      # 0x14aac8
movq %rbx, %rdx
callq 0xed2a
cmpq $0x0, 0x8(%rbx)
setg %al
jmp 0x881be
movsd 0x8(%rbx), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
seta %al
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x8841a
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
cmpq $0x0, 0x6a0(%rdi)
jle 0x883be
movq %r14, %rdi
movq %r15, %rsi
callq 0x38d93
testb %al, %al
je 0x8836e
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 0x93d1a(%rip), %rax     # 0x11c074
movq %rax, 0x10(%rdx)
movq $0x24, 0x8(%rdx)
movq %r14, %rdi
callq 0x38dfa
movq %r14, %rdi
movq %rbx, %rsi
callq 0x38d93
testb %al, %al
je 0x883be
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 0x8f683(%rip), %rax     # 0x117a2d
movq %rax, 0x10(%rdx)
movq $0x1d, 0x8(%rdx)
movq %r14, %rdi
callq 0x38dfa
incl 0xa88(%r14)
jne 0x88404
movl $0x1, 0xa88(%r14)
incl 0xa8c(%r14)
jmp 0x88404
movq 0x8(%r15), %rax
cmpb $0xa, (%rax)
jne 0x88400
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
cmpb $0x1, (%r15)
je 0x883db
movq %r14, %rdi
movq %rbx, %rsi
popq %rbx
popq %r14
popq %r15
jmp 0xccbbd
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x8859b
movq 0x8(%rbx), %rax
cmpq $0xff, %rax
ja 0x88605
movq 0xc24cd(%rip), %rcx     # 0x14aa58
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 0x885c8
movq %r14, %rdi
callq 0xa550
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 %r14, %rdi
movq %rbx, %rsi
movq %r15, %rdx
movl $0xb, %r8d
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x95069
leaq 0x87332(%rip), %rsi     # 0x10f93e
leaq 0x93a86(%rip), %r8      # 0x11c099
movl $0x1, %edx
movq %r14, %rdi
movq %rbx, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x437a3
// File: /workspace/github_c_makefile_star2_O3/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 0x889f0
movq %rbx, %rdi
movq %r14, %rsi
callq 0x38d93
testb %al, %al
je 0x889f0
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 0x9367c(%rip), %rax     # 0x11c058
movq %rax, 0x10(%rdx)
movq $0x1b, 0x8(%rdx)
movq %rbx, %rdi
callq 0x38dfa
cmpq %r14, 0x110(%rbx)
je 0x88a21
movl $0x1, %esi
cmpb $0x1, (%r14)
jne 0x88a23
movq 0x8(%r14), %rax
cmpq 0x17b0(%rbx), %rax
je 0x88a23
movq %rbx, %rdi
movq %r14, %rsi
callq 0x9bbee
movq %rax, %rsi
jmp 0x88a23
xorl %esi, %esi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xd27e
// File: /workspace/github_c_makefile_star2_O3/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 0x88a60
testb $0x4, 0x2(%rsi)
jne 0x88a8e
movq 0x120(%rbx), %rax
jmp 0x88ae1
movq 0x13d0(%rbx), %rdx
movq 0x700(%rbx), %rax
movq %rsi, 0x8(%rax)
movq 0x700(%rbx), %rcx
movq %rbx, %rdi
movl $0x1, %r8d
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x95069
movl 0x2c(%rsi), %r14d
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x88aa8
leaq 0xbdeae(%rip), %rax     # 0x146950
movq (%rax,%r14,8), %rax
jmp 0x88ae1
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x88ac7
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O3/BernardTatin[P]s7sh/s7.c
// Function: 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, %r14
movq %rdi, %r15
xorl %edx, %edx
movl $0x16, %ecx
callq 0x3a74f
movq %rax, %rbx
movq %rax, %rdi
movq %r14, %rsi
callq 0x99a75
movq 0x740(%r15), %r14
movq (%r14), %rax
movq 0x10(%r14), %rsi
cmpq 0x8(%r14), %rsi
jne 0x88f2a
leaq (%rsi,%rsi), %rcx
movq %rcx, 0x8(%r14)
shlq $0x4, %rsi
movq %rax, %rdi
callq 0x8510
movq %rax, (%r14)
movq 0x10(%r14), %rsi
leaq 0x1(%rsi), %rcx
movq %rcx, 0x10(%r14)
movq %rbx, (%rax,%rsi,8)
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x88f87
cmpq %r14, 0x2a0(%rbx)
jge 0x89039
movq 0x12d0(%rbx), %rax
movq 0x8(%rax), %r12
movq 0xbd9e7(%rip), %r15     # 0x146958
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x88f99
leaq 0xbd9cf(%rip), %rax     # 0x146950
movq (%rax,%r14,8), %rax
jmp 0x88fd2
movq 0x12d0(%rbx), %rax
movq 0x8(%rax), %r12
movq 0xbd9bf(%rip), %r15     # 0x146958
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x88fb8
movq %rbx, %rdi
callq 0xa550
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %r14, 0x8(%rax)
testq %r14, %r14
leaq 0xc1a6c(%rip), %rcx     # 0x14aa48
leaq 0xc1a5d(%rip), %rdx     # 0x14aa40
cmovsq %rcx, %rdx
movq (%rdx), %rcx
movq 0x1ee8(%rbx), %rdx
movq 0x10(%rdx), %rdx
movq %r12, 0x8(%rdx)
movq 0x10(%rdx), %rdx
movq %r15, 0x8(%rdx)
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x1948(%rbx), %r12
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
movq %r12, %rsi
callq 0x38dfa
movq %r12, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rdx, %r15
cmpq $0x100, %rdx            # imm = 0x100
jb 0x89069
movq 0x12d0(%rbx), %rax
movq 0x8(%rax), %r14
cmpq $0x7ff, %r15            # imm = 0x7FF
ja 0x890c3
leaq 0xbd8f0(%rip), %rax     # 0x146950
movq (%rax,%r15,8), %rdx
jmp 0x890fc
movq %rbx, %rdi
movq %r14, %rsi
callq 0x3cd0e
movq %rax, %r12
testq %r14, %r14
je 0x8902a
movq 0x10(%r12), %rdi
cmpq $0x8, %r14
jb 0x890b2
movq %r14, %rax
shrq $0x3, %rax
movabsq $0x101010101010101, %rcx # imm = 0x101010101010101
imulq %r15, %rcx
movq %rcx, (%rdi)
addq $0x8, %rdi
decq %rax
jne 0x8909c
andq $0x7, %r14
je 0x8902a
movzbl %r15b, %esi
movq %r14, %rdx
callq 0x8270
jmp 0x8902a
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x890e2
movq %rbx, %rdi
callq 0xa550
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 0xc9f56(%rip), %r8      # 0x153060
movq %rbx, %rdi
movq %r14, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xed2a
// File: /workspace/github_c_makefile_star2_O3/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 0x89206
cmpl $0xb, %eax
jne 0x8922c
xorl %eax, %eax
cmpq $0x0, 0x8(%rdx)
setne %al
jmp 0x89218
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 0xc173d(%rip), %rcx     # 0x14a970
movl $0x120, %r14d           # imm = 0x120
cmpb $0x0, (%rax,%rcx)
jne 0x89220
movq 0x11c0(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rbx), %rcx
movq 0xcc148(%rip), %r8      # 0x1553a0
movq %rbx, %rdi
callq 0xed2a
jmp 0x89220
// File: /workspace/github_c_makefile_star2_O3/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 0x892b4
cmpl $0xb, %eax
je 0x892aa
leaq 0xc1730(%rip), %rcx     # 0x14a9b0
cmpb $0x0, (%rax,%rcx)
jne 0x892aa
movq 0x1150(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rbx), %rcx
movq 0xc1829(%rip), %r8      # 0x14aac8
movq %rbx, %rdi
movq %r14, %rdx
callq 0xed2a
cmpq $0x0, 0x8(%r14)
setg %al
jmp 0x892c5
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_O3/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 0x893e5
cmpq $0x3e, %rsi
ja 0x89414
testb $0x1, 0xc1889(%rip)     # 0x14ac60
je 0x89414
btq %rsi, %rbx
setb %bl
jmp 0x894a6
movq 0xc1644(%rip), %r14     # 0x14aa30
movq 0x12a0(%r14), %rax
movq 0x8(%rax), %r12
movq 0xbd562(%rip), %r15     # 0x146960
cmpq $0x7ff, %rbx            # imm = 0x7FF
ja 0x8941d
leaq 0xbd542(%rip), %rax     # 0x146950
movq (%rax,%rbx,8), %rax
jmp 0x89460
shrq $0x3f, %rbx
jmp 0x894a6
movq 0x90(%r14), %rax
movq %r14, %rcx
cmpq 0x98(%r14), %rax
ja 0x89446
movq %r14, %rdi
callq 0xa550
movq 0xc15f1(%rip), %rcx     # 0x14aa30
movq 0x90(%rcx), %rax
leaq -0x8(%rax), %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %rbx, 0x8(%rax)
movq 0xc15e1(%rip), %rcx     # 0x14aa48
movq 0x1ee8(%r14), %rdx
movq 0x10(%rdx), %rdx
movq %r12, 0x8(%rdx)
movq 0x10(%rdx), %rdx
movq %r15, 0x8(%rdx)
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x1948(%r14), %rsi
movq 0x1ee8(%r14), %rdx
movq %r14, %rdi
callq 0x38dfa
xorl %ebx, %ebx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x8954e
cmpb $0xb, (%rdx)
jne 0x8952d
movq 0x8(%rbx), %rdi
movq 0x8(%rdx), %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x893ba
movq 0x12a0(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xc1572(%rip), %r8      # 0x14aab8
movq %r14, %rdi
callq 0xed2a
movq 0x12a0(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xc1551(%rip), %r8      # 0x14aab8
movq %r14, %rdi
movq %rbx, %rdx
callq 0xed2a
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x89597
cmpl $0xb, %eax
jne 0x895b3
xorl %eax, %eax
cmpq %rdx, 0x8(%rcx)
setne %al
jmp 0x895aa
cvtsi2sd %rdx, %xmm0
cmpneqsd 0x8(%rcx), %xmm0
movq %xmm0, %rax
andl $0x1, %eax
movq 0x118(%rdi,%rax,8), %rax
retq
leaq 0xc13b6(%rip), %rdx     # 0x14a970
cmpb $0x1, (%rax,%rdx)
jne 0x895c8
movq 0x120(%rdi), %rax
retq
movq 0xea0(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0xbd37e(%rip), %rdx     # 0x146958
movq 0x140(%rdi), %r8
movq 0xcbdb8(%rip), %r9      # 0x1553a0
jmp 0xa4e4
// File: /workspace/github_c_makefile_star2_O3/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 0x8a2aa
leaq 0x7db8e(%rip), %rsi     # 0x107e10
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 0xcb0dc(%rip), %r8      # 0x1553a0
movq %rax, %rdx
callq 0xed2a
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x8a2fb
cmpl $0xc, %ecx
je 0x8a2f0
cmpl $0xb, %ecx
jne 0x8a309
cmpq %rdx, 0x8(%rax)
setl %al
retq
movq %rax, %rdi
movq %rdx, %rsi
jmp 0xd13f5
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 0xc07a5(%rip), %r8      # 0x14aac8
movq %rax, %rdx
callq 0xed2a
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x8a35a
cmpl $0xc, %ecx
je 0x8a34f
cmpl $0xb, %ecx
jne 0x8a368
cmpq %rdx, 0x8(%rax)
setle %al
retq
movq %rax, %rdi
movq %rdx, %rsi
jmp 0xd1469
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 0xc0746(%rip), %r8      # 0x14aac8
movq %rax, %rdx
callq 0xed2a
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x8a3bf
cmpl $0xc, %ecx
je 0x8a3b0
cmpl $0xb, %ecx
jne 0x8a3d2
cmpq %rdx, 0x8(%rax)
setg %al
jmp 0x8a3f5
movq %rax, %rdi
movq %rdx, %rsi
callq 0xd1469
xorb $0x1, %al
jmp 0x8a3f5
movsd 0x8(%rax), %xmm0
cvtsi2sd %rdx, %xmm1
ucomisd %xmm1, %xmm0
seta %al
jmp 0x8a3f5
movq 0xf58(%rdi), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rdi), %rcx
movq 0xc06dd(%rip), %r8      # 0x14aac8
movq %rax, %rdx
callq 0xed2a
xorl %eax, %eax
popq %rcx
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x8a425
cmpl $0xc, %ecx
je 0x8a416
cmpl $0xb, %ecx
jne 0x8a438
cmpq %rdx, 0x8(%rax)
setge %al
jmp 0x8a45b
movq %rax, %rdi
movq %rdx, %rsi
callq 0xd13f5
xorb $0x1, %al
jmp 0x8a45b
cvtsi2sd %rdx, %xmm0
movsd 0x8(%rax), %xmm1
ucomisd %xmm0, %xmm1
setae %al
jmp 0x8a45b
movq 0xf48(%rdi), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rdi), %rcx
movq 0xc0677(%rip), %r8      # 0x14aac8
movq %rax, %rdx
callq 0xed2a
xorl %eax, %eax
popq %rcx
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x8b7ee
testb $-0x80, 0x6(%rdx)
je 0x8b7e6
movq 0x8(%rdx), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rdx
movq %rdx, %rsi
jmp 0xe961f
movq 0x1230(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xbf2a9(%rip), %r8      # 0x14aab0
jmp 0xed2a
// File: /workspace/github_c_makefile_star2_O3/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 0x8c17b
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 0x8c1a7
incq %r9
cmpq %r9, %rax
jne 0x8c164
andl $0x7, %edx
jmp 0x8c181
movq %rdi, %rcx
movq %rsi, %r8
testq %rdx, %rdx
je 0x8c1a4
decq %rdx
xorl %esi, %esi
movb (%rcx,%rsi), %al
cmpb (%r8,%rsi), %al
sete %al
jne 0x8c1a3
leaq 0x1(%rsi), %rdi
cmpq %rsi, %rdx
movq %rdi, %rsi
jne 0x8c18b
retq
movb $0x1, %al
retq
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O3/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 0x8c4a8
addl $0x100, 0x7d8(%r14) # imm = 0x100
movl $0x100, %edi            # imm = 0x100
movl $0x38, %esi
callq 0x8360
movq %rax, 0x818(%r14)
xorl %ecx, %ecx
jmp 0x8c4af
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