LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/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 0x8e88b
cmpl $0xb, %eax
je 0x8e881
leaq 0xc4156(%rip), %rcx     # 0x1529b0
cmpb $0x0, (%rax,%rcx)
jne 0x8e881
movq 0x1150(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xc424f(%rip), %r8      # 0x152ac8
movq %rbx, %rdx
callq 0xfac8
cmpq $0x0, 0x8(%rbx)
setg %al
jmp 0x8e89b
movsd 0x8(%rbx), %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
seta %al
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x8eb01
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %rbx
movq %rsi, %r15
movq %rdi, %r14
cmpq $0x0, 0x6a0(%rdi)
jle 0x8eaa5
movq %r14, %rdi
movq %r15, %rsi
callq 0x3b2ff
testb %al, %al
je 0x8ea55
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 0x96523(%rip), %rax     # 0x124f64
movq %rax, 0x10(%rdx)
movq $0x24, 0x8(%rdx)
movq %r14, %rdi
callq 0x3b366
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3b2ff
testb %al, %al
je 0x8eaa5
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 0x91e8c(%rip), %rax     # 0x12091d
movq %rax, 0x10(%rdx)
movq $0x1d, 0x8(%rdx)
movq %r14, %rdi
callq 0x3b366
incl 0xa88(%r14)
jne 0x8eaeb
movl $0x1, 0xa88(%r14)
incl 0xa8c(%r14)
jmp 0x8eaeb
movq 0x8(%r15), %rax
cmpb $0xa, (%rax)
jne 0x8eae7
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 0x8eac2
movq %r14, %rdi
movq %rbx, %rsi
popq %rbx
popq %r14
popq %r15
jmp 0xd5599
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x8ec94
movq 0x8(%rbx), %rax
cmpq $0xff, %rax
ja 0x8ecfe
movq 0xc3dd4(%rip), %rcx     # 0x152a58
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 0x8ecba
movq %r14, %rdi
callq 0xb389
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 0x9b739
leaq 0x89b29(%rip), %rsi     # 0x11882e
leaq 0x9627d(%rip), %r8      # 0x124f89
movl $0x1, %edx
movq %r14, %rdi
movq %rbx, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x46263
// File: /workspace/github_c_makefile_star2_O1/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 0x8f0e9
movq %rbx, %rdi
movq %r14, %rsi
callq 0x3b2ff
testb %al, %al
je 0x8f0e9
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 0x95e73(%rip), %rax     # 0x124f48
movq %rax, 0x10(%rdx)
movq $0x1b, 0x8(%rdx)
movq %rbx, %rdi
callq 0x3b366
cmpq %r14, 0x110(%rbx)
je 0x8f11a
movl $0x1, %esi
cmpb $0x1, (%r14)
jne 0x8f11c
movq 0x8(%r14), %rax
cmpq 0x17b0(%rbx), %rax
je 0x8f11c
movq %rbx, %rdi
movq %r14, %rsi
callq 0xa25cc
movq %rax, %rsi
jmp 0x8f11c
xorl %esi, %esi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xdff8
// File: /workspace/github_c_makefile_star2_O1/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 0x8f159
testb $0x4, 0x2(%rsi)
jne 0x8f187
movq 0x120(%rbx), %rax
jmp 0x8f1da
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 0x9b739
movl 0x2c(%rsi), %r14d
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x8f1a1
leaq 0xbf7b5(%rip), %rax     # 0x14e950
movq (%rax,%r14,8), %rax
jmp 0x8f1da
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x8f1b9
movq %rbx, %rdi
callq 0xb389
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_O1/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 0x3ccdf
movq %rax, %rbx
movq %rax, %rdi
movq %r14, %rsi
callq 0xa0344
movq 0x740(%r15), %r14
movq 0x8(%r14), %rsi
cmpq %rsi, 0x10(%r14)
jne 0x8f60a
leaq (%rsi,%rsi), %rax
movq %rax, 0x8(%r14)
movq (%r14), %rdi
shlq $0x4, %rsi
callq 0x9510
movq %rax, (%r14)
movq (%r14), %rax
movq 0x10(%r14), %rcx
leaq 0x1(%rcx), %rdx
movq %rdx, 0x10(%r14)
movq %rbx, (%rax,%rcx,8)
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/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, %rbx
movq %rdi, %r14
testq %rsi, %rsi
js 0x8f646
cmpq %rbx, 0x2a0(%r14)
jge 0x8f70e
movq 0x12d0(%r14), %rax
movq 0x8(%rax), %r12
movq 0xbf300(%rip), %r15     # 0x14e958
cmpq $0x7ff, %rbx            # imm = 0x7FF
ja 0x8f66e
leaq 0xbf2e8(%rip), %rax     # 0x14e950
movq (%rax,%rbx,8), %rax
jmp 0x8f6a7
movq 0x90(%r14), %rax
cmpq 0x98(%r14), %rax
ja 0x8f686
movq %r14, %rdi
callq 0xb389
movq 0x90(%r14), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r14)
movq -0x8(%rax), %rax
movq $0xb, (%rax)
movq %rbx, 0x8(%rax)
testq %rbx, %rbx
leaq 0xc3397(%rip), %rcx     # 0x152a48
leaq 0xc3388(%rip), %rdx     # 0x152a40
cmovsq %rcx, %rdx
movq (%rdx), %rcx
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), %r12
movq 0x1ee8(%r14), %rdx
movq %r14, %rdi
movq %r12, %rsi
callq 0x3b366
movq %r12, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq %rdx, %r15
cmpq $0x100, %rdx            # imm = 0x100
jb 0x8f73e
movq 0x12d0(%r14), %rax
movq 0x8(%rax), %rbx
cmpq $0x7ff, %r15            # imm = 0x7FF
ja 0x8f79a
leaq 0xbf21b(%rip), %rax     # 0x14e950
movq (%rax,%r15,8), %rdx
jmp 0x8f7d3
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3f2f5
movq %rax, %r12
testq %rbx, %rbx
je 0x8f6ff
movq 0x10(%r12), %rdi
cmpq $0x8, %rbx
jb 0x8f780
movq %rbx, %rax
shrq $0x3, %rax
movabsq $0x101010101010101, %rcx # imm = 0x101010101010101
imulq %r15, %rcx
movq %rcx, (%rdi)
addq $0x8, %rdi
decq %rax
jne 0x8f771
andl $0x7, %ebx
testq %rbx, %rbx
je 0x8f6ff
movzbl %r15b, %esi
movq %rbx, %rdx
callq 0x9270
jmp 0x8f6ff
movq 0x90(%r14), %rax
cmpq 0x98(%r14), %rax
ja 0x8f7b2
movq %r14, %rdi
callq 0xb389
movq 0x90(%r14), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%r14)
movq -0x8(%rax), %rdx
movq $0xb, (%rdx)
movq %r15, 0x8(%rdx)
movq 0x140(%r14), %rcx
movq 0xcb87f(%rip), %r8      # 0x15b060
movq %r14, %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xfac8
// File: /workspace/github_c_makefile_star2_O1/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 0x8f8dd
cmpl $0xb, %eax
jne 0x8f903
xorl %eax, %eax
cmpq $0x0, 0x8(%rdx)
setne %al
jmp 0x8f8ef
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 0xc3066(%rip), %rcx     # 0x152970
movl $0x120, %r14d           # imm = 0x120
cmpb $0x0, (%rax,%rcx)
jne 0x8f8f7
movq 0x11c0(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rbx), %rcx
movq 0xcda71(%rip), %r8      # 0x15d3a0
movq %rbx, %rdi
callq 0xfac8
jmp 0x8f8f7
// File: /workspace/github_c_makefile_star2_O1/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 0x8f98b
cmpl $0xb, %eax
je 0x8f981
leaq 0xc3059(%rip), %rcx     # 0x1529b0
cmpb $0x0, (%rax,%rcx)
jne 0x8f981
movq 0x1150(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rbx), %rcx
movq 0xc3152(%rip), %r8      # 0x152ac8
movq %rbx, %rdi
movq %r14, %rdx
callq 0xfac8
cmpq $0x0, 0x8(%r14)
setg %al
jmp 0x8f99c
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_O1/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 0x8fac4
xorl %eax, %eax
cmpb $0x0, 0xc31b6(%rip)     # 0x152c60
movl $0x3f, %ecx
cmoveq %rax, %rcx
cmpq %rsi, %rcx
jle 0x8faf3
btq %rsi, %rbx
setb %bl
jmp 0x8fb82
movq 0xc2f65(%rip), %r14     # 0x152a30
movq 0x12a0(%r14), %rax
movq 0x8(%rax), %r12
movq 0xbee83(%rip), %r15     # 0x14e960
cmpq $0x7ff, %rbx            # imm = 0x7FF
ja 0x8fafc
leaq 0xbee63(%rip), %rax     # 0x14e950
movq (%rax,%rbx,8), %rax
jmp 0x8fb3c
shrq $0x3f, %rbx
jmp 0x8fb82
movq 0x90(%r14), %rax
cmpq 0x98(%r14), %rax
ja 0x8fb14
movq %r14, %rdi
callq 0xb389
movq 0xc2f15(%rip), %rax     # 0x152a30
movq 0x90(%rax), %rcx
leaq -0x8(%rcx), %rdx
movq %rdx, 0x90(%rax)
movq -0x8(%rcx), %rax
movq $0xb, (%rax)
movq %rbx, 0x8(%rax)
movq 0xc2f05(%rip), %rcx     # 0x152a48
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 0x3b366
xorl %ebx, %ebx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x8fc2a
cmpb $0xb, (%rdx)
jne 0x8fc09
movq 0x8(%rbx), %rdi
movq 0x8(%rdx), %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x8fa91
movq 0x12a0(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xc2e96(%rip), %r8      # 0x152ab8
movq %r14, %rdi
callq 0xfac8
movq 0x12a0(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xc2e75(%rip), %r8      # 0x152ab8
movq %r14, %rdi
movq %rbx, %rdx
callq 0xfac8
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x8fc73
cmpl $0xb, %eax
jne 0x8fc8f
xorl %eax, %eax
cmpq %rdx, 0x8(%rcx)
setne %al
jmp 0x8fc86
cvtsi2sd %rdx, %xmm0
cmpneqsd 0x8(%rcx), %xmm0
movq %xmm0, %rax
andl $0x1, %eax
movq 0x118(%rdi,%rax,8), %rax
retq
leaq 0xc2cda(%rip), %rdx     # 0x152970
cmpb $0x1, (%rax,%rdx)
jne 0x8fca4
movq 0x120(%rdi), %rax
retq
movq 0xea0(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0xbeca2(%rip), %rdx     # 0x14e958
movq 0x140(%rdi), %r8
movq 0xcd6dc(%rip), %r9      # 0x15d3a0
jmp 0xb31d
// File: /workspace/github_c_makefile_star2_O1/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 0x90986
leaq 0x80432(%rip), %rsi     # 0x110d90
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 0xcca00(%rip), %r8      # 0x15d3a0
movq %rax, %rdx
callq 0xfac8
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x909d7
cmpl $0xc, %ecx
je 0x909cc
cmpl $0xb, %ecx
jne 0x909e5
cmpq %rdx, 0x8(%rax)
setl %al
retq
movq %rax, %rdi
movq %rdx, %rsi
jmp 0xd9bd7
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 0xc20c9(%rip), %r8      # 0x152ac8
movq %rax, %rdx
callq 0xfac8
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x90a36
cmpl $0xc, %ecx
je 0x90a2b
cmpl $0xb, %ecx
jne 0x90a44
cmpq %rdx, 0x8(%rax)
setle %al
retq
movq %rax, %rdi
movq %rdx, %rsi
jmp 0xd9c44
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 0xc206a(%rip), %r8      # 0x152ac8
movq %rax, %rdx
callq 0xfac8
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x90a9b
cmpl $0xc, %ecx
je 0x90a8c
cmpl $0xb, %ecx
jne 0x90aae
cmpq %rdx, 0x8(%rax)
setg %al
jmp 0x90ad1
movq %rax, %rdi
movq %rdx, %rsi
callq 0xd9c44
xorb $0x1, %al
jmp 0x90ad1
movsd 0x8(%rax), %xmm0
cvtsi2sd %rdx, %xmm1
ucomisd %xmm1, %xmm0
seta %al
jmp 0x90ad1
movq 0xf58(%rdi), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rdi), %rcx
movq 0xc2001(%rip), %r8      # 0x152ac8
movq %rax, %rdx
callq 0xfac8
xorl %eax, %eax
popq %rcx
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x90b01
cmpl $0xc, %ecx
je 0x90af2
cmpl $0xb, %ecx
jne 0x90b14
cmpq %rdx, 0x8(%rax)
setge %al
jmp 0x90b37
movq %rax, %rdi
movq %rdx, %rsi
callq 0xd9bd7
xorb $0x1, %al
jmp 0x90b37
cvtsi2sd %rdx, %xmm0
movsd 0x8(%rax), %xmm1
ucomisd %xmm0, %xmm1
setae %al
jmp 0x90b37
movq 0xf48(%rdi), %rcx
movq 0x8(%rcx), %rsi
movq 0x140(%rdi), %rcx
movq 0xc1f9b(%rip), %r8      # 0x152ac8
movq %rax, %rdx
callq 0xfac8
xorl %eax, %eax
popq %rcx
retq
// File: /workspace/github_c_makefile_star2_O1/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 0x91bc9
testb $-0x80, 0x6(%rdx)
je 0x91bc1
movq 0x8(%rdx), %rax
movq 0x20(%rax), %rax
movq 0x18(%rax), %rdx
movq %rdx, %rsi
jmp 0xf2369
movq 0x1230(%rdi), %rax
movq 0x8(%rax), %rsi
movq 0x140(%rdi), %rcx
movq 0xc0ece(%rip), %r8      # 0x152ab0
jmp 0xfac8
// File: /workspace/github_c_makefile_star2_O1/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 0x9257b
movq %rdx, %r10
shrq $0x3, %r10
movq %rdx, %r8
andq $-0x8, %r8
leaq (%rsi,%r8), %r9
addq %rdi, %r8
xorl %r11d, %r11d
movq (%rdi,%r11,8), %rax
movq (%rsi,%r11,8), %rcx
cmpq %rcx, %rax
jne 0x92576
incq %r11
cmpq %r11, %r10
jne 0x92558
andl $0x7, %edx
movq %r8, %rdi
movq %r9, %rsi
cmpq %rcx, %rax
jne 0x925a0
testq %rdx, %rdx
je 0x9259d
decq %rdx
xorl %ecx, %ecx
movb (%rdi,%rcx), %al
cmpb (%rsi,%rcx), %al
sete %al
jne 0x9259c
leaq 0x1(%rcx), %r8
cmpq %rcx, %rdx
movq %r8, %rcx
jne 0x92585
retq
movb $0x1, %al
retq
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/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
cmpl $0x100, 0x810(%rdi)     # imm = 0x100
jne 0x928a5
addl $0x100, 0x7d8(%r14) # imm = 0x100
movl $0x100, %edi            # imm = 0x100
movl $0x38, %esi
callq 0x9360
movq %rax, 0x818(%r14)
movl $0x0, 0x810(%r14)
movq 0x818(%r14), %rcx
movl 0x810(%r14), %eax
leal 0x1(%rax), %edx
movl %edx, 0x810(%r14)
imulq $0x38, %rax, %rdx
leaq (%rcx,%rdx), %rax
movq %rbx, 0x30(%rcx,%rdx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/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:
cmpb $0x1c, (%rdi)
jne 0x94ed2
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movabsq $-0x8000000000000000, %r14 # imm = 0x8000000000000000
leaq 0xb99f8(%rip), %r15     # 0x14e770
movq (%rbx), %rax
testq %rax, %rax
js 0x94ec7
movq %rax, %rcx
orq %r14, %rcx
movq %rcx, (%rbx)
btl $0x10, %eax
jae 0x94de9
movq 0x20(%rbx), %r12
orq %r14, (%r12)
movq 0x10(%r12), %rdi
cmpq $0x0, (%rdi)
js 0x94dad
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
testb $0x4, 0x2(%r12)
je 0x94dc7
movq 0x28(%r12), %rdi
cmpq $0x0, (%rdi)
js 0x94dc7
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
testb $0x20, 0x3(%r12)
je 0x94de1
movq 0x20(%r12), %rdi
cmpq $0x0, (%rdi)
js 0x94de1
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
movq 0x8(%r12), %rax
orq %r14, (%rax)
testb $-0x80, 0x2(%rbx)
je 0x94e4c
movq 0x28(%rbx), %r12
cmpb $0x20, (%r12)
jne 0x94e4c
orq %r14, (%r12)
movq 0x10(%r12), %rdi
cmpq $0x0, (%rdi)
js 0x94e10
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
testb $0x4, 0x2(%r12)
je 0x94e2a
movq 0x28(%r12), %rdi
cmpq $0x0, (%rdi)
js 0x94e2a
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
testb $0x20, 0x3(%r12)
je 0x94e44
movq 0x20(%r12), %rdi
cmpq $0x0, (%rdi)
js 0x94e44
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
movq 0x8(%r12), %rax
orq %r14, (%rax)
movq 0x8(%rbx), %r12
testq %r12, %r12
je 0x94eba
movq (%r12), %rax
testq %rax, %rax
js 0x94eb3
orq %r14, %rax
movq %rax, (%r12)
movq 0x10(%r12), %rdi
cmpq $0x0, (%rdi)
js 0x94e77
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
testb $0x4, 0x2(%r12)
je 0x94e91
movq 0x28(%r12), %rdi
cmpq $0x0, (%rdi)
js 0x94e91
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
testb $0x20, 0x3(%r12)
je 0x94eab
movq 0x20(%r12), %rdi
cmpq $0x0, (%rdi)
js 0x94eab
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
movq 0x8(%r12), %rax
orq %r14, (%rax)
movq 0x18(%r12), %r12
jmp 0x94e50
movq 0x10(%rbx), %rbx
cmpb $0x1c, (%rbx)
je 0x94d78
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/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 %r15
pushq %r14
pushq %rbx
orb $-0x80, 0x7(%rdi)
movq 0x10(%rdi), %rbx
testq %rbx, %rbx
je 0x94f30
testq %rsi, %rsi
jle 0x94f30
leaq (%rbx,%rsi,8), %r14
leaq 0xb987b(%rip), %r15     # 0x14e770
movq (%rbx), %rdi
cmpq $0x0, (%rdi)
js 0x94f05
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
movq 0x8(%rbx), %rdi
cmpq $0x0, (%rdi)
js 0x94f16
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
movq 0x10(%rbx), %rdi
cmpq $0x0, (%rdi)
js 0x94f27
movzbl (%rdi), %eax
callq *(%r15,%rax,8)
addq $0x20, %rbx
cmpq %r14, %rbx
jb 0x94ef5
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/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 %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
leaq 0xb982c(%rip), %r14     # 0x14e770
orb $-0x80, 0x7(%rbx)
movq 0x8(%rbx), %rdi
cmpq $0x0, (%rdi)
js 0x94f59
movzbl (%rdi), %eax
callq *(%r14,%rax,8)
movq 0x10(%rbx), %rbx
cmpb $0x1, (%rbx)
jne 0x94f68
cmpq $0x0, (%rbx)
jns 0x94f44
cmpq $0x0, (%rbx)
js 0x94f81
movzbl (%rbx), %eax
movq %rbx, %rdi
movq %r14, %rcx
addq $0x8, %rsp
popq %rbx
popq %r14
jmpq *(%rcx,%rax,8)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/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
cmpq $0x0, (%rdi)
js 0x94fdf
movzbl (%rdi), %eax
leaq 0xb9794(%rip), %rcx     # 0x14e770
callq *(%rcx,%rax,8)
testb $0x4, 0x2(%rbx)
je 0x94ffc
movq 0x28(%rbx), %rdi
cmpq $0x0, (%rdi)
js 0x94ffc
movzbl (%rdi), %eax
leaq 0xb9777(%rip), %rcx     # 0x14e770
callq *(%rcx,%rax,8)
movabsq $-0x8000000000000000, %r14 # imm = 0x8000000000000000
testb $0x20, 0x3(%rbx)
je 0x95023
movq 0x20(%rbx), %rdi
cmpq $0x0, (%rdi)
js 0x95023
movzbl (%rdi), %eax
leaq 0xb9750(%rip), %rcx     # 0x14e770
callq *(%rcx,%rax,8)
movq 0x8(%rbx), %rax
orq %r14, (%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/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 %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
cmpq $0x0, 0x10(%rsi)
je 0x950e2
movq %rdi, %r14
leaq 0x10(%rbx), %r15
movq 0x8(%rbx), %rax
movq 0x38(%rax), %r12
movslq 0x8(%r12), %rax
cmpq $0x11, %rax
jne 0x950b9
movq (%r12), %rdi
testq %rdi, %rdi
je 0x950a7
callq 0x9050
movq $0x0, (%r12)
movl $0x0, 0x8(%r12)
addq $0x838, %r14            # imm = 0x838
jmp 0x950c4
leaq (%r14,%rax,8), %r14
addq $0x838, %r14            # imm = 0x838
movq (%r14), %rax
movq %rax, 0x18(%r12)
movq %r12, (%r14)
movq 0x8(%rbx), %rax
movq $0x0, 0x38(%rax)
xorps %xmm0, %xmm0
movups %xmm0, (%r15)
movq 0x8(%rbx), %rax
movb $0x0, (%rax)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/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
cmpb $0x14, (%rsi)
jne 0x9535e
movq 0x18(%rax), %rax
cmpb $0x1c, (%rax)
jne 0x95364
retq
movq 0x8(%rdx), %rsi
movq 0x140(%rdi), %rcx
movq 0xbd5e2(%rip), %r8      # 0x152958
movq %rax, %rdx
jmp 0xfac8
// File: /workspace/github_c_makefile_star2_O1/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:
movb $0x1, %al
testb $0x1, 0x3(%rsi)
jne 0x953fb
testb $0x1, 0x6(%rsi)
je 0x953fc
movq 0x8(%rdi), %rcx
movq 0x18(%rcx), %rdi
movq 0x20(%rsi), %rdx
movl $0x18, %eax
cmpq %rdx, %rdi
je 0x953ed
jle 0x953b1
movq 0x10(%rcx), %rcx
movq 0x18(%rcx), %rdi
cmpq %rdi, %rdx
jl 0x953a4
cmpq %rdx, %rdi
je 0x953ed
movl $0x10, %eax
cmpb $0x1c, (%rcx)
jne 0x953ed
movq 0x8(%rcx), %rdx
testq %rdx, %rdx
sete %r8b
je 0x953d9
cmpq %rsi, 0x8(%rdx)
je 0x953dc
movq 0x18(%rdx), %rdx
jmp 0x953c4
movq %rdi, %rdx
testb %r8b, %r8b
je 0x953f1
movq 0x10(%rcx), %rcx
cmpb $0x1c, (%rcx)
movq %rdx, %rdi
je 0x953c0
movq (%rsi,%rax), %rdx
cmpb $0x20, (%rdx)
jne 0x953fc
movb 0x3(%rdx), %al
andb $0x1, %al
retq
xorl %eax, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: integer_to_string_any_base
static size_t integer_to_string_any_base(char *p, s7_int n, int32_t radix)  /* called by number_to_string_with_radix */
    {
        s7_int i, len, end;
        bool sign;
        s7_int pown;

        if ((radix < 2) || (radix > 16))
            return(0);

        if (n == s7_int_min) /* can't negate this, so do it by hand */
        {
            static const char *mnfs[17] = {"","",
                "-1000000000000000000000000000000000000000000000000000000000000000", "-2021110011022210012102010021220101220222",
                "-20000000000000000000000000000000", "-1104332401304422434310311213", "-1540241003031030222122212",
                "-22341010611245052052301", "-1000000000000000000000", "-67404283172107811828",	"-9223372036854775808",
                "-1728002635214590698",	"-41a792678515120368", "-10b269549075433c38", "-4340724c6c71dc7a8", "-160e2ad3246366808", "-8000000000000000"};

            len = safe_strlen(mnfs[radix]);
            memcpy((void *)p, (void *)mnfs[radix], len);
            p[len] = '\0';
            return(len);
        }

        sign = (n < 0);
        if (sign) n = -n;

        /* the previous version that counted up to n, rather than dividing down below n, as here,
         *   could be confused by large ints on 64 bit machines
         */
        pown = n;
        for (i = 1; i < 100; i++)
        {
            if (pown < radix)
                break;
            pown /= (s7_int)radix;
        }
        len = i - 1;
        if (sign) len++;
        end = 0;
        if (sign)
        {
            p[0] = '-';
            end++;
        }
        for (i = len; i >= end; i--)
        {
            p[i] = dignum[n % radix];
            n /= radix;
        }
        p[len + 1] = '\0';
        return(len + 1);
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
leal -0x11(%rdx), %eax
cmpl $-0xf, %eax
jae 0x9654a
xorl %r14d, %r14d
jmp 0x9661e
movq %rdi, %rbx
movl 0xbc4d5(%rip), %eax     # 0x152a28
shlq $0x3f, %rax
cmpq %rsi, %rax
jne 0x96585
movl %edx, %eax
leaq 0xb749b(%rip), %rcx     # 0x14da00
movq (%rcx,%rax,8), %rsi
cmpb $0x0, (%rsi)
je 0x965cc
movq $-0x1, %rax
leaq 0x1(%rax), %r14
cmpb $0x0, 0x1(%rsi,%rax)
movq %r14, %rax
jne 0x96575
jmp 0x965cf
movq %rsi, %rcx
negq %rcx
cmovsq %rsi, %rcx
movl %edx, %edi
movl $0x1, %edx
cmpq %rdi, %rcx
jb 0x965b5
movq %rcx, %rax
movq %rdx, %r8
xorl %edx, %edx
divq %rdi
leaq 0x1(%r8), %rdx
cmpq $0x62, %r8
ja 0x965b5
cmpq %rdi, %rax
jge 0x9659e
xorl %eax, %eax
testq %rsi, %rsi
setns %al
movq %rdx, %r14
subq %rax, %r14
testq %rsi, %rsi
js 0x965dc
xorl %esi, %esi
jmp 0x965e4
xorl %r14d, %r14d
movq %rbx, %rdi
movq %r14, %rdx
callq 0x93e0
jmp 0x96619
movb $0x2d, (%rbx)
movl $0x1, %esi
cmpq %rsi, %r14
jl 0x96616
negq %rax
leaq (%rdx,%rax), %r8
incq %r8
leaq 0x8eb36(%rip), %r9      # 0x125130
movq %rcx, %rax
xorl %edx, %edx
divq %rdi
movb (%rdx,%r9), %cl
movb %cl, -0x1(%rbx,%r8)
decq %r8
movq %rax, %rcx
cmpq %rsi, %r8
jg 0x965fa
incq %r14
movb $0x0, (%rbx,%r14)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: integer_to_string
static char *integer_to_string(s7_scheme *sc, s7_int num, s7_int *nlen) /* do not free the returned string */
    {
        char *p, *op;
        bool sign;

        if (num == s7_int_min)
        {
            (*nlen) = 20;
            return((char *)"-9223372036854775808");
        }
        p = (char *)(sc->int_to_str1 + INT_TO_STR_SIZE - 1);
        op = p;
        *p-- = '\0';

        sign = (num < 0);
        if (sign) num = -num;  /* we need a positive index below */
        do {*p-- = "0123456789"[num % 10]; num /= 10;} while (num);
        if (sign)
        {
            *p = '-';
            (*nlen) = op - p;
            return(p);
        }

        (*nlen) = op - p - 1;
        return(++p);
    }

// Assembly:
movq %rdx, %rcx
movl 0xbc3f6(%rip), %eax     # 0x152a28
shlq $0x3f, %rax
cmpq %rsi, %rax
jne 0x9664d
leaq 0x88f26(%rip), %r8      # 0x11f568
movl $0x14, %r10d
jmp 0x966dd
pushq %r15
pushq %r14
pushq %rbx
leaq 0xb0f(%rdi), %r8
movb $0x0, 0xb0f(%rdi)
addq $0xb0e, %rdi            # imm = 0xB0E
movq %rsi, %r9
negq %r9
cmovsq %rsi, %r9
movq $-0x1, %r11
xorl %r10d, %r10d
leaq 0x88dae(%rip), %rbx     # 0x11f430
movabsq $-0x3333333333333333, %r14 # imm = 0xCCCCCCCCCCCCCCCD
movq %r9, %rax
mulq %r14
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %r9, %r15
subq %rax, %r15
movb (%rbx,%r15), %al
movb %al, 0x1(%rdi,%r11)
incq %r10
decq %r11
cmpq $0x9, %r9
movq %rdx, %r9
ja 0x9668c
testq %rsi, %rsi
popq %rbx
popq %r14
popq %r15
js 0x966cb
subq %r10, %r8
jmp 0x966dd
movb $0x2d, 0x1(%rdi,%r11)
subq %r10, %rdi
negq %r11
movq %r11, %r10
movq %rdi, %r8
movq %r10, (%rcx)
movq %r8, %rax
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: insert_spaces
static void insert_spaces(s7_scheme *sc, char *src, s7_int width, s7_int len)
    {
        s7_int spaces;
        if (width >= sc->num_to_str_size)
        {
            sc->num_to_str_size = width + 1;
            sc->num_to_str = (char *)realloc(sc->num_to_str, sc->num_to_str_size);
        }
        spaces = width - len;
        sc->num_to_str[width] = '\0';
        memmove((void *)(sc->num_to_str + spaces), (void *)src, len);
        memset((void *)(sc->num_to_str), (int)' ', spaces);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %r15
movq %rdx, %rbx
movq %rsi, %r12
movq %rdi, %r14
movslq 0x7e0(%rdi), %rax
cmpq %rdx, %rax
jg 0x96724
leal 0x1(%rbx), %eax
movl %eax, 0x7e0(%r14)
movq 0x830(%r14), %rdi
movslq %eax, %rsi
callq 0x9510
movq %rax, 0x830(%r14)
movq 0x830(%r14), %rax
movb $0x0, (%rax,%rbx)
subq %r15, %rbx
movq 0x830(%r14), %rdi
addq %rbx, %rdi
movq %r12, %rsi
movq %r15, %rdx
callq 0x9550
movq 0x830(%r14), %rdi
movl $0x20, %esi
movq %rbx, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x9270
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: dtoa_multiply
static dtoa_Fp dtoa_multiply(dtoa_Fp* a, dtoa_Fp* b)
    {
        dtoa_Fp fp;
        uint64_t ah_bl, al_bh, al_bl, ah_bh, tmp;
        const uint64_t lomask = 0x00000000FFFFFFFF;

        ah_bl = (a->frac >> 32)    * (b->frac & lomask);
        al_bh = (a->frac & lomask) * (b->frac >> 32);
        al_bl = (a->frac & lomask) * (b->frac & lomask);
        ah_bh = (a->frac >> 32)    * (b->frac >> 32);
        tmp = (ah_bl & lomask) + (al_bh & lomask) + (al_bl >> 32);
        /* round up */
        tmp += 1U << 31;
        fp.frac = ah_bh + (ah_bl >> 32) + (al_bh >> 32) + (tmp >> 32);
        fp.exp = a->exp + b->exp + 64;
        return(fp);
    }

// Assembly:
movq (%rdi), %rax
movl %eax, %r8d
movq %rax, %r9
shrq $0x20, %r9
movq (%rsi), %r10
movl %r10d, %eax
movq %rax, %rcx
imulq %r9, %rcx
shrq $0x20, %r10
movq %r10, %rdx
imulq %r8, %rdx
imulq %r8, %rax
imulq %r9, %r10
movl %ecx, %r8d
movl %edx, %r9d
addq %r8, %r9
shrq $0x20, %rax
addq %r9, %rax
subq $-0x80000000, %rax      # imm = 0x80000000
shrq $0x20, %rcx
addq %r10, %rcx
shrq $0x20, %rdx
addq %rcx, %rdx
shrq $0x20, %rax
addq %rdx, %rax
movl 0x8(%rdi), %ecx
movl 0x8(%rsi), %edx
addl %ecx, %edx
addl $0x40, %edx
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: find_and_apply_method
static s7_pointer find_and_apply_method(s7_scheme *sc, s7_pointer lt, s7_pointer sym, s7_pointer args)
    {
        s7_pointer func;
        func = find_method(sc, lt, sym);
        if (func != sc->undefined)
            return(s7_apply_function(sc, func, args));
        return(missing_method_error(sc, sym, lt));
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %r12
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
callq 0x99ef
cmpq 0x128(%rbx), %rax
je 0x96805
movq %rbx, %rdi
movq %rax, %rsi
movq %r12, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xbd41
movq 0x1950(%rbx), %rsi
movq 0xc3aad(%rip), %rax     # 0x15a2c0
movq 0x6e8(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %r15, 0x8(%rax)
movq 0x10(%rax), %rax
movq %r14, 0x8(%rax)
movq 0x6e8(%rbx), %rdx
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x3b366
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: string_read_semicolon
static token_t string_read_semicolon(s7_scheme *sc, s7_pointer pt)
    {
        const char *orig_str, *str;
        str = (const char *)(port_data(pt) + port_position(pt));
        orig_str = strchr(str, (int)'\n');
        if (!orig_str)
        {
            port_position(pt) = port_data_size(pt);
            return(TOKEN_EOF);
        }
        port_position(pt) += (orig_str - str + 1); /* + 1 because strchr leaves orig_str pointing at the newline */
        port_line_number(pt)++;
        return(token(sc));
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movq 0x20(%rsi), %r12
movq 0x10(%rsi), %r15
addq %r12, %r15
movq %r15, %rdi
movl $0xa, %esi
callq 0x91d0
testq %rax, %rax
je 0x96d03
subq %r15, %r12
addq %r12, %rax
incq %rax
movq %rax, 0x20(%rbx)
movq 0x8(%rbx), %rax
incl 0x20(%rax)
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x97376
movq 0x18(%rbx), %rax
movq %rax, 0x20(%rbx)
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: terminated_string_read_white_space
static int32_t terminated_string_read_white_space(s7_scheme *sc, s7_pointer pt)
    {
        const uint8_t *str;
        uint8_t c;
        /* here we know we have null termination and white_space[#\null] is false. */

        str = (const uint8_t *)(port_data(pt) + port_position(pt));

        while (white_space[c = *str++]) /* (let ((�a 1)) �a) -- 255 is not -1 = EOF */
            if (c == '\n')
                port_line_number(pt)++;
        if (c)
            port_position(pt) = str - port_data(pt);
        else port_position(pt) = port_data_size(pt);
        return((int32_t)c);
    }

// Assembly:
movq 0x10(%rsi), %rax
movq 0x20(%rsi), %rcx
movq 0xc35a8(%rip), %rdx     # 0x15a2d0
addq %rcx, %rax
incq %rax
movzbl -0x1(%rax), %ecx
cmpb $0x1, (%rdx,%rcx)
jne 0x96d50
cmpb $0xa, %cl
jne 0x96d44
movq 0x8(%rsi), %rcx
incl 0x20(%rcx)
movzbl (%rax), %ecx
incq %rax
cmpb $0x0, (%rdx,%rcx)
jne 0x96d38
testb %cl, %cl
je 0x96d5a
subq 0x10(%rsi), %rax
jmp 0x96d5e
movq 0x18(%rsi), %rax
movq %rax, 0x20(%rsi)
movzbl %cl, %eax
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: string_read_sharp
static s7_pointer string_read_sharp(s7_scheme *sc, s7_pointer pt)
    {
        /* sc->strbuf[0] has the first char of the string we're reading.
         *   since a *#readers* function might want to get further input, we can't mess with the input even when it is otherwise safe
         */
        char *str;
        str = (char *)(port_data(pt) + port_position(pt));

        if (char_ok_in_a_name[(uint8_t)*str])
        {
            s7_int k;
            char * orig_str;
            orig_str = (char *)(str - 1);
            str++;
            while (char_ok_in_a_name[(uint8_t)(*str)]) {str++;}
            k = str - orig_str;
            if (*str != 0)
                port_position(pt) += (k - 1);
            else port_position(pt) += k;

            if ((k + 1) >= sc->strbuf_size)
                resize_strbuf(sc, k + 1);

            memcpy((void *)(sc->strbuf), (void *)orig_str, k);
            sc->strbuf[k] = '\0';
            return(make_sharp_constant(sc, sc->strbuf, WITH_OVERFLOW_ERROR));
        }
        if (sc->strbuf[0] == 'f')
            return(sc->F);
        if (sc->strbuf[0] == 't')
            return(sc->T);
        if (sc->strbuf[0] == '\\')
        {
            /* must be from #\( and friends -- a character that happens to be not ok-in-a-name */
            sc->strbuf[1] = str[0];
            sc->strbuf[2] = '\0';
            port_position(pt)++;
        }
        else sc->strbuf[1] = '\0';
        return(make_sharp_constant(sc, sc->strbuf, WITH_OVERFLOW_ERROR));
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
movq 0x10(%rsi), %r14
movq 0x20(%rsi), %rax
movzbl (%r14,%rax), %edx
leaq 0xc6a3c(%rip), %rcx     # 0x15da60
cmpb $0x1, (%rdx,%rcx)
jne 0x97099
addq %rax, %r14
movl $0x1, %r15d
movzbl (%r14,%r15), %edx
incq %r15
cmpb $0x0, (%rdx,%rcx)
jne 0x97033
decq %r14
cmpb $0x1, %dl
adcq $-0x1, %rax
addq %r15, %rax
movq %rax, 0x20(%rsi)
leaq 0x1(%r15), %rsi
cmpq 0x4a8(%rbx), %rsi
jl 0x97067
movq %rbx, %rdi
callq 0x9a3a8
movq 0x4b0(%rbx), %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x93e0
movq 0x4b0(%rbx), %rax
movb $0x0, (%rax,%r15)
movq 0x4b0(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x98bb4
movq 0x4b0(%rbx), %rax
movzbl (%rax), %ecx
cmpl $0x5c, %ecx
je 0x970c8
cmpl $0x74, %ecx
je 0x970bb
cmpl $0x66, %ecx
jne 0x970dc
movq 0x120(%rbx), %rax
jmp 0x970c2
movq 0x118(%rbx), %rax
popq %rbx
popq %r14
popq %r15
retq
movb %dl, 0x1(%rax)
movq 0x4b0(%rbx), %rax
movb $0x0, 0x2(%rax)
incq 0x20(%rsi)
jmp 0x97085
movb $0x0, 0x1(%rax)
jmp 0x97085