LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: int_vector_set_i_7piii
static s7_int int_vector_set_i_7piii(s7_scheme *sc, s7_pointer v, s7_int i1, s7_int i2, s7_int i3)
                {
                    if ((i1 >= 0) && (i1 < vector_dimension(v, 0)))
                    {
                        if ((i2 >= 0) && (i2 < vector_dimension(v, 1)))
                        {
                            int_vector(v, i2 + (i1 * vector_offset(v, 0))) = i3;
                            return(i3);
                        }
                        out_of_range(sc, sc->int_vector_set_symbol, small_int(3), wrap_integer1(sc, i2), (i2 < 0) ? its_negative_string : its_too_large_string);
                    }
                    out_of_range(sc, sc->int_vector_set_symbol, small_int(2), wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
                    return(0);
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rdi, %rbx
testq %rdx, %rdx
js 0x87bbd
movq 0x18(%rsi), %rdx
movq 0x20(%rdx), %rdx
movq (%rdx), %rdi
cmpq %r14, (%rdi)
jle 0x87bbd
testq %rcx, %rcx
js 0x87b44
cmpq %rcx, 0x8(%rdi)
jle 0x87b44
movq %r8, %rax
movq 0x18(%rdx), %rdx
imulq (%rdx), %r14
shlq $0x3, %r14
addq 0x10(%rsi), %r14
movq %r8, (%r14,%rcx,8)
jmp 0x87c38
movq 0xfb0(%rbx), %rax
movq 0x8(%rax), %rax
movq 0xc6e12(%rip), %rdx     # 0x14e968
movq 0x1f00(%rbx), %rsi
movq %rcx, 0x8(%rsi)
movq 0x1ee8(%rbx), %rsi
testq %rcx, %rcx
leaq 0xcaed6(%rip), %rcx     # 0x152a48
leaq 0xcaec7(%rip), %rdi     # 0x152a40
cmovsq %rcx, %rdi
movq 0x1f00(%rbx), %rcx
movq (%rdi), %rdi
movq 0x10(%rsi), %rsi
movq %rax, 0x8(%rsi)
movq 0x10(%rsi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
callq 0x3b366
movq 0xfb0(%rbx), %rax
movq 0x8(%rax), %rax
movq 0xc6d91(%rip), %rcx     # 0x14e960
movq 0x1f00(%rbx), %rdx
movq %r14, 0x8(%rdx)
movq 0x1ee8(%rbx), %rdx
testq %r14, %r14
leaq 0xcae5d(%rip), %rsi     # 0x152a48
leaq 0xcae4e(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq 0x1f00(%rbx), %rsi
movq (%rdi), %rdi
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
callq 0x3b366
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: byte_vector_ref_i_7pi
static s7_int byte_vector_ref_i_7pi(s7_scheme *sc, s7_pointer p1, s7_int i1)
                {
                    if ((i1 >= 0) && (i1 < byte_vector_length(p1)))
                        return((s7_int)((byte_vector(p1, i1))));
                    out_of_range(sc, sc->byte_vector_ref_symbol, small_int(2), wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
                    return(0);
                }

// Assembly:
testq %rdx, %rdx
js 0x87c54
cmpq %rdx, 0x8(%rsi)
jle 0x87c54
movq 0x10(%rsi), %rax
movzbl (%rax,%rdx), %eax
retq
pushq %rax
movq 0xc30(%rdi), %rax
movq 0x8(%rax), %rax
movq 0xc6cf9(%rip), %rcx     # 0x14e960
movq 0x1f00(%rdi), %rsi
movq %rdx, 0x8(%rsi)
movq 0x1ee8(%rdi), %rsi
testq %rdx, %rdx
leaq 0xcadc5(%rip), %rdx     # 0x152a48
leaq 0xcadb6(%rip), %r8      # 0x152a40
cmovsq %rdx, %r8
movq 0x1f00(%rdi), %rdx
movq (%r8), %r8
movq 0x10(%rsi), %rsi
movq %rax, 0x8(%rsi)
movq 0x10(%rsi), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %r8, 0x8(%rax)
movq 0x1948(%rdi), %rsi
movq 0x1ee8(%rdi), %rdx
callq 0x3b366
xorl %eax, %eax
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: byte_vector_ref_i_7pii
static s7_int byte_vector_ref_i_7pii(s7_scheme *sc, s7_pointer v, s7_int i1, s7_int i2)
                {
                    if ((i1 >= 0) && (i1 < vector_dimension(v, 0)))
                    {
                        if ((i2 >= 0) && (i2 < vector_dimension(v, 1)))
                            return((s7_int)byte_vector(v, i2 + (i1 * vector_offset(v, 0))));
                        out_of_range(sc, sc->byte_vector_ref_symbol, small_int(3), wrap_integer1(sc, i2), (i2 < 0) ? its_negative_string : its_too_large_string);
                    }
                    out_of_range(sc, sc->byte_vector_ref_symbol, small_int(2), wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
                    return(0);
                }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdx, %r14
movq %rdi, %rbx
testq %rdx, %rdx
js 0x87d93
movq 0x18(%rsi), %rax
movq 0x20(%rax), %rax
movq (%rax), %rdx
cmpq %r14, (%rdx)
jle 0x87d93
testq %rcx, %rcx
js 0x87d1a
cmpq %rcx, 0x8(%rdx)
jle 0x87d1a
movq 0x18(%rax), %rax
imulq (%rax), %r14
addq 0x10(%rsi), %r14
movzbl (%rcx,%r14), %eax
jmp 0x87e0e
movq 0xc30(%rbx), %rax
movq 0x8(%rax), %rax
movq 0xc6c3c(%rip), %rdx     # 0x14e968
movq 0x1f00(%rbx), %rsi
movq %rcx, 0x8(%rsi)
movq 0x1ee8(%rbx), %rsi
testq %rcx, %rcx
leaq 0xcad00(%rip), %rcx     # 0x152a48
leaq 0xcacf1(%rip), %rdi     # 0x152a40
cmovsq %rcx, %rdi
movq 0x1f00(%rbx), %rcx
movq (%rdi), %rdi
movq 0x10(%rsi), %rsi
movq %rax, 0x8(%rsi)
movq 0x10(%rsi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
callq 0x3b366
movq 0xc30(%rbx), %rax
movq 0x8(%rax), %rax
movq 0xc6bbb(%rip), %rcx     # 0x14e960
movq 0x1f00(%rbx), %rdx
movq %r14, 0x8(%rdx)
movq 0x1ee8(%rbx), %rdx
testq %r14, %r14
leaq 0xcac87(%rip), %rsi     # 0x152a48
leaq 0xcac78(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq 0x1f00(%rbx), %rsi
movq (%rdi), %rdi
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
callq 0x3b366
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: byte_vector_set_i_7pii
static s7_int byte_vector_set_i_7pii(s7_scheme *sc, s7_pointer p1, s7_int i1, s7_int i2)
                {
                    if (!is_byte_vector(p1))
                        simple_wrong_type_argument_with_type(sc, sc->byte_vector_set_symbol, p1, a_byte_vector_string);
                    if ((i2 < 0) || (i2 > 255))
                        simple_wrong_type_argument_with_type(sc, sc->byte_vector_set_symbol, wrap_integer1(sc, i2), an_unsigned_byte_string);
                    if ((i1 >= 0) && (i1 < byte_vector_length(p1)))
                        byte_vector(p1, i1) = (uint8_t)i2;
                    else simple_out_of_range(sc, sc->byte_vector_set_symbol, wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
                    return(i2);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdx, %r15
movq %rsi, %r12
movq %rdi, %r14
cmpb $0x18, (%rsi)
je 0x87e53
movq 0xc38(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xd57d0(%rip), %r8      # 0x15d618
movq %r14, %rdi
movq %r12, %rdx
callq 0xfac8
cmpq $0x100, %rbx            # imm = 0x100
jb 0x87e8f
movq 0xc38(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x1f00(%r14), %rax
movq %rbx, 0x8(%rax)
movq 0x1f00(%r14), %rdx
movq 0x140(%r14), %rcx
movq 0xd31d9(%rip), %r8      # 0x15b060
movq %r14, %rdi
callq 0xfac8
testq %r15, %r15
js 0x87ea6
cmpq %r15, 0x8(%r12)
jle 0x87ea6
movq 0x10(%r12), %rax
movb %bl, (%rax,%r15)
jmp 0x87f10
movq 0xc38(%r14), %rax
movq 0x8(%rax), %rax
movq 0x1f00(%r14), %rcx
movq %r15, 0x8(%rcx)
movq 0x1ef8(%r14), %rcx
movq 0x1f00(%r14), %rdx
testq %r15, %r15
leaq 0xcab74(%rip), %rsi     # 0x152a48
leaq 0xcab65(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq (%rdi), %rsi
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(%r14), %rsi
movq 0x1ef8(%r14), %rdx
movq %r14, %rdi
callq 0x3b366
movq %rbx, %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: byte_vector_set_i_7piii
static s7_int byte_vector_set_i_7piii(s7_scheme *sc, s7_pointer v, s7_int i1, s7_int i2, s7_int i3)
                {
                    if ((i3 < 0) || (i3 > 255))
                        simple_wrong_type_argument_with_type(sc, sc->byte_vector_set_symbol, wrap_integer1(sc, i3), an_unsigned_byte_string);
                    if ((i1 >= 0) && (i1 < vector_dimension(v, 0)))
                    {
                        if ((i2 >= 0) && (i2 < vector_dimension(v, 1)))
                        {
                            byte_vector(v, i2 + (i1 * vector_offset(v, 0))) = i3;
                            return(i3);
                        }
                        out_of_range(sc, sc->int_vector_set_symbol, small_int(3), wrap_integer1(sc, i2), (i2 < 0) ? its_negative_string : its_too_large_string);
                    }
                    out_of_range(sc, sc->int_vector_set_symbol, small_int(2), wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
                    return(0);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %r8, %r15
movq %rcx, %r12
movq %rdx, %r14
movq %rsi, %r13
movq %rdi, %rbx
cmpq $0x100, %r8             # imm = 0x100
jb 0x87f73
movq 0xc38(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0x1f00(%rbx), %rax
movq %r15, 0x8(%rax)
movq 0x1f00(%rbx), %rdx
movq 0x140(%rbx), %rcx
movq 0xd30f5(%rip), %r8      # 0x15b060
movq %rbx, %rdi
callq 0xfac8
testq %r14, %r14
js 0x88029
movq 0x18(%r13), %rax
movq 0x20(%rax), %rax
movq (%rax), %rcx
cmpq %r14, (%rcx)
jle 0x88029
testq %r12, %r12
js 0x87fb0
cmpq %r12, 0x8(%rcx)
jle 0x87fb0
movq 0x18(%rax), %rax
imulq (%rax), %r14
addq 0x10(%r13), %r14
movb %r15b, (%r12,%r14)
jmp 0x880a5
movq 0xfb0(%rbx), %rax
movq 0x8(%rax), %rax
movq 0xc69a6(%rip), %rcx     # 0x14e968
movq 0x1f00(%rbx), %rdx
movq %r12, 0x8(%rdx)
movq 0x1ee8(%rbx), %rdx
testq %r12, %r12
leaq 0xcaa6a(%rip), %rsi     # 0x152a48
leaq 0xcaa5b(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq 0x1f00(%rbx), %rsi
movq (%rdi), %rdi
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
callq 0x3b366
movq 0xfb0(%rbx), %rax
movq 0x8(%rax), %rax
movq 0xc6925(%rip), %rcx     # 0x14e960
movq 0x1f00(%rbx), %rdx
movq %r14, 0x8(%rdx)
movq 0x1ee8(%rbx), %rdx
testq %r14, %r14
leaq 0xca9f1(%rip), %rsi     # 0x152a48
leaq 0xca9e2(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq 0x1f00(%rbx), %rsi
movq (%rdi), %rdi
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
callq 0x3b366
xorl %r15d, %r15d
movq %r15, %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: vector_ref_p_pp
static inline s7_pointer vector_ref_p_pp(s7_scheme *sc, s7_pointer vec, s7_pointer ind)
                {
                    s7_int index;
                    if ((!is_any_vector(vec)) ||
                            (vector_rank(vec) != 1) ||
                            (!s7_is_integer(ind)))
                        return(g_vector_ref(sc, set_plist_2(sc, vec, ind)));
                    index = s7_integer(ind);
                    if ((index < 0) || (index >= vector_length(vec)))
                        return(out_of_range(sc, sc->vector_ref_symbol, small_int(2), ind, (index < 0) ? its_negative_string : its_too_large_string));
                    return(vector_getter(vec)(sc, vec, index));
                }

// Assembly:
movzbl (%rsi), %eax
leaq 0xcab64(%rip), %rcx     # 0x152c20
cmpb $0x1, (%rax,%rcx)
jne 0x880f3
movq 0x18(%rsi), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x880d6
cmpq $0x1, 0x10(%rax)
jne 0x880f3
cmpb $0xb, (%rdx)
jne 0x880f3
movq 0x8(%rdx), %rax
testq %rax, %rax
js 0x88115
cmpq 0x8(%rsi), %rax
jge 0x88115
movq 0x20(%rsi), %rcx
movq %rax, %rdx
jmpq *%rcx
movq 0x708(%rdi), %rax
movq %rsi, 0x8(%rax)
movq 0x710(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x708(%rdi), %rsi
jmp 0x7fcbd
testq %rax, %rax
movq 0x1660(%rdi), %rax
movq 0x8(%rax), %rax
leaq 0xca91e(%rip), %rcx     # 0x152a48
leaq 0xca90f(%rip), %rsi     # 0x152a40
cmovsq %rcx, %rsi
movq 0xc6824(%rip), %rcx     # 0x14e960
movq (%rsi), %rsi
movq 0x1ee8(%rdi), %r8
movq 0x10(%r8), %r8
movq %rax, 0x8(%r8)
movq 0x10(%r8), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rdi), %rsi
movq 0x1ee8(%rdi), %rdx
jmp 0x3b366
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: vector_ref_p_pi
static s7_pointer vector_ref_p_pi(s7_scheme *sc, s7_pointer v, s7_int i)
                {
                    if ((!is_any_vector(v)) ||
                            (vector_rank(v) > 1) ||
                            (i < 0) ||
                            (i >= vector_length(v)))
                        return(g_vector_ref(sc, set_plist_2(sc, v, make_integer(sc, i))));
                    return(vector_getter(v)(sc, v, i));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
movzbl (%rsi), %eax
leaq 0xcaa8f(%rip), %rcx     # 0x152c20
cmpb $0x1, (%rax,%rcx)
jne 0x881d3
movq 0x18(%r14), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x881ae
cmpq $0x2, 0x10(%rax)
setge %al
jmp 0x881b0
xorl %eax, %eax
testq %r15, %r15
js 0x881d3
testb %al, %al
jne 0x881d3
cmpq %r15, 0x8(%r14)
jle 0x881d3
movq 0x20(%r14), %rax
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
popq %rbx
popq %r14
popq %r15
jmpq *%rax
cmpq $0x7ff, %r15            # imm = 0x7FF
ja 0x881e9
leaq 0xc676d(%rip), %rax     # 0x14e950
movq (%rax,%r15,8), %rax
jmp 0x88222
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x88201
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 %r15, 0x8(%rax)
movq 0x708(%rbx), %rcx
movq %r14, 0x8(%rcx)
movq 0x710(%rbx), %rcx
movq %rax, 0x8(%rcx)
movq 0x708(%rbx), %rsi
movq %rbx, %rdi
popq %rbx
popq %r14
popq %r15
jmp 0x7fcbd
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: vector_ref_p_pii
static s7_pointer vector_ref_p_pii(s7_scheme *sc, s7_pointer v, s7_int i1, s7_int i2)
                {
                    if ((!is_any_vector(v)) ||
                            (vector_rank(v) != 2) ||
                            (i1 < 0) || (i2 < 0) ||
                            (i1 >= vector_dimension(v, 0)) ||
                            (i2 >= vector_dimension(v, 1)))
                        return(g_vector_ref(sc, set_plist_3(sc, v, make_integer(sc, i1), make_integer(sc, i2))));
                    return(vector_getter(v)(sc, v, i2 + (i1 * vector_offset(v, 0))));
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %r15
movq %rdx, %r12
movq %rsi, %r14
movq %rdi, %rbx
movzbl (%rsi), %eax
leaq 0xca9b3(%rip), %rcx     # 0x152c20
cmpb $0x1, (%rax,%rcx)
jne 0x882ce
movq 0x18(%r14), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x8828a
cmpq $0x2, 0x10(%rax)
setne %cl
jmp 0x8828c
movb $0x1, %cl
movq %r15, %rdx
orq %r12, %rdx
js 0x882ce
testb %cl, %cl
jne 0x882ce
movq (%rax), %rcx
cmpq %r12, (%rcx)
jle 0x882ce
cmpq %r15, 0x8(%rcx)
jle 0x882ce
movq 0x20(%r14), %rcx
movq 0x18(%rax), %rax
imulq (%rax), %r12
addq %r15, %r12
movq %rbx, %rdi
movq %r14, %rsi
movq %r12, %rdx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmpq *%rcx
leaq 0xc667b(%rip), %rbp     # 0x14e950
cmpq $0x7ff, %r12            # imm = 0x7FF
ja 0x882e5
movq (%rbp,%r12,8), %r13
jmp 0x8831f
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x882fd
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r13
movq $0xb, (%r13)
movq %r12, 0x8(%r13)
cmpq $0x7ff, %r15            # imm = 0x7FF
ja 0x8832f
movq (%rbp,%r15,8), %rax
jmp 0x88368
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x88347
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 %r15, 0x8(%rax)
movq 0x718(%rbx), %rsi
movq %r14, 0x8(%rsi)
movq 0x10(%rsi), %rcx
movq %r13, 0x8(%rcx)
movq 0x10(%rcx), %rcx
movq %rax, 0x8(%rcx)
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x7fcbd
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: vector_set_p_pip
static s7_pointer vector_set_p_pip(s7_scheme *sc, s7_pointer v, s7_int i, s7_pointer p)
                {
                    if ((!is_any_vector(v)) ||
                            (vector_rank(v) > 1) ||
                            (i < 0) ||
                            (i >= vector_length(v)))
                        return(g_vector_set(sc, set_plist_3(sc, v, make_integer(sc, i), p)));

                    if (is_typed_vector(v))
                        return(typed_vector_setter(sc, v, i, p));

                    vector_setter(v)(sc, v, i, p);
                    return(p);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdx, %r12
movq %rsi, %r15
movq %rdi, %r14
movzbl (%rsi), %eax
leaq 0xca869(%rip), %rcx     # 0x152c20
cmpb $0x1, (%rax,%rcx)
jne 0x88405
movq 0x18(%r15), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x883d4
cmpq $0x2, 0x10(%rax)
setge %al
jmp 0x883d6
xorl %eax, %eax
testq %r12, %r12
js 0x88405
testb %al, %al
jne 0x88405
cmpq %r12, 0x8(%r15)
jle 0x88405
testb $0x2, 0x6(%r15)
jne 0x88482
movq %r14, %rdi
movq %r15, %rsi
movq %r12, %rdx
movq %rbx, %rcx
callq *0x28(%r15)
jmp 0x884dd
cmpq $0x7ff, %r12            # imm = 0x7FF
ja 0x8841b
leaq 0xc653b(%rip), %rax     # 0x14e950
movq (%rax,%r12,8), %rax
jmp 0x88454
movq 0x90(%r14), %rax
cmpq 0x98(%r14), %rax
ja 0x88433
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 %r12, 0x8(%rax)
movq 0x718(%r14), %rsi
movq %r15, 0x8(%rsi)
movq 0x10(%rsi), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %rbx, 0x8(%rax)
movq %r14, %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x7fcf5
cmpq $0x0, 0x6a0(%r14)
js 0x884d5
movq 0x28(%r15), %rsi
cmpb $0x30, (%rsi)
jb 0x884b2
movq 0x10(%rsi), %rax
movq 0x700(%r14), %rcx
movq %rbx, 0x8(%rcx)
movq 0x700(%r14), %rsi
movq %r14, %rdi
callq *%rax
jmp 0x884cc
movq 0x700(%r14), %rax
movq %rbx, 0x8(%rax)
movq 0x700(%r14), %rdx
movq %r14, %rdi
callq 0xbd41
cmpq 0x120(%r14), %rax
je 0x884ec
movq 0x10(%r15), %rax
movq %rbx, (%rax,%r12,8)
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq 0x28(%r15), %rsi
cmpb $0x30, (%rsi)
jb 0x884fb
movq 0x8(%rsi), %rax
jmp 0x8850f
movq 0x18(%rsi), %rdx
movq %r14, %rdi
callq 0xa05a7
movq 0x8(%rax), %rax
addq $0x10, %rax
movq (%rax), %rsi
movq %r14, %rdi
movl $0x1, %edx
callq 0xa0491
leaq 0x93522(%rip), %rsi     # 0x11ba48
movl $0x3, %edx
movq %r14, %rdi
movq %rbx, %rcx
movq %rax, %r8
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xe25f
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: vector_ref_p_pi_direct
static s7_pointer vector_ref_p_pi_direct(s7_scheme *sc, s7_pointer v, s7_int i)
                {
                    if ((i >= 0) && (i < vector_length(v)))
                        return(vector_getter(v)(sc, v, i));
                    out_of_range(sc, sc->vector_ref_symbol, small_int(2), wrap_integer1(sc, i), (i < 0) ? its_negative_string : its_too_large_string);
                    return(v);
                }

// Assembly:
pushq %rbx
movq %rsi, %rbx
testq %rdx, %rdx
js 0x887ad
cmpq %rdx, 0x8(%rbx)
jle 0x887ad
movq 0x20(%rbx), %rax
movq %rbx, %rsi
popq %rbx
jmpq *%rax
movq 0x1660(%rdi), %rax
movq 0x8(%rax), %rax
movq 0xc61a1(%rip), %rcx     # 0x14e960
movq 0x1f00(%rdi), %rsi
movq %rdx, 0x8(%rsi)
movq 0x1ee8(%rdi), %rsi
testq %rdx, %rdx
leaq 0xca26d(%rip), %rdx     # 0x152a48
leaq 0xca25e(%rip), %r8      # 0x152a40
cmovsq %rdx, %r8
movq 0x1f00(%rdi), %rdx
movq (%r8), %r8
movq 0x10(%rsi), %rsi
movq %rax, 0x8(%rsi)
movq 0x10(%rsi), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %r8, 0x8(%rax)
movq 0x1948(%rdi), %rsi
movq 0x1ee8(%rdi), %rdx
callq 0x3b366
movq %rbx, %rax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: vector_set_p_pip_direct
static s7_pointer vector_set_p_pip_direct(s7_scheme *sc, s7_pointer v, s7_int i, s7_pointer p)
                {
                    if ((i >= 0) && (i < vector_length(v)))
                        vector_element(v, i) = p;
                    else out_of_range(sc, sc->vector_set_symbol, small_int(2), wrap_integer1(sc, i), (i < 0) ? its_negative_string : its_too_large_string);
                    return(p);
                }

// Assembly:
pushq %rbx
movq %rcx, %rbx
testq %rdx, %rdx
js 0x88841
cmpq %rdx, 0x8(%rsi)
jle 0x88841
movq 0x10(%rsi), %rax
movq %rbx, (%rax,%rdx,8)
jmp 0x888b7
movq 0x1668(%rdi), %rax
movq 0x8(%rax), %rax
movq 0xc610d(%rip), %rcx     # 0x14e960
movq 0x1f00(%rdi), %rsi
movq %rdx, 0x8(%rsi)
movq 0x1ee8(%rdi), %rsi
testq %rdx, %rdx
leaq 0xca1d9(%rip), %rdx     # 0x152a48
leaq 0xca1ca(%rip), %r8      # 0x152a40
cmovsq %rdx, %r8
movq 0x1f00(%rdi), %rdx
movq (%r8), %r8
movq 0x10(%rsi), %rsi
movq %rax, 0x8(%rsi)
movq 0x10(%rsi), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %r8, 0x8(%rax)
movq 0x1948(%rdi), %rsi
movq 0x1ee8(%rdi), %rdx
callq 0x3b366
movq %rbx, %rax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: vector_set_p_ppp
static s7_pointer vector_set_p_ppp(s7_scheme *sc, s7_pointer vec, s7_pointer ind, s7_pointer val)
                {
                    s7_int index;

                    if ((!is_any_vector(vec)) || (vector_rank(vec) > 1))
                        return(g_vector_set(sc, set_plist_3(sc, vec, ind, val)));
                    if (is_immutable_vector(vec))
                        return(immutable_object_error(sc, set_elist_3(sc, immutable_error_string, sc->vector_set_symbol, vec)));
                    if (!s7_is_integer(ind))
                        return(g_vector_set(sc, set_plist_3(sc, vec, ind, val)));
                    index = s7_integer(ind);
                    if ((index < 0) ||
                            (index >= vector_length(vec)))
                        return(out_of_range(sc, sc->vector_set_symbol, small_int(2), wrap_integer1(sc, index), (index < 0) ? its_negative_string : its_too_large_string));

                    if (is_typed_vector(vec))
                        return(typed_vector_setter(sc, vec, index, val));
                    vector_setter(vec)(sc, vec, index, val);
                    return(val);
                }

// Assembly:
pushq %rbx
movq %rcx, %rbx
movzbl (%rsi), %eax
leaq 0xca356(%rip), %rcx     # 0x152c20
cmpb $0x1, (%rax,%rcx)
jne 0x88913
movq 0x18(%rsi), %rax
movq 0x20(%rax), %rax
testq %rax, %rax
je 0x888e4
cmpq $0x2, 0x10(%rax)
jge 0x88913
testb $0x1, 0x3(%rsi)
jne 0x88937
cmpb $0xb, (%rdx)
jne 0x88913
movq 0x8(%rdx), %rdx
testq %rdx, %rdx
js 0x88970
cmpq 0x8(%rsi), %rdx
jge 0x88970
testb $0x2, 0x6(%rsi)
jne 0x889ee
movq %rbx, %rcx
callq *0x28(%rsi)
jmp 0x889e9
movq 0x718(%rdi), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rcx
movq %rdx, 0x8(%rcx)
movq 0x10(%rcx), %rcx
movq %rbx, 0x8(%rcx)
movq %rax, %rsi
popq %rbx
jmp 0x7fcf5
movq 0xca02a(%rip), %rax     # 0x152968
movq 0x1668(%rdi), %rcx
movq 0x6e8(%rdi), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x6e8(%rdi), %rdx
movq 0xea8(%rdi), %rbx
jmp 0x889e1
testq %rdx, %rdx
movq 0x1668(%rdi), %rax
movq 0x8(%rax), %rax
movq 0xc5fdb(%rip), %rcx     # 0x14e960
movq 0x1f00(%rdi), %rsi
movq %rdx, 0x8(%rsi)
movq 0x1ee8(%rdi), %rdx
leaq 0xca0aa(%rip), %rsi     # 0x152a48
leaq 0xca09b(%rip), %r8      # 0x152a40
cmovsq %rsi, %r8
movq 0x1f00(%rdi), %rsi
movq (%r8), %r8
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %r8, 0x8(%rax)
movq 0x1948(%rdi), %rbx
movq 0x1ee8(%rdi), %rdx
movq %rbx, %rsi
callq 0x3b366
movq %rbx, %rax
popq %rbx
retq
movq %rbx, %rcx
popq %rbx
jmp 0x3db91
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: list_ref_p_pi_direct
static s7_pointer list_ref_p_pi_direct(s7_scheme *sc, s7_pointer p1, s7_int i1)
                {
                    s7_pointer p;
                    s7_int i;
                    if ((i1 < 0) || (i1 > sc->max_list_length))
                        out_of_range(sc, sc->list_ref_symbol, small_int(2), wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
                    for (i = 0, p = p1; ((is_pair(p)) && (i < i1)); i++, p = cdr(p));
                    if (!is_pair(p))
                    {
                        if (type(p) == T_NIL)
                            out_of_range(sc, sc->list_ref_symbol, small_int(2), wrap_integer1(sc, i1), its_too_large_string);
                        else simple_wrong_type_argument_with_type(sc, sc->list_ref_symbol, p1, a_proper_list_string);
                    }
                    return(car(p));
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
testq %rdx, %rdx
js 0x88ab8
cmpq %r15, 0x2b0(%rbx)
jge 0x88b31
testq %r15, %r15
movq 0x1258(%rbx), %rax
movq 0x8(%rax), %rax
movq 0xc5e93(%rip), %rcx     # 0x14e960
movq 0x1f00(%rbx), %rdx
movq %r15, 0x8(%rdx)
movq 0x1ee8(%rbx), %rdx
leaq 0xc9f62(%rip), %rsi     # 0x152a48
leaq 0xc9f53(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq 0x1f00(%rbx), %rsi
movq (%rdi), %rdi
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
callq 0x3b366
movb (%r14), %al
cmpb $0x1, %al
sete %cl
setne %dl
testq %r15, %r15
setle %sil
orb %dl, %sil
movq %r14, %r12
jne 0x88b6f
movl $0x1, %edx
movq %r14, %r12
movq 0x10(%r12), %r12
movb (%r12), %al
cmpb $0x1, %al
sete %cl
jne 0x88b6f
leaq 0x1(%rdx), %rsi
cmpq %r15, %rdx
movq %rsi, %rdx
jl 0x88b53
testb %cl, %cl
jne 0x88bfe
movq 0x1258(%rbx), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x2, %al
jne 0x88be5
movq 0xc5dd3(%rip), %rax     # 0x14e960
movq 0x1f00(%rbx), %rcx
movq %r15, 0x8(%rcx)
movq 0x1ee8(%rbx), %rcx
movq 0x1f00(%rbx), %rdx
movq 0xc9e93(%rip), %rdi     # 0x152a40
movq 0x10(%rcx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x10(%rcx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
callq 0x3b366
jmp 0x88bfe
movq 0x140(%rbx), %rcx
movq 0xd2025(%rip), %r8      # 0x15ac18
movq %rbx, %rdi
movq %r14, %rdx
callq 0xfac8
movq 0x8(%r12), %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: list_set_p_pip_direct
static s7_pointer list_set_p_pip_direct(s7_scheme *sc, s7_pointer p1, s7_int i1, s7_pointer p2)
                {
                    s7_pointer p;
                    s7_int i;
                    if ((i1 < 0) || (i1 > sc->max_list_length))
                        out_of_range(sc, sc->list_set_symbol, small_int(2), wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
                    for (i = 0, p = p1; ((is_pair(p)) && (i < i1)); i++, p = cdr(p));
                    if (!is_pair(p))
                    {
                        if (type(p) == T_NIL)
                            out_of_range(sc, sc->list_set_symbol, small_int(2), wrap_integer1(sc, i1), its_too_large_string);
                        else simple_wrong_type_argument_with_type(sc, sc->list_set_symbol, p1, a_proper_list_string);
                    }
                    set_car(p, p2);
                    return(p2);
                }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rcx, %rbx
movq %rdx, %r12
movq %rsi, %r15
movq %rdi, %r14
testq %rdx, %rdx
js 0x88c32
cmpq %r12, 0x2b0(%r14)
jge 0x88cab
testq %r12, %r12
movq 0x1260(%r14), %rax
movq 0x8(%rax), %rax
movq 0xc5d19(%rip), %rcx     # 0x14e960
movq 0x1f00(%r14), %rdx
movq %r12, 0x8(%rdx)
movq 0x1ee8(%r14), %rdx
leaq 0xc9de8(%rip), %rsi     # 0x152a48
leaq 0xc9dd9(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq 0x1f00(%r14), %rsi
movq (%rdi), %rdi
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%r14), %rsi
movq 0x1ee8(%r14), %rdx
movq %r14, %rdi
callq 0x3b366
movb (%r15), %al
cmpb $0x1, %al
sete %cl
setne %dl
testq %r12, %r12
setle %sil
orb %dl, %sil
movq %r15, %r13
jne 0x88ce8
movl $0x1, %edx
movq %r15, %r13
movq 0x10(%r13), %r13
movb (%r13), %al
cmpb $0x1, %al
sete %cl
jne 0x88ce8
leaq 0x1(%rdx), %rsi
cmpq %r12, %rdx
movq %rsi, %rdx
jl 0x88ccd
testb %cl, %cl
jne 0x88d77
movq 0x1260(%r14), %rcx
movq 0x8(%rcx), %rsi
cmpb $0x2, %al
jne 0x88d5e
movq 0xc5c5a(%rip), %rax     # 0x14e960
movq 0x1f00(%r14), %rcx
movq %r12, 0x8(%rcx)
movq 0x1ee8(%r14), %rcx
movq 0x1f00(%r14), %rdx
movq 0xc9d1a(%rip), %rdi     # 0x152a40
movq 0x10(%rcx), %rcx
movq %rsi, 0x8(%rcx)
movq 0x10(%rcx), %rcx
movq %rax, 0x8(%rcx)
movq 0x10(%rcx), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%r14), %rsi
movq 0x1ee8(%r14), %rdx
movq %r14, %rdi
callq 0x3b366
jmp 0x88d77
movq 0x140(%r14), %rcx
movq 0xd1eac(%rip), %r8      # 0x15ac18
movq %r14, %rdi
movq %r15, %rdx
callq 0xfac8
movq %rbx, 0x8(%r13)
movq %rbx, %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: string_ref_p_pi
static s7_pointer string_ref_p_pi(s7_scheme *sc, s7_pointer p1, s7_int i1)
    {
        if (!is_string(p1))
            simple_wrong_type_argument(sc, sc->string_ref_symbol, p1, T_STRING);
        if ((i1 >= 0) && (i1 < string_length(p1)))
            return(chars[((uint8_t *)string_value(p1))[i1]]);
        out_of_range(sc, sc->string_ref_symbol, small_int(2), wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
        return(p1);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %r15
movq %rsi, %rbx
movq %rdi, %r14
cmpb $0x13, (%rsi)
je 0x88dbf
movq 0x1548(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xc9d44(%rip), %r8      # 0x152af8
movq %r14, %rdi
movq %rbx, %rdx
callq 0xfac8
testq %r15, %r15
js 0x88de0
cmpq %r15, 0x8(%rbx)
jle 0x88de0
movq 0xc9c87(%rip), %rax     # 0x152a58
movq 0x10(%rbx), %rcx
movzbl (%rcx,%r15), %ecx
movq (%rax,%rcx,8), %rbx
jmp 0x88e59
movq 0x1548(%r14), %rax
movq 0x8(%rax), %rax
movq 0xc5b6e(%rip), %rcx     # 0x14e960
movq 0x1f00(%r14), %rdx
movq %r15, 0x8(%rdx)
movq 0x1ee8(%r14), %rdx
testq %r15, %r15
leaq 0xc9c3a(%rip), %rsi     # 0x152a48
leaq 0xc9c2b(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq 0x1f00(%r14), %rsi
movq (%rdi), %rdi
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%r14), %rsi
movq 0x1ee8(%r14), %rdx
movq %r14, %rdi
callq 0x3b366
movq %rbx, %rax
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: string_set_p_pip
static s7_pointer string_set_p_pip(s7_scheme *sc, s7_pointer p1, s7_int i1, s7_pointer p2)
    {
        if (!is_string(p1))
            simple_wrong_type_argument(sc, sc->string_set_symbol, p1, T_STRING);
        if (!s7_is_character(p2))
            simple_wrong_type_argument(sc, sc->string_set_symbol, p2, T_CHARACTER);
        if ((i1 >= 0) && (i1 < string_length(p1)))
            string_value(p1)[i1] = s7_character(p2);
        else out_of_range(sc, sc->string_set_symbol, small_int(2), wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
        return(p2);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rcx, %rbx
movq %rdx, %r15
movq %rsi, %r12
movq %rdi, %r14
cmpb $0x13, (%rsi)
je 0x88ee0
movq 0x1550(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xc9c23(%rip), %r8      # 0x152af8
movq %r14, %rdi
movq %r12, %rdx
callq 0xfac8
cmpb $0x8, (%rbx)
je 0x88f09
movq 0x1550(%r14), %rax
movq 0x8(%rax), %rsi
movq 0x140(%r14), %rcx
movq 0xc9ba2(%rip), %r8      # 0x152aa0
movq %r14, %rdi
movq %rbx, %rdx
callq 0xfac8
testq %r15, %r15
js 0x88f23
cmpq %r15, 0x8(%r12)
jle 0x88f23
movb 0x8(%rbx), %al
movq 0x10(%r12), %rcx
movb %al, (%rcx,%r15)
jmp 0x88f9c
movq 0x1550(%r14), %rax
movq 0x8(%rax), %rax
movq 0xc5a2b(%rip), %rcx     # 0x14e960
movq 0x1f00(%r14), %rdx
movq %r15, 0x8(%rdx)
movq 0x1ee8(%r14), %rdx
testq %r15, %r15
leaq 0xc9af7(%rip), %rsi     # 0x152a48
leaq 0xc9ae8(%rip), %rdi     # 0x152a40
cmovsq %rsi, %rdi
movq 0x1f00(%r14), %rsi
movq (%rdi), %rdi
movq 0x10(%rdx), %rdx
movq %rax, 0x8(%rdx)
movq 0x10(%rdx), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdi, 0x8(%rax)
movq 0x1948(%r14), %rsi
movq 0x1ee8(%r14), %rdx
movq %r14, %rdi
callq 0x3b366
movq %rbx, %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: string_ref_p_pi_direct
static s7_pointer string_ref_p_pi_direct(s7_scheme *sc, s7_pointer p1, s7_int i1)
    {
        if ((i1 >= 0) && (i1 < string_length(p1)))
            return(chars[((uint8_t *)string_value(p1))[i1]]);
        out_of_range(sc, sc->string_ref_symbol, small_int(2), wrap_integer1(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
        return(p1);
    }

// Assembly:
pushq %rbx
movq %rsi, %rbx
testq %rdx, %rdx
js 0x88fcf
cmpq %rdx, 0x8(%rbx)
jle 0x88fcf
movq 0xc9a97(%rip), %rax     # 0x152a58
movq 0x10(%rbx), %rcx
movzbl (%rcx,%rdx), %ecx
movq (%rax,%rcx,8), %rbx
jmp 0x89045
movq 0x1548(%rdi), %rax
movq 0x8(%rax), %rax
movq 0xc597f(%rip), %rcx     # 0x14e960
movq 0x1f00(%rdi), %rsi
movq %rdx, 0x8(%rsi)
movq 0x1ee8(%rdi), %rsi
testq %rdx, %rdx
leaq 0xc9a4b(%rip), %rdx     # 0x152a48
leaq 0xc9a3c(%rip), %r8      # 0x152a40
cmovsq %rdx, %r8
movq 0x1f00(%rdi), %rdx
movq (%r8), %r8
movq 0x10(%rsi), %rsi
movq %rax, 0x8(%rsi)
movq 0x10(%rsi), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %r8, 0x8(%rax)
movq 0x1948(%rdi), %rsi
movq 0x1ee8(%rdi), %rdx
callq 0x3b366
movq %rbx, %rax
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: string_set_p_pip_direct
static s7_pointer string_set_p_pip_direct(s7_scheme *sc, s7_pointer p1, s7_int i1, s7_pointer p2)
    {
        if ((i1 >= 0) && (i1 < string_length(p1)))
            string_value(p1)[i1] = s7_character(p2);
        else out_of_range(sc, sc->string_set_symbol, small_int(2),make_integer(sc, i1), (i1 < 0) ? its_negative_string : its_too_large_string);
        return(p2);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rcx, %rbx
movq %rdx, %r15
movq %rdi, %r14
testq %rdx, %rdx
js 0x89077
cmpq %r15, 0x8(%rsi)
jle 0x89077
movb 0x8(%rbx), %al
movq 0x10(%rsi), %rcx
movb %al, (%rcx,%r15)
jmp 0x8912d
movq 0x1550(%r14), %rax
movq 0x8(%rax), %r13
movq 0xc58d7(%rip), %r12     # 0x14e960
cmpq $0x7ff, %r15            # imm = 0x7FF
ja 0x8909f
leaq 0xc58b7(%rip), %rax     # 0x14e950
movq (%rax,%r15,8), %rax
jmp 0x890d8
movq 0x90(%r14), %rax
cmpq 0x98(%r14), %rax
ja 0x890b7
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 %r15, 0x8(%rax)
testq %r15, %r15
leaq 0xc9966(%rip), %rcx     # 0x152a48
leaq 0xc9957(%rip), %rdx     # 0x152a40
cmovsq %rcx, %rdx
movq (%rdx), %rcx
movq 0x1ee8(%r14), %rdx
movq 0x10(%rdx), %rdx
movq %r13, 0x8(%rdx)
movq 0x10(%rdx), %rdx
movq %r12, 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
movq %rbx, %rax
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: random_p_p
static s7_pointer random_p_p(s7_scheme *sc, s7_pointer num)
    {
        s7_pointer r;
        r = sc->default_rng;
        if (is_t_integer(num))
            return(make_integer(sc, (s7_int)(integer(num) * next_random(r))));
        if (is_t_real(num))
            return(make_real(sc, real(num) * next_random(r)));
        return(g_random(sc, set_plist_1(sc, num)));
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0xaa0(%rdi), %rax
movzbl (%rsi), %ecx
cmpl $0xd, %ecx
je 0x89464
cmpl $0xb, %ecx
jne 0x894d6
cvtsi2sdq 0x8(%rsi), %xmm0
imulq $0x7f13ac69, 0x8(%rax), %rcx # imm = 0x7F13AC69
addq 0x10(%rax), %rcx
movl %ecx, %edx
movq %rdx, 0x8(%rax)
shrq $0x20, %rcx
movq %rcx, 0x10(%rax)
cvtsi2sd %rdx, %xmm1
divsd 0x85c0a(%rip), %xmm1    # 0x10f048
mulsd %xmm0, %xmm1
cvttsd2si %xmm1, %r14
cmpq $0x7ff, %r14            # imm = 0x7FF
ja 0x894f7
leaq 0xc54f5(%rip), %rax     # 0x14e950
movq (%rax,%r14,8), %rax
jmp 0x89530
imulq $0x7f13ac69, 0x8(%rax), %rcx # imm = 0x7F13AC69
addq 0x10(%rax), %rcx
movl %ecx, %edx
cvtsi2sd %rdx, %xmm0
divsd 0x85bc9(%rip), %xmm0    # 0x10f048
mulsd 0x8(%rsi), %xmm0
movq %rdx, 0x8(%rax)
shrq $0x20, %rcx
movq %rcx, 0x10(%rax)
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x894b2
movq %rbx, %rdi
movsd %xmm0, (%rsp)
callq 0xb389
movsd (%rsp), %xmm0
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %rax
movq $0xd, (%rax)
movsd %xmm0, 0x8(%rax)
jmp 0x89530
movq 0x700(%rbx), %rax
movq %rsi, 0x8(%rax)
movq 0x700(%rbx), %rsi
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x74687
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x8950f
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: number_to_string_p_i
static s7_pointer number_to_string_p_i(s7_scheme *sc, s7_int p)
    {
        s7_int nlen = 0;
        char *res;
        res = integer_to_string(sc, p, &nlen);
        return(make_string_with_length(sc, res, nlen));
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl 0xc94df(%rip), %eax     # 0x152a28
shlq $0x3f, %rax
cmpq %rsi, %rax
jne 0x89564
leaq 0x9600f(%rip), %r15     # 0x11f568
movl $0x14, %r14d
jmp 0x895ea
leaq 0xb0f(%rbx), %r15
leaq 0xb0e(%rbx), %rdi
movb $0x0, 0xb0f(%rbx)
movq %rsi, %rcx
negq %rcx
cmovsq %rsi, %rcx
movq $-0x1, %r8
xorl %r14d, %r14d
leaq 0x95e9c(%rip), %r9      # 0x11f430
movabsq $-0x3333333333333333, %r10 # imm = 0xCCCCCCCCCCCCCCCD
movq %rcx, %rax
mulq %r10
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rcx, %r11
subq %rax, %r11
movb (%r9,%r11), %al
movb %al, 0x1(%rdi,%r8)
incq %r14
decq %r8
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0x8959e
testq %rsi, %rsi
js 0x895d8
subq %r14, %r15
jmp 0x895ea
movb $0x2d, 0x1(%rdi,%r8)
subq %r14, %rdi
negq %r8
movq %r8, %r14
movq %rdi, %r15
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x89602
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r12
movq $0x200013, (%r12)       # imm = 0x200013
leaq 0x1(%r14), %rsi
movq %rbx, %rdi
callq 0xa305
movq %rax, 0x20(%r12)
movq (%rax), %rdi
movq %rdi, 0x10(%r12)
testq %r14, %r14
jle 0x89649
movq %r15, %rsi
movq %r14, %rdx
callq 0x93e0
movq 0x10(%r12), %rax
movb $0x0, (%rax,%r14)
movq %r14, 0x8(%r12)
movq $0x0, 0x18(%r12)
movq 0x738(%rbx), %rbx
movq 0x8(%rbx), %rsi
cmpq %rsi, 0x10(%rbx)
jne 0x89689
leaq (%rsi,%rsi), %rax
movq %rax, 0x8(%rbx)
movq (%rbx), %rdi
shlq $0x4, %rsi
callq 0x9510
movq %rax, (%rbx)
movq (%rbx), %rax
movq 0x10(%rbx), %rcx
leaq 0x1(%rcx), %rdx
movq %rdx, 0x10(%rbx)
movq %r12, (%rax,%rcx,8)
movq %r12, %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: number_to_string_p_p
static s7_pointer number_to_string_p_p(s7_scheme *sc, s7_pointer p)
    {
        s7_int nlen = 0;
        char *res;
        if (!is_number(p))
            return(wrong_type_argument_with_type(sc, sc->number_to_string_symbol, 1, p, a_number_string));
        res = number_to_string_base_10(sc, p, 0, sc->float_format_precision, 'g', &nlen, P_WRITE);
        return(make_string_with_length(sc, res, nlen));
    }

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %rax
movq %rdi, %rbx
movq $0x0, (%rsp)
movzbl (%rsi), %ecx
leaq 0xc92a5(%rip), %rdx     # 0x152970
cmpb $0x0, (%rcx,%rdx)
je 0x897b6
movslq 0x468(%rbx), %rcx
movq %rsp, %r14
movq %rbx, %rdi
movq %rax, %rsi
xorl %edx, %edx
movl $0x67, %r8d
movq %r14, %r9
callq 0x95820
movq %rax, %r12
movq (%r14), %r15
movq 0x90(%rbx), %rax
cmpq 0x98(%rbx), %rax
ja 0x89713
movq %rbx, %rdi
callq 0xb389
movq 0x90(%rbx), %rax
leaq -0x8(%rax), %rcx
movq %rcx, 0x90(%rbx)
movq -0x8(%rax), %r14
movq $0x200013, (%r14)       # imm = 0x200013
leaq 0x1(%r15), %rsi
movq %rbx, %rdi
callq 0xa305
movq %rax, 0x20(%r14)
movq (%rax), %rdi
movq %rdi, 0x10(%r14)
testq %r15, %r15
jle 0x89757
movq %r12, %rsi
movq %r15, %rdx
callq 0x93e0
movq 0x10(%r14), %rax
movb $0x0, (%rax,%r15)
movq %r15, 0x8(%r14)
movq $0x0, 0x18(%r14)
movq 0x738(%rbx), %rbx
movq 0x8(%rbx), %rsi
cmpq %rsi, 0x10(%rbx)
jne 0x89794
leaq (%rsi,%rsi), %rax
movq %rax, 0x8(%rbx)
movq (%rbx), %rdi
shlq $0x4, %rsi
callq 0x9510
movq %rax, (%rbx)
movq (%rbx), %rax
movq 0x10(%rbx), %rcx
leaq 0x1(%rcx), %rdx
movq %rdx, 0x10(%rbx)
movq %r14, (%rax,%rcx,8)
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
movq 0x1370(%rbx), %rcx
movq 0x8(%rcx), %rsi
movq 0xc5190(%rip), %rdx     # 0x14e958
movq 0x140(%rbx), %r8
movq 0xd3bca(%rip), %r9      # 0x15d3a0
movq %rbx, %rdi
movq %rax, %rcx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xb31d
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: number_to_string_p_pp
static s7_pointer number_to_string_p_pp(s7_scheme *sc, s7_pointer p1, s7_pointer p2)
    {
        s7_int nlen = 0, radix;
        block_t *b;

        if (!is_number(p1))
            return(wrong_type_argument_with_type(sc, sc->number_to_string_symbol, 1, p1, a_number_string));
        if (!is_t_integer(p2))
            return(wrong_type_argument(sc, sc->number_to_string_symbol, 2, p2, T_INTEGER));
        radix = s7_integer(p2);
        if ((radix < 2) || (radix > 16))
            return(out_of_range(sc, sc->number_to_string_symbol, small_int(2), p2, a_valid_radix_string));

        b = number_to_string_with_radix(sc, p1, radix, 0, sc->float_format_precision, 'g', &nlen);
        return(block_to_string(sc, b, nlen));
    }

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdx, %rcx
movq %rsi, %rax
movq %rdi, %rbx
movq $0x0, 0x10(%rsp)
movzbl (%rsi), %edx
leaq 0xc9161(%rip), %rsi     # 0x152970
cmpb $0x0, (%rdx,%rsi)
je 0x8988d
cmpb $0xb, (%rcx)
jne 0x898b5
movq 0x8(%rcx), %rdx
leaq -0x11(%rdx), %rsi
cmpq $-0x10, %rsi
ja 0x898e4
movq 0x1370(%rbx), %rax
movq 0x8(%rax), %rax
movq 0xc511e(%rip), %rdx     # 0x14e960
movq 0xd3de7(%rip), %rsi     # 0x15d630
movq 0x1ee8(%rbx), %rdi
movq 0x10(%rdi), %rdi
movq %rax, 0x8(%rdi)
movq 0x10(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rbx), %rsi
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
addq $0x18, %rsp
popq %rbx
popq %r14
jmp 0x3b366
movq 0x1370(%rbx), %rcx
movq 0x8(%rcx), %rsi
movq 0xc50b9(%rip), %rdx     # 0x14e958
movq 0x140(%rbx), %r8
movq 0xd3af3(%rip), %r9      # 0x15d3a0
movq %rbx, %rdi
movq %rax, %rcx
jmp 0x898d8
movq 0x1370(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0xc5099(%rip), %rdx     # 0x14e960
movq 0x140(%rbx), %r8
movq 0xc91e3(%rip), %r9      # 0x152ab8
movq %rbx, %rdi
addq $0x18, %rsp
popq %rbx
popq %r14
jmp 0xb31d
movslq 0x468(%rbx), %r8
leaq 0x10(%rsp), %r14
movq %r14, (%rsp)
movq %rbx, %rdi
movq %rax, %rsi
xorl %ecx, %ecx
movl $0x67, %r9d
callq 0xe55c
movq (%r14), %rdx
movq %rbx, %rdi
movq %rax, %rsi
addq $0x18, %rsp
popq %rbx
popq %r14
jmp 0x3a419
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: string_to_number_p_p
static s7_pointer string_to_number_p_p(s7_scheme *sc, s7_pointer str1)
    {
        char *str;
        if (!is_string(str1))
            return(wrong_type_argument(sc, sc->string_to_number_symbol, 1, str1, T_STRING));
        str = (char *)string_value(str1);
        if ((!str) || (!(*str)))
            return(sc->F);
        return(string_to_number(sc, str, 10));
    }

// Assembly:
pushq %rbx
movq %rsi, %rcx
movq %rdi, %rbx
cmpb $0x13, (%rsi)
jne 0x8995e
movq 0x10(%rcx), %rsi
testq %rsi, %rsi
je 0x89955
cmpb $0x0, (%rsi)
je 0x89955
movq %rbx, %rdi
movl $0xa, %edx
xorl %ecx, %ecx
callq 0x97c6d
movzbl (%rax), %ecx
leaq 0xc9021(%rip), %rdx     # 0x152970
cmpb $0x0, (%rcx,%rdx)
jne 0x8995c
movq 0x120(%rbx), %rax
popq %rbx
retq
movq 0x1560(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0xc4fe8(%rip), %rdx     # 0x14e958
movq 0x140(%rbx), %r8
movq 0xc917a(%rip), %r9      # 0x152af8
movq %rbx, %rdi
popq %rbx
jmp 0xb31d
// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: string_to_number_p_pp
static s7_pointer string_to_number_p_pp(s7_scheme *sc, s7_pointer str1, s7_pointer radix1)
    {
        s7_int radix;
        char *str;

        if (!is_string(str1))
            return(wrong_type_argument(sc, sc->string_to_number_symbol, 1, str1, T_STRING));

        if (!is_t_integer(radix1))
            return(wrong_type_argument(sc, sc->string_to_number_symbol, 2, radix1, T_INTEGER));
        radix = s7_integer(radix1);
        if ((radix < 2) || (radix > 16))
            return(out_of_range(sc, sc->string_to_number_symbol, small_int(2), radix1, a_valid_radix_string));

        str = (char *)string_value(str1);
        if ((!str) || (!(*str)))
            return(sc->F);

        return(string_to_number(sc, str, radix));
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rax
movq %rdi, %rbx
cmpb $0x13, (%rsi)
jne 0x89a12
movq %rdx, %rcx
cmpb $0xb, (%rdx)
jne 0x89a3a
movq 0x8(%rcx), %rdx
leaq -0x11(%rdx), %rsi
cmpq $-0x10, %rsi
ja 0x89a69
movq 0x1560(%rbx), %rax
movq 0x8(%rax), %rax
movq 0xc4f9a(%rip), %rdx     # 0x14e960
movq 0xd3c63(%rip), %rsi     # 0x15d630
movq 0x1ee8(%rbx), %rdi
movq 0x10(%rdi), %rdi
movq %rax, 0x8(%rdi)
movq 0x10(%rdi), %rax
movq %rdx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rcx, 0x8(%rax)
movq 0x10(%rax), %rax
movq %rsi, 0x8(%rax)
movq 0x1948(%rbx), %r14
movq 0x1ee8(%rbx), %rdx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x3b366
jmp 0x89a9b
movq 0x1560(%rbx), %rcx
movq 0x8(%rcx), %rsi
movq 0xc4f34(%rip), %rdx     # 0x14e958
movq 0x140(%rbx), %r8
movq 0xc90c6(%rip), %r9      # 0x152af8
movq %rbx, %rdi
movq %rax, %rcx
jmp 0x89a5d
movq 0x1560(%rbx), %rax
movq 0x8(%rax), %rsi
movq 0xc4f14(%rip), %rdx     # 0x14e960
movq 0x140(%rbx), %r8
movq 0xc905e(%rip), %r9      # 0x152ab8
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xb31d
movq 0x10(%rax), %rsi
testq %rsi, %rsi
je 0x89a94
cmpb $0x0, (%rsi)
je 0x89a94
movq %rbx, %rdi
xorl %ecx, %ecx
callq 0x97c6d
movq %rax, %r14
movzbl (%rax), %eax
leaq 0xc8ee2(%rip), %rcx     # 0x152970
cmpb $0x0, (%rax,%rcx)
jne 0x89a9b
movq 0x120(%rbx), %r14
movq %r14, %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq