// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: number_to_string_base_10
static char *number_to_string_base_10(s7_scheme *sc, s7_pointer obj, s7_int width, s7_int precision, char float_choice, s7_int *nlen, use_write_t choice) /* don't free result */
    {
        /* called by number_to_string_with_radix g_number_to_string, number_to_string_p_p number_to_port format_number */
        /* the rest of s7 assumes nlen is set to the correct length
         *   a tricky case: (format #f "~f" 1e308) -- tries to print 308 digits! so 256 as default len is too small.
         *   but then even worse: (format #f "~F" 1e308+1e308i)!
         */
        s7_int len;

        if ((width + precision) > 512)
            len = 512 + 2 * (width + precision);
        else len = 1024;

        if (len > sc->num_to_str_size)
        {
            if (!sc->num_to_str)
                sc->num_to_str = (char *)malloc(len);
            else sc->num_to_str = (char *)realloc(sc->num_to_str, len);
            sc->num_to_str_size = len;
        }

        /* bignums can't happen here */
        switch (type(obj))
        {
            case T_INTEGER:
                if (width == 0)
                {
                    if (has_print_name(obj))
                    {
                        (*nlen) = print_name_length(obj);
                        return((char *)print_name(obj));
                    }
                    return(integer_to_string(sc, integer(obj), nlen));
                }
                {
                    char *p;
                    p = integer_to_string(sc, integer(obj), &len);
                    if (width > len)
                    {
                        insert_spaces(sc, p, width, len);
                        (*nlen) = width;
                        return(sc->num_to_str);
                    }
                    (*nlen) = len;
                    return(p);
                }

            case T_RATIO:
                len = catstrs_direct(sc->num_to_str, integer_to_string_no_length(sc, numerator(obj)), "/", pos_int_to_str_direct(sc, denominator(obj)), NULL);
                if (width > len)
                {
                    insert_spaces(sc, sc->num_to_str, width, len);
                    (*nlen) = width;
                }
                else (*nlen) = len;
                return(sc->num_to_str);

            case T_REAL:
                if (width == 0)
                {
#if WITH_DTOA
                    if ((float_choice == 'g') &&
                            (precision == WRITE_REAL_PRECISION))
                    {
                        /* (number->string 0.0000001) is sensitive to (*s7* 'float-format-precision) and inconsistent: either 1e-7 or 0.0000001
                         *    because fpconv_dtoa has some complicated decision about 'g' vs 'f' -- not sure if this is a bug.
                         */
                        len = fpconv_dtoa(real(obj), sc->num_to_str);
                        sc->num_to_str[len] = '\0';
                        (*nlen) = len;
                        return(sc->num_to_str);
                    }
#endif
                    len = snprintf(sc->num_to_str, sc->num_to_str_size - 4,
                            (float_choice == 'g') ? "%.*g" : ((float_choice == 'f') ? "%.*f" : "%.*e"),
                            (int32_t)precision, real(obj)); /* -4 for floatify */
                }
                else len = snprintf(sc->num_to_str, sc->num_to_str_size - 4,
                        (float_choice == 'g') ? "%*.*g" : ((float_choice == 'f') ? "%*.*f" : "%*.*e"),
                        (int32_t)width, (int32_t)precision, real(obj)); /* -4 for floatify */
                (*nlen) = len;
                floatify(sc->num_to_str, nlen);
                return(sc->num_to_str);

            default:
                {
                    char *imag;

                    sc->num_to_str[0] = '\0';
                    real(sc->real_wrapper4) = imag_part(obj);
                    imag = copy_string(number_to_string_base_10(sc, sc->real_wrapper4, 0, precision, float_choice, &len, choice));

                    sc->num_to_str[0] = '\0';
                    real(sc->real_wrapper3) = real_part(obj);
                    number_to_string_base_10(sc, sc->real_wrapper3, 0, precision, float_choice, &len, choice);

                    sc->num_to_str[len] = '\0';
                    len = catstrs(sc->num_to_str, sc->num_to_str_size, ((imag[0] == '+') || (imag[0] == '-')) ? "" : "+", imag, "i", NULL);
                    free(imag);

                    if (width > len)  /* (format #f "~20g" 1+i) */
                    {
                        insert_spaces(sc, sc->num_to_str, width, len); /* this checks sc->num_to_str_size */
                        (*nlen) = width;
                    }
                    else (*nlen) = len;
                }
                break;
        }
        return(sc->num_to_str);
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %r9, %r14
movq %rcx, %r13
movq %rdx, %r15
movq %rsi, %r12
leaq (%rcx,%rdx), %rax
cmpq $0x201, %rax            # imm = 0x201
leaq 0x200(%rax,%rax), %rax
movl $0x400, %ebx            # imm = 0x400
cmovgeq %rax, %rbx
movq %rdi, %r11
movq %rbx, 0x10(%rsp)
movslq 0x7e0(%rdi), %rax
cmpq %rax, %rbx
jle 0x958b8
movq %r13, (%rsp)
movl %r8d, %r13d
movq %r15, %rbp
movq %r14, %r15
movq %r11, %r14
movq 0x830(%r11), %rdi
testq %rdi, %rdi
je 0x95892
movq %rbx, %rsi
callq 0x9510
jmp 0x9589a
movq %rbx, %rdi
callq 0x9480
movq %r14, %r11
movq %rax, 0x830(%r14)
movl %ebx, 0x7e0(%r14)
movq %r15, %r14
movq %rbp, %r15
movl %r13d, %r8d
movq (%rsp), %r13
movzbl (%r12), %eax
cmpl $0xd, %eax
je 0x95931
cmpl $0xc, %eax
je 0x95906
cmpl $0xb, %eax
jne 0x95991
testq %r15, %r15
je 0x95b7d
movq 0x8(%r12), %rsi
movl 0xbd144(%rip), %eax     # 0x152a28
shlq $0x3f, %rax
cmpq %rsi, %rax
jne 0x95baa
movq $0x14, 0x10(%rsp)
leaq 0x89c67(%rip), %r12     # 0x11f568
jmp 0x95dd4
movq 0x830(%r11), %rdi
movq 0x8(%r12), %r8
movl 0xbd110(%rip), %eax     # 0x152a28
shlq $0x3f, %rax
cmpq %r8, %rax
jne 0x95a91
leaq 0x89c3c(%rip), %rsi     # 0x11f568
jmp 0x95c37
testq %r15, %r15
je 0x95b0f
movq %r14, (%rsp)
movq 0x830(%r11), %rdi
movslq 0x7e0(%r11), %rsi
addq $-0x4, %rsi
cmpb $0x66, %r8b
leaq 0x89c01(%rip), %rax     # 0x11f55c
leaq 0x89c00(%rip), %rcx     # 0x11f562
cmoveq %rax, %rcx
cmpb $0x67, %r8b
leaq 0x89be5(%rip), %rdx     # 0x11f556
cmovneq %rcx, %rdx
movsd 0x8(%r12), %xmm0
movl %r15d, %ecx
movl %r13d, %r8d
movb $0x1, %al
movq %r11, %r15
callq 0x9210
jmp 0x95d1f
movq %r14, (%rsp)
movq 0x830(%r11), %rax
xorl %ecx, %ecx
movb %cl, (%rax)
movsd 0x10(%r12), %xmm0
movq 0x1f30(%r11), %rax
movsd %xmm0, 0x8(%rax)
movq 0x1f30(%r11), %rsi
movsbl %r8b, %r14d
leaq 0x10(%rsp), %r9
movq %r11, %rdi
xorl %edx, %edx
movq %r13, %rcx
movl %r14d, %r8d
movq %r11, %rbp
callq 0x95820
movq %rax, %rdi
callq 0xd01f
movq %rax, %rbx
movq 0x830(%rbp), %rax
xorl %ecx, %ecx
movb %cl, (%rax)
movsd 0x8(%r12), %xmm0
movq 0x1f28(%rbp), %rax
movsd %xmm0, 0x8(%rax)
movq 0x1f28(%rbp), %rsi
movq %rbp, %rdi
xorl %edx, %edx
movq %r13, %rcx
movl %r14d, %r8d
leaq 0x10(%rsp), %r14
movq %r14, %r9
callq 0x95820
movq 0x830(%rbp), %rax
movq (%r14), %rcx
xorl %edx, %edx
movb %dl, (%rax,%rcx)
movq 0x830(%rbp), %rdi
movslq 0x7e0(%rbp), %rsi
movb (%rbx), %al
addb $-0x2b, %al
leaq 0x8f978(%rip), %rcx     # 0x1253be
leaq 0x87d27(%rip), %rdx     # 0x11d774
testb $-0x3, %al
cmoveq %rcx, %rdx
leaq 0x8da12(%rip), %r8      # 0x12346c
movq %rbx, %rcx
xorl %r9d, %r9d
xorl %eax, %eax
callq 0xa4d7
movq %rax, %r12
movq %rax, (%r14)
movq %rbx, %rdi
callq 0x9050
cmpq %r15, %r12
jge 0x95af9
movq 0x830(%rbp), %rsi
movq %rbp, %rdi
movq %r15, %rdx
movq %r12, %rcx
callq 0x966e4
jmp 0x95afc
leaq 0xb2e(%r11), %rsi
movq %r11, %rbx
movb $0x0, 0xb2f(%r11)
movq %r8, %rcx
negq %rcx
cmovsq %r8, %rcx
leaq 0x8997c(%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, (%rsi)
decq %rsi
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0x95abe
testq %r8, %r8
js 0x95c31
incq %rsi
jmp 0x95c34
movq %r12, %r15
movq (%rsp), %rax
movq %r15, (%rax)
movq 0x830(%rbp), %r12
jmp 0x95df9
cmpb $0x67, %r8b
setne %al
cmpq $0x10, %r13
setne %cl
orb %al, %cl
jne 0x95cd0
movq %r14, %rbp
movq 0x8(%r12), %xmm0
movq 0x830(%r11), %r14
movq %xmm0, %r10
xorl %r8d, %r8d
testq %r10, %r10
jns 0x95b4d
movb $0x2d, (%r14)
movl $0x1, %r8d
movl %r8d, %eax
addq %rax, %r14
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jne 0x95e13
jp 0x95e13
movw $0x2e30, (%r14)         # imm = 0x2E30
movb $0x30, 0x2(%r14)
movl $0x3, %r13d
jmp 0x95e7b
testb $0x8, 0x3(%r12)
jne 0x95db1
movq 0x8(%r12), %rsi
movq %r11, %rdi
movq %r14, %rdx
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x96629
leaq 0xb0f(%r11), %rdi
leaq 0xb0e(%r11), %r12
movq %r11, %r13
movb $0x0, 0xb0f(%r11)
movq %rsi, %rcx
negq %rcx
cmovsq %rsi, %rcx
movq $-0x1, %r8
xorl %r9d, %r9d
leaq 0x89852(%rip), %r10     # 0x11f430
movabsq $-0x3333333333333333, %r11 # imm = 0xCCCCCCCCCCCCCCCD
movq %rcx, %rax
mulq %r11
shrq $0x3, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %rcx, %rbx
subq %rax, %rbx
movb (%r10,%rbx), %al
movb %al, 0x1(%r12,%r8)
incq %r9
decq %r8
cmpq $0x9, %rcx
movq %rdx, %rcx
ja 0x95be8
testq %rsi, %rsi
js 0x95dc0
subq %r9, %rdi
movq %r9, 0x10(%rsp)
movq %rdi, %r12
jmp 0x95dd1
movb $0x2d, (%rsi)
movq %rbx, %r11
movq 0x10(%r12), %r8
leaq 0xb6f(%r11), %rcx
movq %r11, %rbx
movb $0x0, 0xb6f(%r11)
leaq 0x897db(%rip), %r9      # 0x11f430
movabsq $0x6666666666666667, %r10 # imm = 0x6666666666666667
movq %r8, %rax
imulq %r10
movq %rdx, %rax
shrq $0x3f, %rax
sarq $0x2, %rdx
addq %rax, %rdx
leaq (%rdx,%rdx), %rax
leaq (%rax,%rax,4), %rax
movq %r8, %r11
subq %rax, %r11
movb (%r9,%r11), %al
movb %al, -0x1(%rcx)
decq %rcx
addq $0x9, %r8
cmpq $0x12, %r8
movq %rdx, %r8
ja 0x95c5f
leaq 0x81e05(%rip), %rdx     # 0x117aa4
xorl %r8d, %r8d
xorl %eax, %eax
callq 0xd1cb
movq %rax, 0x10(%rsp)
cmpq %r15, %rax
jge 0x95cc8
movq 0x830(%rbx), %rsi
movq %rbx, %rdi
movq %r15, %rdx
movq %rax, %rcx
jmp 0x95dea
movq %rax, %r15
jmp 0x95def
movq %r14, (%rsp)
movslq 0x7e0(%r11), %rsi
addq $-0x4, %rsi
cmpb $0x66, %r8b
leaq 0x89862(%rip), %rax     # 0x11f54c
leaq 0x89860(%rip), %rcx     # 0x11f551
cmoveq %rax, %rcx
cmpb $0x67, %r8b
movq 0x830(%r11), %rdi
leaq 0x8d72a(%rip), %rdx     # 0x123431
cmovneq %rcx, %rdx
movsd 0x8(%r12), %xmm0
movl %r13d, %ecx
movb $0x1, %al
movq %r11, %r15
callq 0x9210
movl %eax, %ebx
movslq %eax, %r14
movq %r14, 0x10(%rsp)
movq (%rsp), %rax
movq %r14, (%rax)
movq %r15, %r12
movq 0x830(%r15), %r15
movq %r15, %rdi
movl $0x2e, %esi
callq 0x91d0
testq %rax, %rax
jne 0x95da7
movq %r15, %rdi
movl $0x65, %esi
callq 0x91d0
testq %rax, %rax
jne 0x95da7
cmpl $0x3, %ebx
jne 0x95d8f
movl $0x3, %r14d
cmpb $0x6e, (%r15)
jne 0x95d7c
movl $0x6e616e2b, (%r15)     # imm = 0x6E616E2B
movl $0x4, %r14d
cmpb $0x69, (%r15)
jne 0x95d8f
movl $0x666e692b, (%r15)     # imm = 0x666E692B
movl $0x4, %r14d
movw $0x302e, (%r15,%r14)    # imm = 0x302E
movb $0x0, 0x2(%r15,%r14)
addq $0x2, %r14
movq (%rsp), %rax
movq %r14, (%rax)
movq 0x830(%r12), %r12
jmp 0x95df9
movzbl 0x18(%r12), %eax
movq %rax, (%r14)
addq $0x19, %r12
jmp 0x95df9
movb $0x2d, 0x1(%r12,%r8)
subq %r9, %r12
negq %r8
movq %r8, 0x10(%rsp)
movq %r13, %r11
movq 0x10(%rsp), %rcx
cmpq %r15, %rcx
jge 0x95e0e
movq %r11, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %r11, %rbx
callq 0x966e4
movq %r15, (%r14)
movq 0x830(%rbx), %r12
movq %r12, %rax
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rcx, (%r14)
jmp 0x95df9
movq %r10, %rax
notq %rax
xorl %r13d, %r13d
movabsq $0x7ff0000000000000, %rcx # imm = 0x7FF0000000000000
testq %rcx, %rax
jne 0x95e7b
testq %r10, %r10
js 0x95e40
movb $0x2b, (%r14)
leaq 0x1(%r14), %rax
movl $0x6, %r13d
jmp 0x95e49
movl $0x5, %r13d
movq %r14, %rax
xorl %ecx, %ecx
movq %r10, %rdx
shlq $0xc, %rdx
setne %cl
leal 0x69(%rcx,%rcx,4), %edx
movl $0x6e, %esi
movl $0x61, %edi
cmovel %esi, %edi
shlb $0x3, %cl
orb $0x66, %cl
movb %dl, (%rax)
movb %dil, 0x1(%rax)
movb %cl, 0x2(%rax)
movw $0x302e, 0x3(%rax)      # imm = 0x302E
testl %r13d, %r13d
jne 0x96485
movl %r8d, 0x18(%rsp)
movq %r11, 0x28(%rsp)
movabsq $0xfffffffffffff, %rax  # imm = 0xFFFFFFFFFFFFF
movq %r10, %r8
andq %rax, %r8
movq %r10, 0x88(%rsp)
movq %r10, %r9
shrq $0x34, %r9
andl $0x7ff, %r9d            # imm = 0x7FF
leal -0x433(%r9), %ecx
testl %r9d, %r9d
movl $0xfffffbce, %edi       # imm = 0xFFFFFBCE
cmovnel %ecx, %edi
leal -0x1(%rdi), %ecx
leaq (%r8,%rax), %rsi
incq %rsi
testl %r9d, %r9d
cmoveq %r8, %rsi
movq %rsi, 0x70(%rsp)
movl %edi, 0x78(%rsp)
leaq 0x1(%rsi,%rsi), %r11
movq %r11, 0x60(%rsp)
movl %ecx, 0x68(%rsp)
je 0x95ef5
movl %edi, %r10d
jmp 0x95f27
movabsq $0x1fffffffffffff, %rcx # imm = 0x1FFFFFFFFFFFFF
andq %r11, %rcx
bsrq %rcx, %rcx
movl %ecx, %edx
notb %cl
addb $0x36, %cl
shlq %cl, %r11
xorl $0x3f, %edx
movl %edi, %ecx
subl %edx, %ecx
leal 0xa(%rcx), %r10d
addl $0x9, %ecx
movq %r11, 0x60(%rsp)
movl %ecx, 0x68(%rsp)
shlq $0xa, %r11
leal -0xb(%r10), %edx
incq %rax
xorl %ecx, %ecx
cmpq %rax, %rsi
sete %cl
incl %ecx
movq %rsi, %rbx
shlq %cl, %rbx
decq %rbx
movl %edi, %eax
subl %ecx, %eax
subl %edx, %eax
movl %eax, %ecx
shlq %cl, %rbx
movq %r11, 0x60(%rsp)
movl %edx, 0x68(%rsp)
movq %rbx, 0x98(%rsp)
movl %edx, 0xa0(%rsp)
testl %r9d, %r9d
jne 0x95f8c
bsrq %r8, %rcx
movl %ecx, %eax
xorl $0x3f, %eax
notb %cl
addb $0x35, %cl
shlq %cl, %rsi
subl %eax, %edi
addl $0xb, %edi
movq %rsi, 0x70(%rsp)
movl %edi, 0x78(%rsp)
movq %rbp, (%rsp)
shlq $0xb, %rsi
movq %rsi, 0x70(%rsp)
addl $-0xb, 0x78(%rsp)
movl $0xffffffb4, %eax       # imm = 0xFFFFFFB4
subl %r10d, %eax
cvtsi2sd %eax, %xmm0
mulsd 0x79156(%rip), %xmm0    # 0x10f108
cvttsd2si %xmm0, %eax
leal 0x15c(%rax), %ecx
addl $0x163, %eax            # imm = 0x163
testl %ecx, %ecx
cmovnsl %ecx, %eax
sarl $0x3, %eax
leaq 0x7c300(%rip), %rcx     # 0x1122d0
movslq %eax, %r8
shlq $0x4, %r8
movl 0x8(%r8,%rcx), %r9d
leal (%r9,%rdx), %r10d
cmpl $-0x7d, %r10d
jg 0x95fea
incl %eax
jmp 0x95ff2
cmpl $-0x5f, %r10d
jl 0x95ff7
decl %eax
movb $0x1, %r8b
jmp 0x9600a
addq %rcx, %r8
leal -0x15c(,%rax,8), %ebp
movq (%r8), %rsi
xorl %r8d, %r8d
movl %r9d, %edi
testb %r8b, %r8b
jne 0x95fd0
movq %r14, 0x80(%rsp)
leaq 0xa8(%rsp), %r12
movq %rsi, (%r12)
movl %edi, 0x8(%r12)
leaq 0x70(%rsp), %r15
movq %r15, %rdi
movq %r12, %rsi
callq 0x96766
movq %rax, %rbx
movq %rax, (%r15)
movl %edx, 0x8(%r15)
leaq 0x60(%rsp), %r13
movq %r13, %rdi
movq %r12, %rsi
callq 0x96766
movq %rax, %r15
movl %edx, %r14d
movq %rax, (%r13)
movl %edx, 0x8(%r13)
leaq 0x98(%rsp), %r13
movq %r13, %rdi
movq %r12, %rsi
callq 0x96766
movl %edx, 0x8(%r13)
leaq 0x1(%rax), %rdx
movq %rdx, (%r13)
movq %r14, %rcx
leaq -0x1(%r15), %r13
leaq 0x60(%rsp), %rsi
movq %r13, (%rsi)
negl %ebp
movq %r13, %r12
subq %rbx, %r12
movq %r13, %r8
negl %ecx
movl $0x1, %r9d
shlq %cl, %r9
subq %rdx, %r8
leaq -0x1(%r9), %r11
movq %r11, 0x30(%rsp)
andq %r13, %r11
shrq %cl, %r13
subq %r15, %rbx
subq %rax, %r15
addq $-0x2, %r15
movq %r15, 0x90(%rsp)
incq %rbx
movq %rbx, 0x58(%rsp)
movl $0xa, %ebx
xorl %r15d, %r15d
leaq 0x7c7b1(%rip), %r14     # 0x112890
movq %rax, 0x20(%rsp)
movq %rcx, 0x38(%rsp)
movq (%r14), %r10
movq %r13, %rax
xorl %edx, %edx
divq %r10
movq %rax, %rsi
movl $0xffffffff, %edx       # imm = 0xFFFFFFFF
andq %rdx, %rsi
setne %dl
testl %r15d, %r15d
setne %dil
orb %dl, %dil
movl $0x0, %edx
cmpb $0x1, %dil
jne 0x96126
addb $0x30, %al
movslq %r15d, %rdx
incl %r15d
movb %al, 0x40(%rsp,%rdx)
movl %r15d, %edx
imulq %r10, %rsi
subq %rsi, %r13
movq %r13, %rsi
shlq %cl, %rsi
leal -0x1(%rbx), %eax
leaq (%rsi,%r11), %r15
movq %r8, %rdi
subq %r15, %rdi
jb 0x961c9
addl %eax, %ebp
shlq %cl, %r10
cmpq %r12, %r15
jae 0x961be
movl %eax, 0x1c(%rsp)
cmpq %r10, %rdi
jb 0x961b1
movq %rbp, 0x8(%rsp)
movslq %edx, %rcx
movq %r12, %rdi
subq %r15, %rdi
addq %r11, %rsi
addq %r10, %rsi
movq 0x90(%rsp), %rbp
subq %rsi, %rbp
cmpq %r12, %rsi
jb 0x9618a
movq 0x58(%rsp), %rax
addq %rsi, %rax
cmpq %rax, %rdi
jbe 0x961a3
decb 0x3f(%rsp,%rcx)
subq %r10, %rbp
setb %al
cmpq %r12, %rsi
jae 0x961a3
subq %r10, %rdi
addq %r10, %rsi
testb %al, %al
je 0x96178
movl %edx, %eax
movq %rax, 0x20(%rsp)
movq 0x8(%rsp), %rbp
jmp 0x961b8
movl %edx, %eax
movq %rax, 0x20(%rsp)
movl 0x1c(%rsp), %eax
jmp 0x961c9
movl %eax, %ecx
movl %edx, %eax
movq %rax, 0x20(%rsp)
movl %ecx, %eax
cmpq %r15, %r8
jae 0x962dd
addq $0x8, %r14
movl %edx, %r15d
cmpl $0x1, %ebx
movl %eax, %ebx
movq 0x38(%rsp), %rcx
ja 0x960e9
movq %rbp, 0x8(%rsp)
movq %r12, %rax
negq %rax
movq %rax, 0x58(%rsp)
leaq 0x7c6d0(%rip), %rsi     # 0x1128d0
xorl %ebx, %ebx
movq (%rsp), %rbp
movq 0x30(%rsp), %r15
movq 0x20(%rsp), %r14
addq %r11, %r11
leaq (%r11,%r11,4), %r11
movq %r11, %rdi
shrq %cl, %rdi
movl %edi, %eax
orl %edx, %eax
movl $0x0, %eax
je 0x96238
addb $0x30, %dil
movslq %edx, %rax
incl %edx
movb %dil, 0x40(%rsp,%rax)
movl %edx, %eax
movl %eax, %edx
addq %r8, %r8
leaq (%r8,%r8,4), %r8
decl %ebx
andq %r15, %r11
movq %r8, %rax
subq %r11, %rax
jbe 0x962c0
movq 0x8(%rsp), %rdi
addl %ebx, %edi
movq %rdi, 0x8(%rsp)
cmpq %r9, %rax
jb 0x962d8
movq (%rsi), %rax
movq %rax, %r10
imulq %r12, %r10
movq %r10, %r14
subq %r11, %r14
jbe 0x962cf
movslq %edx, %rdi
leaq (%r9,%r11), %r15
movq %r8, %r13
subq %r15, %r13
imulq 0x58(%rsp), %rax
cmpq %r10, %r15
jb 0x96292
leaq (%rax,%r15), %rbp
cmpq %rbp, %r14
jbe 0x962ad
decb 0x3f(%rsp,%rdi)
subq %r9, %r13
setb %bpl
cmpq %r10, %r15
jae 0x962ad
subq %r9, %r14
addq %r9, %r15
testb %bpl, %bpl
je 0x96284
movl %edx, %r14d
movq (%rsp), %rbp
movq 0x38(%rsp), %rcx
movq 0x30(%rsp), %r15
jmp 0x962c4
addq $-0x8, %rsi
cmpq %r11, %r8
jbe 0x96210
jmp 0x962eb
movl %edx, %r14d
movq (%rsp), %rbp
jmp 0x962c4
movl %edx, %r14d
jmp 0x962c4
movq %rbp, 0x8(%rsp)
movq (%rsp), %rbp
movq 0x20(%rsp), %r14
movq 0x8(%rsp), %rcx
leal (%r14,%rcx), %r13d
movl $0x1, %eax
subl %r13d, %eax
testl %r13d, %r13d
leal -0x1(%r14,%rcx), %ebx
cmovlel %eax, %ebx
testl %ecx, %ecx
js 0x9635f
leal 0x7(%r14), %eax
cmpl %eax, %ebx
jge 0x9635f
movslq %r14d, %rbx
leaq 0x40(%rsp), %rsi
movq 0x80(%rsp), %r14
movq %r14, %rdi
movq %rbx, %rdx
callq 0x93e0
addq %r14, %rbx
movl 0x8(%rsp), %edx
movq %rbx, %rdi
movl $0x30, %esi
callq 0x9270
movslq %r13d, %rax
movw $0x302e, (%r14,%rax)    # imm = 0x302E
addl $0x2, %r13d
movq 0x28(%rsp), %r11
movl 0x18(%rsp), %r8d
jmp 0x96485
cmpl $0x0, 0x8(%rsp)
movq 0x80(%rsp), %r15
jns 0x96382
cmpl $-0x7, 0x8(%rsp)
jg 0x964ab
cmpl $0x3, %ebx
jle 0x964ab
movq 0x88(%rsp), %rax
shrq $0x3f, %rax
movq %r14, %rdx
movl $0x12, %r14d
subl %eax, %r14d
cmpl %edx, %r14d
cmovgel %edx, %r14d
movb 0x40(%rsp), %al
movb %al, (%r15)
movl $0x1, %ecx
cmpl $0x2, %edx
jl 0x963cd
movb $0x2e, 0x1(%r15)
leaq 0x2(%r15), %rdi
leaq 0x41(%rsp), %rsi
leal -0x1(%r14), %edx
callq 0x93e0
leal 0x1(%r14), %ecx
movl %ecx, %r13d
movb $0x65, (%r15,%r13)
addl 0x8(%rsp), %r14d
setle %al
addb %al, %al
addb $0x2b, %al
addq $0x2, %r13
movslq %ecx, %rdx
movb %al, 0x1(%r15,%rdx)
movl %ebx, %eax
cmpl $0x64, %ebx
jl 0x96413
movl %ebx, %eax
imulq $0x51eb851f, %rax, %rdx # imm = 0x51EB851F
shrq $0x25, %rdx
imull $-0x64, %edx, %eax
addb $0x30, %dl
addl $0x3, %ecx
movb %dl, (%r15,%r13)
addl %ebx, %eax
movl %ecx, %r13d
cmpl $0xa, %eax
movq (%rsp), %rbp
movq 0x28(%rsp), %r11
movl 0x18(%rsp), %r8d
jl 0x9644c
movl %eax, %ecx
movl $0xcccccccd, %edx       # imm = 0xCCCCCCCD
imulq %rcx, %rdx
shrq $0x23, %rdx
leal (%rdx,%rdx), %ecx
addb $0x30, %dl
movl %r13d, %esi
incl %r13d
movb %dl, (%r15,%rsi)
leal (%rcx,%rcx,4), %ecx
subl %ecx, %eax
jmp 0x9645c
cmpl $0x64, %ebx
jl 0x9645c
movl %r13d, %ecx
incl %r13d
movb $0x30, (%r15,%rcx)
cltq
imulq $0x66666667, %rax, %rcx # imm = 0x66666667
movq %rcx, %rdx
shrq $0x3f, %rdx
shrq $0x22, %rcx
addl %edx, %ecx
addl %ecx, %ecx
leal (%rcx,%rcx,4), %ecx
subl %ecx, %eax
addb $0x30, %al
movl %r13d, %ecx
incl %r13d
movb %al, (%r15,%rcx)
addl %r8d, %r13d
movslq %r13d, %rax
movq %rax, 0x10(%rsp)
movq 0x830(%r11), %rcx
movb $0x0, (%rcx,%rax)
movq %rax, (%rbp)
movq 0x830(%r11), %r12
jmp 0x95df9
testl %r13d, %r13d
jle 0x964f4
movq %r14, %r12
movq 0x8(%rsp), %r14
negl %r14d
movl %r13d, %ebx
leaq 0x40(%rsp), %rsi
movq %r15, %rdi
movq %rbx, %rdx
callq 0x93e0
leaq (%r15,%rbx), %rdi
incq %rdi
movb $0x2e, -0x1(%rdi)
leaq (%rsp,%rbx), %rsi
addq $0x40, %rsi
movq %r14, %rdx
callq 0x93e0
incl %r12d
movl %r12d, %r13d
jmp 0x96350
movl %r13d, %eax
negl %eax
movw $0x2e30, (%r15)         # imm = 0x2E30
leaq 0x2(%r15), %rdi
movl %eax, %ebx
movl $0x30, %esi
movq %rbx, %rdx
callq 0x9270
leaq (%r15,%rbx), %rdi
addq $0x2, %rdi
movslq %r14d, %rdx
leaq 0x40(%rsp), %rsi
callq 0x93e0
subl %r13d, %r14d
addl $0x2, %r14d
movl %r14d, %r13d
jmp 0x96350