LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x48, %rsp
movq %rdi, 0x38(%rsp)
movq %rsi, 0x30(%rsp)
movq %rdx, 0x28(%rsp)
cmpq $0x0, 0x28(%rsp)
jl 0xaa4c2
movq 0x28(%rsp), %rax
movq 0x30(%rsp), %rcx
cmpq 0x8(%rcx), %rax
jge 0xaa4c2
movq 0x1700e6(%rip), %rax    # 0x21a588
movq 0x30(%rsp), %rcx
movq 0x10(%rcx), %rcx
movq 0x28(%rsp), %rdx
movzbl (%rcx,%rdx), %ecx
movq (%rax,%rcx,8), %rax
movq %rax, 0x40(%rsp)
jmp 0xaa548
movq 0x38(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x38(%rsp), %rax
movq 0x1548(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x16bfa8(%rip), %rax    # 0x216490
movq %rax, 0x18(%rsp)
movq 0x38(%rsp), %rdi
movq 0x28(%rsp), %rsi
callq 0x12430
movq %rax, 0x20(%rsp)
cmpq $0x0, 0x28(%rsp)
jge 0xaa516
movq 0x170068(%rip), %rax    # 0x21a578
movq %rax, (%rsp)
jmp 0xaa521
movq 0x170053(%rip), %rax    # 0x21a570
movq %rax, (%rsp)
movq 0x20(%rsp), %rcx
movq 0x18(%rsp), %rdx
movq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdi
movq (%rsp), %r8
callq 0x13880
movq 0x30(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
addq $0x48, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: 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:
subq $0x78, %rsp
movq %rdi, 0x70(%rsp)
movq %rsi, 0x68(%rsp)
movq %rdx, 0x60(%rsp)
movq %rcx, 0x58(%rsp)
cmpq $0x0, 0x60(%rsp)
jl 0xaa5b2
movq 0x60(%rsp), %rax
movq 0x68(%rsp), %rcx
cmpq 0x8(%rcx), %rax
jge 0xaa5b2
movq 0x58(%rsp), %rdi
callq 0x14450
movb %al, %dl
movq 0x68(%rsp), %rax
movq 0x10(%rax), %rax
movq 0x60(%rsp), %rcx
movb %dl, (%rax,%rcx)
jmp 0xaa6da
movq 0x70(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x70(%rsp), %rax
movq 0x1550(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x16beb8(%rip), %rax    # 0x216490
movq %rax, 0x30(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0xaa60f
movq 0x50(%rsp), %rcx
leaq 0x16be7c(%rip), %rax    # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x18(%rsp)
jmp 0xaa686
jmp 0xaa611
movq 0x70(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x70(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xaa635
movq 0x70(%rsp), %rdi
callq 0xc670
movq 0x70(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
movq $0xb, (%rax)
movq 0x50(%rsp), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x40(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x10(%rsp)
cmpq $0x0, 0x60(%rsp)
jge 0xaa6b0
movq 0x16fecf(%rip), %rax    # 0x21a578
movq %rax, 0x8(%rsp)
jmp 0xaa6bc
movq 0x16feb9(%rip), %rax    # 0x21a570
movq %rax, 0x8(%rsp)
movq 0x10(%rsp), %rcx
movq 0x30(%rsp), %rdx
movq 0x28(%rsp), %rsi
movq 0x20(%rsp), %rdi
movq 0x8(%rsp), %r8
callq 0x13880
movq 0x58(%rsp), %rax
addq $0x78, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x78, %rsp
movq %rdi, 0x68(%rsp)
movq %rsi, 0x60(%rsp)
movq 0x68(%rsp), %rax
movq 0xaa0(%rax), %rax
movq %rax, 0x58(%rsp)
movq 0x60(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0xaad0a
movq 0x60(%rsp), %rax
cvtsi2sdq 0x8(%rax), %xmm0
movsd %xmm0, 0x18(%rsp)
movq 0x58(%rsp), %rdi
callq 0x143a0
movaps %xmm0, %xmm1
movsd 0x18(%rsp), %xmm0
mulsd %xmm1, %xmm0
cvttsd2si %xmm0, %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0xaac7a
movq 0x50(%rsp), %rcx
leaq 0x16b811(%rip), %rax    # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x10(%rsp)
jmp 0xaacf1
jmp 0xaac7c
movq 0x68(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x68(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xaaca0
movq 0x68(%rsp), %rdi
callq 0xc670
movq 0x68(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
movq $0xb, (%rax)
movq 0x50(%rsp), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x40(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x70(%rsp)
jmp 0xaadea
movq 0x60(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xd, %eax
jne 0xaadc1
movq 0x60(%rsp), %rax
movsd 0x8(%rax), %xmm0
movsd %xmm0, 0x8(%rsp)
movq 0x58(%rsp), %rdi
callq 0x143a0
movaps %xmm0, %xmm1
movsd 0x8(%rsp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x28(%rsp)
movq 0x68(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x68(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xaad6c
movq 0x68(%rsp), %rdi
callq 0xc670
movq 0x68(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
movq $0xd, (%rax)
movsd 0x28(%rsp), %xmm0
movq 0x30(%rsp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x30(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x70(%rsp)
jmp 0xaadea
movq 0x68(%rsp), %rax
movq %rax, (%rsp)
movq 0x68(%rsp), %rdi
movq 0x60(%rsp), %rsi
callq 0x35ea0
movq (%rsp), %rdi
movq %rax, %rsi
callq 0x88230
movq %rax, 0x70(%rsp)
movq 0x70(%rsp), %rax
addq $0x78, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
movq $0x0, 0x48(%rsp)
movq 0x50(%rsp), %rax
movzbl (%rax), %eax
movl %eax, %ecx
leaq 0x16f5f8(%rip), %rax    # 0x21a4a0
testb $0x1, (%rax,%rcx)
jne 0xaafb6
movq 0x58(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x58(%rsp), %rax
movq 0x1370(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
movq $0x1, 0x38(%rsp)
movq 0x38(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0xaaf02
movq 0x38(%rsp), %rcx
leaq 0x16b589(%rip), %rax    # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, 0x8(%rsp)
jmp 0xaaf79
jmp 0xaaf04
movq 0x58(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xaaf28
movq 0x58(%rsp), %rdi
callq 0xc670
movq 0x58(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rax
movq $0xb, (%rax)
movq 0x38(%rsp), %rcx
movq 0x28(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdi
movq 0x8(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rdx
movq 0x50(%rsp), %rcx
movq 0x58(%rsp), %rax
movq 0x140(%rax), %r8
movq 0x179f46(%rip), %r9     # 0x224ef0
callq 0xc560
movq %rax, 0x60(%rsp)
jmp 0xab005
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rsi
movq 0x58(%rsp), %rax
movslq 0x468(%rax), %rcx
xorl %eax, %eax
movl %eax, %edx
movl $0x67, %r8d
leaq 0x48(%rsp), %r9
movl $0x1, (%rsp)
callq 0xc66e0
movq %rax, 0x40(%rsp)
movq 0x58(%rsp), %rdi
movq 0x40(%rsp), %rsi
movq 0x48(%rsp), %rdx
callq 0x144d0
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
addq $0x68, %rsp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/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:
subq $0x58, %rsp
movq %rdi, 0x48(%rsp)
movq %rsi, 0x40(%rsp)
movq 0x40(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x13, %eax
je 0xab4d0
movq 0x48(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x48(%rsp), %rax
movq 0x1560(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq $0x1, 0x30(%rsp)
movq 0x30(%rsp), %rax
andq $-0x800, %rax           # imm = 0xF800
cmpq $0x0, %rax
jne 0xab41e
movq 0x30(%rsp), %rcx
leaq 0x16b06c(%rip), %rax    # 0x216480
movq (%rax,%rcx,8), %rax
movq %rax, (%rsp)
jmp 0xab494
jmp 0xab420
movq 0x48(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x48(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xab444
movq 0x48(%rsp), %rdi
callq 0xc670
movq 0x48(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rax
movq $0xb, (%rax)
movq 0x30(%rsp), %rcx
movq 0x20(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x20(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rax
movq %rax, (%rsp)
movq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdi
movq (%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rdx
movq 0x40(%rsp), %rcx
movq 0x48(%rsp), %rax
movq 0x140(%rax), %r8
movq 0x16f164(%rip), %r9     # 0x21a628
callq 0xc560
movq %rax, 0x50(%rsp)
jmp 0xab51c
movq 0x40(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x38(%rsp)
cmpq $0x0, 0x38(%rsp)
je 0xab4f0
movq 0x38(%rsp), %rax
cmpb $0x0, (%rax)
jne 0xab503
movq 0x48(%rsp), %rax
movq 0x120(%rax), %rax
movq %rax, 0x50(%rsp)
jmp 0xab51c
movq 0x48(%rsp), %rdi
movq 0x38(%rsp), %rsi
movl $0xa, %edx
callq 0x1c22b0
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
addq $0x58, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: set_car_p_pp
static s7_pointer set_car_p_pp(s7_scheme *sc, s7_pointer p1, s7_pointer p2)
                {
                    if (!is_mutable_pair(p1))
                        simple_wrong_type_argument(sc, sc->set_car_symbol, p1, T_PAIR);
                    set_car(p1, p2);
                    return(p2);
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movq %rsi, 0x8(%rsp)
movq %rdx, (%rsp)
movq 0x8(%rsp), %rax
movq (%rax), %rax
andq $0x10000ff, %rax        # imm = 0x10000FF
cmpq $0x1, %rax
je 0xab968
movq 0x10(%rsp), %rdi
movq 0x10(%rsp), %rax
movq 0x14a8(%rax), %rax
movq 0x8(%rax), %rsi
movq 0x8(%rsp), %rdx
movq 0x10(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16ec35(%rip), %r8     # 0x21a598
callq 0x14a60
movq (%rsp), %rcx
movq 0x8(%rsp), %rax
movq %rcx, 0x8(%rax)
movq (%rsp), %rax
addq $0x18, %rsp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: set_cdr_p_pp
static s7_pointer set_cdr_p_pp(s7_scheme *sc, s7_pointer p1, s7_pointer p2)
                {
                    if (!is_mutable_pair(p1))
                        simple_wrong_type_argument(sc, sc->set_cdr_symbol, p1, T_PAIR);
                    set_cdr(p1, p2);
                    return(p2);
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x10(%rsp)
movq %rsi, 0x8(%rsp)
movq %rdx, (%rsp)
movq 0x8(%rsp), %rax
movq (%rax), %rax
andq $0x10000ff, %rax        # imm = 0x10000FF
cmpq $0x1, %rax
je 0xaba48
movq 0x10(%rsp), %rdi
movq 0x10(%rsp), %rax
movq 0x14b0(%rax), %rax
movq 0x8(%rax), %rsi
movq 0x8(%rsp), %rdx
movq 0x10(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16eb55(%rip), %r8     # 0x21a598
callq 0x14a60
movq (%rsp), %rcx
movq 0x8(%rsp), %rax
movq %rcx, 0x10(%rax)
movq (%rsp), %rax
addq $0x18, %rsp
retq
nop
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: caar_p_p
static s7_pointer caar_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(car(p))))
                        return(caar(p));
                    return(simple_wrong_type_argument(sc, sc->caar_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xaba9c
movq (%rsp), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xaba9c
movq (%rsp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xabad2
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xca8(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16ead0(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: cadr_p_p
static s7_pointer cadr_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(cdr(p))))
                        return(cadr(p));
                    return(simple_wrong_type_argument(sc, sc->cadr_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabb1c
movq (%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabb1c
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xabb52
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xce0(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16ea50(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: cdar_p_p
static s7_pointer cdar_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(car(p))))
                        return(cdar(p));
                    return(simple_wrong_type_argument(sc, sc->cdar_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabb9c
movq (%rsp), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabb9c
movq (%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xabbd2
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xd60(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16e9d0(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: cddr_p_p
static s7_pointer cddr_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(cdr(p))))
                        return(cddr(p));
                    return(simple_wrong_type_argument(sc, sc->cddr_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabc1c
movq (%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabc1c
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xabc52
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xd98(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16e950(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: caddr_p_p
static s7_pointer caddr_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(cdr(p))) &&
                            (is_pair(cddr(p))))
                        return(caddr(p));
                    return(simple_wrong_type_argument(sc, sc->caddr_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabcb4
movq (%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabcb4
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabcb4
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xabcea
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xcd8(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16e8b8(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: caddar_p_p
static s7_pointer caddar_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(car(p))) &&
                            (is_pair(cdar(p))) &&
                            (is_pair(cddar(p))))
                        return(caddar(p));
                    return(simple_wrong_type_argument(sc, sc->caddar_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabd70
movq (%rsp), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabd70
movq (%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabd70
movq (%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabd70
movq (%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xabda6
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xcc8(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16e7fc(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: caadr_p_p
static s7_pointer caadr_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(cdr(p))) &&
                            (is_pair(cadr(p))))
                        return(caadr(p));
                    return(simple_wrong_type_argument(sc, sc->caadr_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabe04
movq (%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabe04
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabe04
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xabe3a
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xca0(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16e768(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: caaddr_p_p
static s7_pointer caaddr_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(cdr(p))) &&
                            (is_pair(cddr(p))) &&
                            (is_pair(caddr(p))))
                        return(caaddr(p));
                    return(simple_wrong_type_argument(sc, sc->caaddr_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabec0
movq (%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabec0
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabec0
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabec0
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xabef6
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xc98(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16e6ac(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: cadar_p_p
static s7_pointer cadar_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(car(p))) &&
                            (is_pair(cdar(p))))
                        return(cadar(p));
                    return(simple_wrong_type_argument(sc, sc->cadar_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabf54
movq (%rsp), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabf54
movq (%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xabf54
movq (%rsp), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xabf8a
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xcc0(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16e618(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: cadadr_p_p
static s7_pointer cadadr_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(cdr(p))) &&
                            (is_pair(cadr(p))) &&
                            (is_pair(cdadr(p))))
                        return(cadadr(p));
                    return(simple_wrong_type_argument(sc, sc->cadadr_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xac010
movq (%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xac010
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xac010
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xac010
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xac046
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xcb8(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16e55c(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: cdadr_p_p
static s7_pointer cdadr_p_p(s7_scheme *sc, s7_pointer p)
                {
                    if ((is_pair(p)) &&
                            (is_pair(cdr(p))) &&
                            (is_pair(cadr(p))))
                        return(cdadr(p));
                    return(simple_wrong_type_argument(sc, sc->cdadr_symbol, p, T_PAIR));
                }

// Assembly:
subq $0x18, %rsp
movq %rdi, 0x8(%rsp)
movq %rsi, (%rsp)
movq (%rsp), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xac0a4
movq (%rsp), %rax
movq 0x10(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xac0a4
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movzbl (%rax), %eax
cmpl $0x1, %eax
jne 0xac0a4
movq (%rsp), %rax
movq 0x10(%rax), %rax
movq 0x8(%rax), %rax
movq 0x10(%rax), %rax
movq %rax, 0x10(%rsp)
jmp 0xac0da
movq 0x8(%rsp), %rdi
movq 0x8(%rsp), %rax
movq 0xd58(%rax), %rax
movq 0x8(%rax), %rsi
movq (%rsp), %rdx
movq 0x8(%rsp), %rax
movq 0x140(%rax), %rcx
movq 0x16e4c8(%rip), %r8     # 0x21a598
callq 0x14a60
movq %rax, 0x10(%rsp)
movq 0x10(%rsp), %rax
addq $0x18, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: newline_p_p
static s7_pointer newline_p_p(s7_scheme *sc, s7_pointer port)
    {
        if (!is_output_port(port))
        {
            if (port == sc->F) return(newline_char);
            return(method_or_bust_with_type_one_arg(sc, port, sc->newline_symbol, list_1(sc, port), an_output_port_string));
        }
        s7_newline(sc, port);
        return(newline_char);
    }

// Assembly:
subq $0x58, %rsp
movq %rdi, 0x48(%rsp)
movq %rsi, 0x40(%rsp)
movq 0x40(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x22, %eax
je 0xac327
movq 0x40(%rsp), %rax
movq 0x48(%rsp), %rcx
cmpq 0x120(%rcx), %rax
jne 0xac247
movq 0x16e34f(%rip), %rax    # 0x21a588
movq 0x50(%rax), %rax
movq %rax, 0x50(%rsp)
jmp 0xac346
movq 0x48(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x48(%rsp), %rax
movq 0x1360(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x48(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x48(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x48(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xac2ab
movq 0x48(%rsp), %rdi
callq 0xc670
movq 0x48(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x38(%rsp)
movq 0x38(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x18(%rsp), %rdx
movq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdi
movq 0x30(%rsp), %rcx
movq 0x38(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rsp), %rcx
movq 0x38(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x38(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rcx
movq 0x175aed(%rip), %r8     # 0x221e08
callq 0x1ba7e0
movq %rax, 0x50(%rsp)
jmp 0xac346
movq 0x48(%rsp), %rdi
movq 0x40(%rsp), %rsi
callq 0x2d390
movq 0x16e24b(%rip), %rax    # 0x21a588
movq 0x50(%rax), %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
addq $0x58, %rsp
retq
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: write_p_pp
static s7_pointer write_p_pp(s7_scheme *sc, s7_pointer x, s7_pointer port)
    {
        if (port == sc->F) return(x);
        if (!is_output_port(port))
            return(method_or_bust_with_type(sc, port, sc->write_symbol, list_2(sc, x, port), an_output_port_string, 2));
        if (port_is_closed(port))
            s7_wrong_type_arg_error(sc, "write", 2, port, "an open output port");
        return(object_out(sc, x, port, P_WRITE));
    }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
movq %rdx, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq 0x58(%rsp), %rcx
cmpq 0x120(%rcx), %rax
jne 0xac975
movq 0x50(%rsp), %rax
movq %rax, 0x60(%rsp)
jmp 0xacadf
movq 0x48(%rsp), %rax
movzbl (%rax), %eax
cmpl $0x22, %eax
je 0xaca90
movq 0x58(%rsp), %rax
movq %rax, (%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x58(%rsp), %rax
movq 0x16b8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x38(%rsp)
movq 0x58(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x30(%rsp)
movq 0x58(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xac9fd
movq 0x58(%rsp), %rdi
callq 0xc670
movq 0x58(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x40(%rsp)
movq 0x40(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x20(%rsp), %rsi
movq 0x18(%rsp), %rdi
movq 0x38(%rsp), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x30(%rsp), %rcx
movq 0x40(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x40(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x28(%rsp), %rdx
callq 0xd9f0
movq (%rsp), %rdi
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq %rax, %rcx
movq 0x17538a(%rip), %r8     # 0x221e08
movl $0x2, %r9d
callq 0x14130
movq %rax, 0x60(%rsp)
jmp 0xacadf
movq 0x48(%rsp), %rax
movq 0x8(%rax), %rax
testb $0x1, 0x2(%rax)
je 0xacac1
movq 0x58(%rsp), %rdi
movq 0x48(%rsp), %rcx
leaq 0x1351f0(%rip), %rsi    # 0x1e1ca0
movl $0x2, %edx
leaq 0x146424(%rip), %r8     # 0x1f2ee0
callq 0x12540
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rsi
movq 0x48(%rsp), %rdx
movl $0x1, %ecx
callq 0x2d120
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
addq $0x68, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: write_char_p_p
static s7_pointer write_char_p_p(s7_scheme *sc, s7_pointer c)
    {
        if (!s7_is_character(c))
            return(method_or_bust(sc, c, sc->write_char_symbol, list_1(sc, c), T_CHARACTER, 1));
        if (sc->output_port == sc->F) return(c);
        port_write_character(sc->output_port)(sc, s7_character(c), sc->output_port);
        return(c);
    }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
movq 0x50(%rsp), %rdi
callq 0x14430
testb $0x1, %al
jne 0xacbf5
movq 0x58(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x58(%rsp), %rax
movq 0x16a8(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x58(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x38(%rsp)
movq 0x58(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xacb74
movq 0x58(%rsp), %rdi
callq 0xc670
movq 0x58(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x28(%rsp), %rdx
movq 0x20(%rsp), %rsi
movq 0x18(%rsp), %rdi
movq 0x40(%rsp), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x38(%rsp), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x48(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rcx
movl $0x8, %r8d
movl $0x1, %r9d
callq 0x13c50
movq %rax, 0x60(%rsp)
jmp 0xacc73
movq 0x58(%rsp), %rax
movq 0x188(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x120(%rcx), %rax
jne 0xacc1b
movq 0x50(%rsp), %rax
movq %rax, 0x60(%rsp)
jmp 0xacc73
movq 0x58(%rsp), %rax
movq 0x188(%rax), %rax
movq 0x8(%rax), %rax
movq 0x48(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x50(%rsp), %rdi
callq 0x14450
movq 0x8(%rsp), %rdi
movb %al, %cl
movq 0x10(%rsp), %rax
movq 0x58(%rsp), %rdx
movq 0x188(%rdx), %rdx
movzbl %cl, %esi
callq *%rax
movq 0x50(%rsp), %rax
movq %rax, 0x60(%rsp)
movq 0x60(%rsp), %rax
addq $0x68, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: append_p_pp
static s7_pointer append_p_pp(s7_scheme *sc, s7_pointer p1, s7_pointer p2)
                {
                    /* plist in use above */
                    s7_pointer val;
                    sc->temp7 = list_2(sc, p1, p2);
                    val = g_append(sc, sc->temp7);
                    sc->temp7 = sc->nil;
                    return(val);
                }

// Assembly:
subq $0x58, %rsp
movq %rdi, 0x50(%rsp)
movq %rsi, 0x48(%rsp)
movq %rdx, 0x40(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x28(%rsp)
movq 0x50(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x50(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x50(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xadb06
movq 0x50(%rsp), %rdi
callq 0xc670
movq 0x50(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x10(%rsp), %rsi
movq 0x8(%rsp), %rdi
movq 0x28(%rsp), %rcx
movq 0x30(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x20(%rsp), %rcx
movq 0x30(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x30(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x18(%rsp), %rdx
callq 0xd9f0
movq %rax, %rcx
movq 0x50(%rsp), %rax
movq %rcx, 0x528(%rax)
movq 0x50(%rsp), %rdi
movq 0x50(%rsp), %rax
movq 0x528(%rax), %rsi
callq 0x98ad0
movq %rax, 0x38(%rsp)
movq 0x50(%rsp), %rax
movq 0x110(%rax), %rcx
movq 0x50(%rsp), %rax
movq %rcx, 0x528(%rax)
movq 0x38(%rsp), %rax
addq $0x58, %rsp
retq
nopl (%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: append_p_ppp
static s7_pointer append_p_ppp(s7_scheme *sc, s7_pointer p1, s7_pointer p2, s7_pointer p3)
                {
                    s7_pointer val;
                    sc->temp7 = list_3(sc, p1, p2, p3);
                    val = g_append(sc, sc->temp7);
                    sc->temp7 = sc->nil;
                    return(val);
                }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x60(%rsp)
movq %rsi, 0x58(%rsp)
movq %rdx, 0x50(%rsp)
movq %rcx, 0x48(%rsp)
movq 0x60(%rsp), %rax
movq %rax, (%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x60(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x48(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x60(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x60(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x60(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xadc3e
movq 0x60(%rsp), %rdi
callq 0xc670
movq 0x60(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x38(%rsp)
movq 0x38(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x18(%rsp), %rsi
movq 0x10(%rsp), %rdi
movq 0x30(%rsp), %rcx
movq 0x38(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x28(%rsp), %rcx
movq 0x38(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x38(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x20(%rsp), %rdx
callq 0xd9f0
movq (%rsp), %rdi
movq 0x8(%rsp), %rsi
movq %rax, %rdx
callq 0xd9f0
movq %rax, %rcx
movq 0x60(%rsp), %rax
movq %rcx, 0x528(%rax)
movq 0x60(%rsp), %rdi
movq 0x60(%rsp), %rax
movq 0x528(%rax), %rsi
callq 0x98ad0
movq %rax, 0x40(%rsp)
movq 0x60(%rsp), %rax
movq 0x110(%rax), %rcx
movq 0x60(%rsp), %rax
movq %rcx, 0x528(%rax)
movq 0x40(%rsp), %rax
addq $0x68, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: round_i_7d
static s7_int round_i_7d(s7_scheme *sc, s7_double z)
    {
        if (is_NaN(z))
            simple_out_of_range(sc, sc->round_symbol, wrap_real(sc, z), its_nan_string);
        if ((is_inf(z)) ||
                (z > REAL_TO_INT_LIMIT) ||
                (z < -REAL_TO_INT_LIMIT))
            simple_out_of_range(sc, sc->round_symbol, wrap_real(sc, z), its_too_large_string);
        return((s7_int)r5rs_round(z));
    }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x30(%rsp)
movsd %xmm0, 0x28(%rsp)
movsd 0x28(%rsp), %xmm0
callq 0x13860
testb $0x1, %al
jne 0xb2080
jmp 0xb20c8
movq 0x30(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x30(%rsp), %rax
movq 0x1498(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x30(%rsp), %rdi
movsd 0x28(%rsp), %xmm0
callq 0x1bc2f0
movq 0x18(%rsp), %rdi
movq 0x20(%rsp), %rsi
movq %rax, %rdx
movq 0x17312d(%rip), %rcx    # 0x2251f0
callq 0x45240
movsd 0x28(%rsp), %xmm1
movaps %xmm1, %xmm0
movaps 0x12f9c8(%rip), %xmm2   # 0x1e1aa0
pand %xmm2, %xmm0
movq %xmm1, %rdx
movl $0x1, %ecx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq $0x0, %rdx
cmovll %eax, %ecx
movsd 0x12f876(%rip), %xmm1   # 0x1e1970
xorl %eax, %eax
ucomisd %xmm1, %xmm0
setnp %sil
sete %dl
testb %sil, %dl
cmovnel %ecx, %eax
cmpl $0x0, %eax
jne 0xb2136
movsd 0x28(%rsp), %xmm0
movsd 0x12f900(%rip), %xmm1   # 0x1e1a20
ucomisd %xmm1, %xmm0
ja 0xb2136
movsd 0x12f8fa(%rip), %xmm0   # 0x1e1a28
ucomisd 0x28(%rsp), %xmm0
jbe 0xb217e
movq 0x30(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x30(%rsp), %rax
movq 0x1498(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x30(%rsp), %rdi
movsd 0x28(%rsp), %xmm0
callq 0x1bc2f0
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq %rax, %rdx
movq 0x1683f7(%rip), %rcx    # 0x21a570
callq 0x45240
movsd 0x28(%rsp), %xmm0
callq 0x1bc320
cvttsd2si %xmm0, %rax
addq $0x38, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: floor_i_7d
static s7_int floor_i_7d(s7_scheme *sc, s7_double x)
    {

        if (is_NaN(x))
            simple_out_of_range(sc, sc->floor_symbol, wrap_real(sc, x), its_nan_string);
        if (fabs(x) > REAL_TO_INT_LIMIT)
            simple_out_of_range(sc, sc->floor_symbol, wrap_real(sc, x), its_too_large_string);
        return((s7_int)floor(x));
    }

// Assembly:
subq $0x38, %rsp
movq %rdi, 0x30(%rsp)
movsd %xmm0, 0x28(%rsp)
movsd 0x28(%rsp), %xmm0
callq 0x13860
testb $0x1, %al
jne 0xb21c0
jmp 0xb2208
movq 0x30(%rsp), %rax
movq %rax, 0x18(%rsp)
movq 0x30(%rsp), %rax
movq 0xf08(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x20(%rsp)
movq 0x30(%rsp), %rdi
movsd 0x28(%rsp), %xmm0
callq 0x1bc2f0
movq 0x18(%rsp), %rdi
movq 0x20(%rsp), %rsi
movq %rax, %rdx
movq 0x172fed(%rip), %rcx    # 0x2251f0
callq 0x45240
movsd 0x28(%rsp), %xmm0
movaps 0x12f88b(%rip), %xmm1   # 0x1e1aa0
pand %xmm1, %xmm0
movsd 0x12f7ff(%rip), %xmm1   # 0x1e1a20
ucomisd %xmm1, %xmm0
jbe 0xb226f
movq 0x30(%rsp), %rax
movq %rax, 0x8(%rsp)
movq 0x30(%rsp), %rax
movq 0xf08(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x30(%rsp), %rdi
movsd 0x28(%rsp), %xmm0
callq 0x1bc2f0
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
movq %rax, %rdx
movq 0x168306(%rip), %rcx    # 0x21a570
callq 0x45240
movsd 0x28(%rsp), %xmm0
callq 0x95f0
cvttsd2si %xmm0, %rax
addq $0x38, %rsp
retq
nopw %cs:(%rax,%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: floor_i_7p
static s7_int floor_i_7p(s7_scheme *sc, s7_pointer p)
    {
        if (is_t_integer(p)) return(s7_integer(p));
        if (is_t_real(p)) return(floor_i_7d(sc, real(p)));
        if (is_t_ratio(p)) return((s7_int)(floor(fraction(p))));
        if (has_active_methods(sc, p))
            return(s7_integer(find_and_apply_method(sc, find_let(sc, p), sc->floor_symbol, list_1(sc, p))));
        s7_wrong_type_arg_error(sc, "floor", 0, p, "a real number");
        return(0);
    }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
movq 0x50(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0xb22bf
movq 0x50(%rsp), %rdi
callq 0x10790
movq %rax, 0x60(%rsp)
jmp 0xb2473
movq 0x50(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xd, %eax
jne 0xb22ea
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rax
movsd 0x8(%rax), %xmm0
callq 0xb21a0
movq %rax, 0x60(%rsp)
jmp 0xb2473
movq 0x50(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xc, %eax
jne 0xb2336
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rax), %rax
movq %rcx, 0x28(%rsp)
fildll 0x28(%rsp)
movq %rax, 0x20(%rsp)
fildll 0x20(%rsp)
fdivrp %st, %st(1)
fstpl 0x18(%rsp)
movsd 0x18(%rsp), %xmm0
callq 0x95f0
cvttsd2si %xmm0, %rax
movq %rax, 0x60(%rsp)
jmp 0xb2473
movq 0x50(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
je 0xb2449
movq 0x58(%rsp), %rax
testb $0x1, 0x24c(%rax)
je 0xb2449
movq 0x58(%rsp), %rax
movq %rax, (%rsp)
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rsi
callq 0x9a10
movq %rax, 0x8(%rsp)
movq 0x58(%rsp), %rax
movq 0xf08(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x58(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x38(%rsp)
movq 0x58(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xb23cd
movq 0x58(%rsp), %rdi
callq 0xc670
movq 0x58(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x10(%rsp), %rdx
movq 0x8(%rsp), %rsi
movq (%rsp), %rdi
movq 0x40(%rsp), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x38(%rsp), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x48(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rcx
callq 0xc84f0
movq %rax, %rdi
callq 0x10790
movq %rax, 0x60(%rsp)
jmp 0xb2473
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rcx
leaq 0x134006(%rip), %rsi    # 0x1e6460
xorl %eax, %eax
movl %eax, %edx
leaq 0x130ec1(%rip), %r8     # 0x1e3326
callq 0x12540
movq $0x0, 0x60(%rsp)
movq 0x60(%rsp), %rax
addq $0x68, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: ceiling_i_7p
static s7_int ceiling_i_7p(s7_scheme *sc, s7_pointer p)
    {
        if (is_t_integer(p)) return(s7_integer(p));
        if (is_t_real(p)) return(ceiling_i_7d(sc, real(p)));
        if (is_t_ratio(p)) return((s7_int)(ceil(fraction(p))));
        if (has_active_methods(sc, p))
            return(s7_integer(find_and_apply_method(sc, find_let(sc, p), sc->ceiling_symbol, list_1(sc, p))));
        s7_wrong_type_arg_error(sc, "ceiling", 0, p, "a real number");
        return(0);
    }

// Assembly:
subq $0x68, %rsp
movq %rdi, 0x58(%rsp)
movq %rsi, 0x50(%rsp)
movq 0x50(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xb, %eax
jne 0xb24af
movq 0x50(%rsp), %rdi
callq 0x10790
movq %rax, 0x60(%rsp)
jmp 0xb2663
movq 0x50(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xd, %eax
jne 0xb24da
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rax
movsd 0x8(%rax), %xmm0
callq 0xb2870
movq %rax, 0x60(%rsp)
jmp 0xb2663
movq 0x50(%rsp), %rax
movzbl (%rax), %eax
cmpl $0xc, %eax
jne 0xb2526
movq 0x50(%rsp), %rax
movq 0x8(%rax), %rcx
movq 0x10(%rax), %rax
movq %rcx, 0x28(%rsp)
fildll 0x28(%rsp)
movq %rax, 0x20(%rsp)
fildll 0x20(%rsp)
fdivrp %st, %st(1)
fstpl 0x18(%rsp)
movsd 0x18(%rsp), %xmm0
callq 0x96c0
cvttsd2si %xmm0, %rax
movq %rax, 0x60(%rsp)
jmp 0xb2663
movq 0x50(%rsp), %rax
movq (%rax), %rax
andq $0x40000000, %rax       # imm = 0x40000000
cmpq $0x0, %rax
je 0xb2639
movq 0x58(%rsp), %rax
testb $0x1, 0x24c(%rax)
je 0xb2639
movq 0x58(%rsp), %rax
movq %rax, (%rsp)
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rsi
callq 0x9a10
movq %rax, 0x8(%rsp)
movq 0x58(%rsp), %rax
movq 0xda8(%rax), %rax
movq %rax, 0x10(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x40(%rsp)
movq 0x58(%rsp), %rax
movq 0x110(%rax), %rax
movq %rax, 0x38(%rsp)
movq 0x58(%rsp), %rax
movq 0x90(%rax), %rax
movq 0x58(%rsp), %rcx
cmpq 0x98(%rcx), %rax
ja 0xb25bd
movq 0x58(%rsp), %rdi
callq 0xc670
movq 0x58(%rsp), %rcx
movq 0x90(%rcx), %rax
movq %rax, %rdx
addq $-0x8, %rdx
movq %rdx, 0x90(%rcx)
movq -0x8(%rax), %rax
movq %rax, 0x48(%rsp)
movq 0x48(%rsp), %rax
movq $0x200001, (%rax)       # imm = 0x200001
movq 0x10(%rsp), %rdx
movq 0x8(%rsp), %rsi
movq (%rsp), %rdi
movq 0x40(%rsp), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x8(%rax)
movq 0x38(%rsp), %rcx
movq 0x48(%rsp), %rax
movq %rcx, 0x10(%rax)
movq 0x48(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x30(%rsp), %rcx
callq 0xc84f0
movq %rax, %rdi
callq 0x10790
movq %rax, 0x60(%rsp)
jmp 0xb2663
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %rcx
leaq 0x133e53(%rip), %rsi    # 0x1e649d
xorl %eax, %eax
movl %eax, %edx
leaq 0x130cd1(%rip), %r8     # 0x1e3326
callq 0x12540
movq $0x0, 0x60(%rsp)
movq 0x60(%rsp), %rax
addq $0x68, %rsp
retq
nopl (%rax)
// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: truncate_i_7d
static s7_int truncate_i_7d(s7_scheme *sc, s7_double x)
    {
        if (is_NaN(x))
            simple_out_of_range(sc, sc->truncate_symbol, wrap_real(sc, x), its_nan_string);
        if (is_inf(x))
            simple_out_of_range(sc, sc->truncate_symbol, wrap_real(sc, x), its_infinite_string);
        if (x > 0.0)
        {
            if (x > s7_int_max)
                simple_out_of_range(sc, sc->truncate_symbol, wrap_real(sc, x), its_too_large_string);
            return((s7_int)floor(x));
        }
        if (x < s7_int_min)
            simple_out_of_range(sc, sc->truncate_symbol, wrap_real(sc, x), its_too_large_string);
        return((s7_int)ceil(x));
    }

// Assembly:
subq $0x58, %rsp
movq %rdi, 0x48(%rsp)
movsd %xmm0, 0x40(%rsp)
movsd 0x40(%rsp), %xmm0
callq 0x13860
testb $0x1, %al
jne 0xb2690
jmp 0xb26d8
movq 0x48(%rsp), %rax
movq %rax, 0x30(%rsp)
movq 0x48(%rsp), %rax
movq 0x1620(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x38(%rsp)
movq 0x48(%rsp), %rdi
movsd 0x40(%rsp), %xmm0
callq 0x1bc2f0
movq 0x30(%rsp), %rdi
movq 0x38(%rsp), %rsi
movq %rax, %rdx
movq 0x172b1d(%rip), %rcx    # 0x2251f0
callq 0x45240
movsd 0x40(%rsp), %xmm1
movaps %xmm1, %xmm0
movaps 0x12f3b8(%rip), %xmm2   # 0x1e1aa0
pand %xmm2, %xmm0
movq %xmm1, %rdx
movl $0x1, %ecx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpq $0x0, %rdx
cmovll %eax, %ecx
movsd 0x12f266(%rip), %xmm1   # 0x1e1970
xorl %eax, %eax
ucomisd %xmm1, %xmm0
setnp %sil
sete %dl
testb %sil, %dl
cmovnel %ecx, %eax
cmpl $0x0, %eax
je 0xb276a
movq 0x48(%rsp), %rax
movq %rax, 0x20(%rsp)
movq 0x48(%rsp), %rax
movq 0x1620(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
movq 0x48(%rsp), %rdi
movsd 0x40(%rsp), %xmm0
callq 0x1bc2f0
movq 0x20(%rsp), %rdi
movq 0x28(%rsp), %rsi
movq %rax, %rdx
movq 0x172a93(%rip), %rcx    # 0x2251f8
callq 0x45240
movsd 0x40(%rsp), %xmm0
xorps %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jbe 0xb27ed
movsd 0x40(%rsp), %xmm0
cvtsi2sdq 0x167fb0(%rip), %xmm1 # 0x21a738
ucomisd %xmm1, %xmm0
jbe 0xb27d6
movq 0x48(%rsp), %rax
movq %rax, 0x10(%rsp)
movq 0x48(%rsp), %rax
movq 0x1620(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x18(%rsp)
movq 0x48(%rsp), %rdi
movsd 0x40(%rsp), %xmm0
callq 0x1bc2f0
movq 0x10(%rsp), %rdi
movq 0x18(%rsp), %rsi
movq %rax, %rdx
movq 0x167d9f(%rip), %rcx    # 0x21a570
callq 0x45240
movsd 0x40(%rsp), %xmm0
callq 0x95f0
cvttsd2si %xmm0, %rax
movq %rax, 0x50(%rsp)
jmp 0xb285d
movsd 0x40(%rsp), %xmm1
cvtsi2sdq 0x167d5c(%rip), %xmm0 # 0x21a558
ucomisd %xmm1, %xmm0
jbe 0xb2848
movq 0x48(%rsp), %rax
movq %rax, (%rsp)
movq 0x48(%rsp), %rax
movq 0x1620(%rax), %rax
movq 0x8(%rax), %rax
movq %rax, 0x8(%rsp)
movq 0x48(%rsp), %rdi
movsd 0x40(%rsp), %xmm0
callq 0x1bc2f0
movq (%rsp), %rdi
movq 0x8(%rsp), %rsi
movq %rax, %rdx
movq 0x167d2d(%rip), %rcx    # 0x21a570
callq 0x45240
movsd 0x40(%rsp), %xmm0
callq 0x96c0
cvttsd2si %xmm0, %rax
movq %rax, 0x50(%rsp)
movq 0x50(%rsp), %rax
addq $0x58, %rsp
retq
nopw (%rax,%rax)