// File: /workspace/github_c_makefile_star2_O0/BernardTatin[P]s7sh/s7.c
// Function: string_to_double_with_radix_1
static s7_double string_to_double_with_radix_1(const char *ur_str, int32_t radix)
#endif
        {
            /* strtod follows LANG which is not what we want (only "." is decimal point in Scheme).
             *   To overcome LANG in strtod would require screwing around with setlocale which never works.
             *   So we use our own code -- according to valgrind, this function is much faster than strtod.
             * comma as decimal point causes ambiguities: `(+ ,1 2) etc
             */

            int32_t i, sign = 1, frac_len, int_len, dig, max_len, exponent = 0;
            int64_t int_part = 0, frac_part = 0;
            char *str;
            char *ipart, *fpart;
            s7_double dval = 0.0;

            /* there's an ambiguity in number notation here if we allow "1e1" or "1.e1" in base 16 (or 15) -- is e a digit or an exponent marker?
             *   but 1e+1, for example disambiguates it -- kind of messy! -- the scheme spec says "e" can only occur in base 10.
             * '@' can now be used as the exponent marker (26-Mar-12).
             * Another slight ambiguity: 1+1/2i is parsed as 1 + 0.5i, not 1+1/(2i), or (1+1)/(2i) or (1+1/2)i etc
             */

            max_len = s7_int_digits_by_radix[radix];
            str = (char *)ur_str;

            if (*str == '+')
                str++;
            else
            {
                if (*str == '-')
                {
                    str++;
                    sign = -1;
                }
            }
            while (*str == '0') {str++;};

            ipart = str;
            while (digits[(int32_t)(*str)] < radix) str++;
            int_len = str - ipart;

            if (*str == '.') str++;
            fpart = str;
            while (digits[(int32_t)(*str)] < radix) str++;
            frac_len = str - fpart;

            if ((*str) && (exponent_table[(uint8_t)(*str)]))
            {
                int32_t exp_negative = false;
                str++;
                if (*str == '+')
                    str++;
                else
                {
                    if (*str == '-')
                    {
                        str++;
                        exp_negative = true;
                    }
                }
                while ((dig = digits[(int32_t)(*str++)]) < 10) /* exponent itself is always base 10 */
                {
#if HAVE_OVERFLOW_CHECKS
                    if ((int32_multiply_overflow(exponent, 10, &exponent)) ||
                            (int32_add_overflow(exponent, dig, &exponent)))
                    {
                        exponent = 1000000; /* see below */
                        break;
                    }
#else
                    exponent = dig + (exponent * 10);
#endif
                }
#if (!defined(__GNUC__)) || (__GNUC__ < 5)
                if (exponent < 0)         /* we overflowed, so make sure we notice it below (need to check for 0.0e... first) (Brian Damgaard) */
                    exponent = 1000000;     /*   see below for examples -- this number needs to be very big but not too big for add */
#endif
                if (exp_negative)
                    exponent = -exponent;

                /*           2e12341234123123123123213123123123 -> 0.0
                 * but exp len is not the decider: 2e00000000000000000000000000000000000000001 -> 20.0
                 * first zero: 2e123412341231231231231
                 * then:     2e12341234123123123123123123 -> inf
                 * then:     2e123412341231231231231231231231231231 -> 0.0
                 *           2e-123412341231231231231 -> inf
                 * but:      0e123412341231231231231231231231231231
                 */
            }

#if WITH_GMP
            /* 9007199254740995.0 */
            if (int_len + frac_len >= max_len)
            {
                (*overflow) = true;
                return(0.0);
            }
#endif

            str = ipart;
            if ((int_len + exponent) > max_len)
            {
                /*  12341234.56789e12                   12341234567889999872.0              1.234123456789e+19
                 * -1234567890123456789.0              -1234567890123456768.0              -1.2345678901235e+18
                 *  12345678901234567890.0              12345678901234567168.0              1.2345678901235e+19
                 *  123.456e30                          123456000000000012741097792995328.0 1.23456e+32
                 *  12345678901234567890.0e12           12345678901234569054409354903552.0  1.2345678901235e+31
                 *  1.234567890123456789012e30          1234567890123456849145940148224.0   1.2345678901235e+30
                 *  1e20                                100000000000000000000.0             1e+20
                 *  1234567890123456789.0               1234567890123456768.0               1.2345678901235e+18
                 *  123.456e16                          1234560000000000000.0               1.23456e+18
                 *  98765432101234567890987654321.0e-5  987654321012345728401408.0          9.8765432101235e+23
                 *  98765432101234567890987654321.0e-10 9876543210123456512.0               9.8765432101235e+18
                 *  0.00000000000000001234e20           1234.0
                 *  0.000000000000000000000000001234e30 1234.0
                 *  0.0000000000000000000000000000000000001234e40 1234.0
                 *  0.000000000012345678909876543210e15 12345.678909877
                 *  0e1000                              0.0
                 */

                for (i = 0; i < max_len; i++)
                {
                    dig = digits[(int32_t)(*str++)];
                    if (dig < radix)
                        int_part = dig + (int_part * radix);
                    else break;
                }

                /* if the exponent is huge, check for 0 int_part and frac_part before complaining (0e1000 or 0.0e1000)
                */
                if ((int_part == 0) &&
                        (exponent > max_len))
                {
                    /* if frac_part is also 0, return 0.0 */
                    if (frac_len == 0)
                        return(0.0);

                    str = fpart;
                    while ((dig = digits[(int32_t)(*str++)]) < radix)
                        frac_part = dig + (frac_part * radix);
                    if (frac_part == 0)
                        return(0.0);

#if WITH_GMP
                    (*overflow) = true;
#endif
                }

#if WITH_GMP
                (*overflow) = ((int_part > 0) || (exponent > 20));    /* .1e310 is a tricky case */
#endif

                if (int_part != 0) /* 0.<310 zeros here>1e310 for example --
                                    *   pow (via dpow) thinks it has to be too big, returns Nan,
                                    *   then Nan * 0 -> Nan and the NaN propagates
                                    */
                {
                    if (int_len <= max_len)
                        dval = int_part * dpow(radix, exponent);
                    else dval = int_part * dpow(radix, exponent + int_len - max_len);
                }
                else dval = 0.0;

                /* shift by exponent, but if int_len > max_len then we assumed (see below) int_len - max_len 0's on the left */
                /*   using int_to_int or table lookups here instead of pow did not make any difference in speed */

                if (int_len < max_len)
                {
                    int32_t k, flen;
                    str = fpart;

                    for (k = 0; (frac_len > 0) && (k < exponent); k += max_len)
                    {
                        if (frac_len > max_len) flen = max_len; else flen = frac_len;
                        frac_len -= max_len;

                        frac_part = 0;
                        for (i = 0; i < flen; i++)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);

                        if (frac_part != 0)                                /* same pow->NaN problem as above can occur here */
                            dval += frac_part * dpow(radix, exponent - flen - k);
                    }
                }
                else
                {
                    /* some of the fraction is in the integer part before the negative exponent shifts it over */
                    if (int_len > max_len)
                    {
                        int32_t ilen;
                        /* str should be at the last digit we read */
                        ilen = int_len - max_len;                          /* we read these above */
                        if (ilen > max_len)
                            ilen = max_len;

                        for (i = 0; i < ilen; i++)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);

                        dval += frac_part * dpow(radix, exponent - ilen);
                    }
                }

                return(sign * dval);
            }

            /* int_len + exponent <= max_len */

            if (int_len <= max_len)
            {
                int32_t int_exponent;

                /* a better algorithm (since the inaccuracies are in the radix^exponent portion):
                 *   strip off leading zeros and possible sign,
                 *   strip off digits beyond max_len, then remove any trailing zeros.
                 *     (maybe fiddle with the lowest order digit here for rounding, but I doubt it matters)
                 *   read digits until end of number or max_len reached, ignoring the decimal point
                 *   get exponent and use it and decimal point location to position the current result integer
                 * this always combines the same integer and the same exponent no matter how the number is expressed.
                 */

                int_exponent = exponent;
                if (int_len > 0)
                {
                    char *iend;
                    iend = (char *)(str + int_len - 1);
                    while ((*iend == '0') && (iend != str)) {iend--; int_exponent++;}

                    while (str <= iend)
                        int_part = digits[(int32_t)(*str++)] + (int_part * radix);
                }
                if (int_exponent != 0)
                    dval = int_part * dpow(radix, int_exponent);
                else dval = (s7_double)int_part;
            }
            else
            {
                int32_t len, flen;
                int64_t frpart = 0;

                /* 98765432101234567890987654321.0e-20    987654321.012346
                 * 98765432101234567890987654321.0e-29    0.98765432101235
                 * 98765432101234567890987654321.0e-30    0.098765432101235
                 * 98765432101234567890987654321.0e-28    9.8765432101235
                 */

                len = int_len + exponent;
                for (i = 0; i < len; i++)
                    int_part = digits[(int32_t)(*str++)] + (int_part * radix);

                flen = -exponent;
                if (flen > max_len)
                    flen = max_len;

                for (i = 0; i < flen; i++)
                    frpart = digits[(int32_t)(*str++)] + (frpart * radix);

                if (len <= 0)
                    dval = int_part + frpart * dpow(radix, len - flen);
                else dval = int_part + frpart * dpow(radix, -flen);
            }

            if (frac_len > 0)
            {
                str = fpart;
                if (frac_len <= max_len)
                {
                    /* splitting out base 10 case saves very little here */
                    /* this ignores trailing zeros, so that 0.3 equals 0.300 */
                    char *fend;

                    fend = (char *)(str + frac_len - 1);
                    while ((*fend == '0') && (fend != str)) {fend--; frac_len--;} /* (= .6 0.6000) */

                    if ((frac_len & 1) == 0)
                    {
                        while (str <= fend)
                        {
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);
                        }
                    }
                    else
                    {
                        while (str <= fend)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);
                    }
                    dval += frac_part * dpow(radix, exponent - frac_len);

                    /* 0.6:    frac:    6, exp: 0.10000000000000000555, val: 0.60000000000000008882
                     * 0.60:   frac:   60, exp: 0.01000000000000000021, val: 0.59999999999999997780
                     * 0.6000: frac: 6000, exp: 0.00010000000000000000, val: 0.59999999999999997780
                     * (= 0.6 0.60): #f
                     * (= #i3/5 0.6): #f
                     * so (string->number (number->string num)) == num only if both num's are the same text (or you get lucky)
                     * (= 0.6 6e-1): #t ; but not 60e-2
                     * to fix the 0.60 case, we need to ignore trailing post-dot zeros.
                     */
                }
                else
                {
                    if (exponent <= 0)
                    {
                        for (i = 0; i < max_len; i++)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);

                        dval += frac_part * dpow(radix, exponent - max_len);
                    }
                    else
                    {
                        /* 1.0123456789876543210e1         10.12345678987654373771
                         * 1.0123456789876543210e10        10123456789.87654304504394531250
                         * 0.000000010000000000000000e10   100.0
                         * 0.000000010000000000000000000000000000000000000e10 100.0
                         * 0.000000012222222222222222222222222222222222222e10 122.22222222222222
                         * 0.000000012222222222222222222222222222222222222e17 1222222222.222222
                         */

                        int_part = 0;
                        for (i = 0; i < exponent; i++)
                            int_part = digits[(int32_t)(*str++)] + (int_part * radix);

                        frac_len -= exponent;
                        if (frac_len > max_len)
                            frac_len = max_len;

                        for (i = 0; i < frac_len; i++)
                            frac_part = digits[(int32_t)(*str++)] + (frac_part * radix);

                        dval += int_part + frac_part * dpow(radix, -frac_len);
                    }
                }
            }

#if WITH_GMP
            if ((int_part == 0) &&
                    (frac_part == 0))
                return(0.0);
            (*overflow) = ((frac_len - exponent) > max_len);
#endif

            return(sign * dval);
        }

// Assembly:
subq $0x118, %rsp            # imm = 0x118
movq %rdi, 0x108(%rsp)
movl %esi, 0x104(%rsp)
movl $0x1, 0xfc(%rsp)
movl $0x0, 0xe8(%rsp)
movq $0x0, 0xe0(%rsp)
movq $0x0, 0xd8(%rsp)
xorps %xmm0, %xmm0
movsd %xmm0, 0xb8(%rsp)
movslq 0x104(%rsp), %rcx
leaq 0x1552a1(%rip), %rax    # 0x221e30
movl (%rax,%rcx,4), %eax
movl %eax, 0xec(%rsp)
movq 0x108(%rsp), %rax
movq %rax, 0xd0(%rsp)
movq 0xd0(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x2b, %eax
jne 0xccbcf
movq 0xd0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xd0(%rsp)
jmp 0xccc00
movq 0xd0(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x2d, %eax
jne 0xccbfe
movq 0xd0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xd0(%rsp)
movl $0xffffffff, 0xfc(%rsp) # imm = 0xFFFFFFFF
jmp 0xccc00
jmp 0xccc02
movq 0xd0(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x30, %eax
jne 0xccc28
movq 0xd0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xd0(%rsp)
jmp 0xccc02
movq 0xd0(%rsp), %rax
movq %rax, 0xc8(%rsp)
movq 0x150d59(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x104(%rsp), %eax
jge 0xccc6f
movq 0xd0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xd0(%rsp)
jmp 0xccc38
movq 0xd0(%rsp), %rax
movq 0xc8(%rsp), %rcx
subq %rcx, %rax
movl %eax, 0xf4(%rsp)
movq 0xd0(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x2e, %eax
jne 0xcccad
movq 0xd0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xd0(%rsp)
movq 0xd0(%rsp), %rax
movq %rax, 0xc0(%rsp)
movq 0x150cd4(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x104(%rsp), %eax
jge 0xcccf4
movq 0xd0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xd0(%rsp)
jmp 0xcccbd
movq 0xd0(%rsp), %rax
movq 0xc0(%rsp), %rcx
subq %rcx, %rax
movl %eax, 0xf8(%rsp)
movq 0xd0(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x0, %eax
je 0xcce62
movq 0x15514f(%rip), %rax    # 0x221e78
movq 0xd0(%rsp), %rcx
movzbl (%rcx), %ecx
testb $0x1, (%rax,%rcx)
je 0xcce62
movl $0x0, 0xb4(%rsp)
movq 0xd0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xd0(%rsp)
movq 0xd0(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x2b, %eax
jne 0xccd83
movq 0xd0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xd0(%rsp)
jmp 0xccdb4
movq 0xd0(%rsp), %rax
movsbl (%rax), %eax
cmpl $0x2d, %eax
jne 0xccdb2
movq 0xd0(%rsp), %rax
addq $0x1, %rax
movq %rax, 0xd0(%rsp)
movl $0x1, 0xb4(%rsp)
jmp 0xccdb4
jmp 0xccdb6
movq 0x150bdb(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
movl %eax, 0xf0(%rsp)
cmpl $0xa, %eax
jge 0xcce31
movl $0xa, %ecx
imull 0xe8(%rsp), %ecx
seto %al
movl %ecx, 0xe8(%rsp)
testb $0x1, %al
jne 0xcce22
movl 0xe8(%rsp), %ecx
addl 0xf0(%rsp), %ecx
seto %al
movl %ecx, 0xe8(%rsp)
testb $0x1, %al
jne 0xcce22
jmp 0xcce2f
movl $0xf4240, 0xe8(%rsp) # imm = 0xF4240
jmp 0xcce31
jmp 0xccdb6
cmpl $0x0, 0xe8(%rsp)
jge 0xcce46
movl $0xf4240, 0xe8(%rsp) # imm = 0xF4240
cmpl $0x0, 0xb4(%rsp)
je 0xcce60
xorl %eax, %eax
subl 0xe8(%rsp), %eax
movl %eax, 0xe8(%rsp)
jmp 0xcce62
movq 0xc8(%rsp), %rax
movq %rax, 0xd0(%rsp)
movl 0xf4(%rsp), %eax
addl 0xe8(%rsp), %eax
cmpl 0xec(%rsp), %eax
jle 0xcd37a
movl $0x0, 0x100(%rsp)
movl 0x100(%rsp), %eax
cmpl 0xec(%rsp), %eax
jge 0xccf2d
movq 0x150ae5(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
movl %eax, 0xf0(%rsp)
movl 0xf0(%rsp), %eax
cmpl 0x104(%rsp), %eax
jge 0xccf13
movslq 0xf0(%rsp), %rax
movq 0xe0(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xe0(%rsp)
jmp 0xccf15
jmp 0xccf2d
jmp 0xccf17
movl 0x100(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x100(%rsp)
jmp 0xcce98
cmpq $0x0, 0xe0(%rsp)
jne 0xccff9
movl 0xe8(%rsp), %eax
cmpl 0xec(%rsp), %eax
jle 0xccff9
cmpl $0x0, 0xf8(%rsp)
jne 0xccf6b
xorps %xmm0, %xmm0
movsd %xmm0, 0x110(%rsp)
jmp 0xcdb74
movq 0xc0(%rsp), %rax
movq %rax, 0xd0(%rsp)
movq 0x150a16(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
movl %eax, 0xf0(%rsp)
cmpl 0x104(%rsp), %eax
jge 0xccfdb
movslq 0xf0(%rsp), %rax
movq 0xd8(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xd8(%rsp)
jmp 0xccf7b
cmpq $0x0, 0xd8(%rsp)
jne 0xccff7
xorps %xmm0, %xmm0
movsd %xmm0, 0x110(%rsp)
jmp 0xcdb74
jmp 0xccff9
cmpq $0x0, 0xe0(%rsp)
je 0xcd09c
movl 0xf4(%rsp), %eax
cmpl 0xec(%rsp), %eax
jg 0xcd053
cvtsi2sdq 0xe0(%rsp), %xmm0
movsd %xmm0, 0x78(%rsp)
movl 0x104(%rsp), %edi
movl 0xe8(%rsp), %esi
callq 0xc71d0
movaps %xmm0, %xmm1
movsd 0x78(%rsp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcd09a
cvtsi2sdq 0xe0(%rsp), %xmm0
movsd %xmm0, 0x70(%rsp)
movl 0x104(%rsp), %edi
movl 0xe8(%rsp), %esi
addl 0xf4(%rsp), %esi
subl 0xec(%rsp), %esi
callq 0xc71d0
movaps %xmm0, %xmm1
movsd 0x70(%rsp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcd0a8
xorps %xmm0, %xmm0
movsd %xmm0, 0xb8(%rsp)
movl 0xf4(%rsp), %eax
cmpl 0xec(%rsp), %eax
jge 0xcd24f
movq 0xc0(%rsp), %rax
movq %rax, 0xd0(%rsp)
movl $0x0, 0xb0(%rsp)
xorl %eax, %eax
cmpl $0x0, 0xf8(%rsp)
movb %al, 0x6f(%rsp)
jle 0xcd0fc
movl 0xb0(%rsp), %eax
cmpl 0xe8(%rsp), %eax
setl %al
movb %al, 0x6f(%rsp)
movb 0x6f(%rsp), %al
testb $0x1, %al
jne 0xcd109
jmp 0xcd24a
movl 0xf8(%rsp), %eax
cmpl 0xec(%rsp), %eax
jle 0xcd129
movl 0xec(%rsp), %eax
movl %eax, 0xac(%rsp)
jmp 0xcd137
movl 0xf8(%rsp), %eax
movl %eax, 0xac(%rsp)
movl 0xec(%rsp), %ecx
movl 0xf8(%rsp), %eax
subl %ecx, %eax
movl %eax, 0xf8(%rsp)
movq $0x0, 0xd8(%rsp)
movl $0x0, 0x100(%rsp)
movl 0x100(%rsp), %eax
cmpl 0xac(%rsp), %eax
jge 0xcd1cf
movq 0x15081c(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xd8(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xd8(%rsp)
movl 0x100(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x100(%rsp)
jmp 0xcd165
cmpq $0x0, 0xd8(%rsp)
je 0xcd22e
cvtsi2sdq 0xd8(%rsp), %xmm0
movsd %xmm0, 0x60(%rsp)
movl 0x104(%rsp), %edi
movl 0xe8(%rsp), %esi
subl 0xac(%rsp), %esi
subl 0xb0(%rsp), %esi
callq 0xc71d0
movaps %xmm0, %xmm2
movsd 0x60(%rsp), %xmm0
movsd 0xb8(%rsp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcd230
movl 0xec(%rsp), %eax
addl 0xb0(%rsp), %eax
movl %eax, 0xb0(%rsp)
jmp 0xcd0d7
jmp 0xcd35a
movl 0xf4(%rsp), %eax
cmpl 0xec(%rsp), %eax
jle 0xcd358
movl 0xf4(%rsp), %eax
subl 0xec(%rsp), %eax
movl %eax, 0xa8(%rsp)
movl 0xa8(%rsp), %eax
cmpl 0xec(%rsp), %eax
jle 0xcd296
movl 0xec(%rsp), %eax
movl %eax, 0xa8(%rsp)
movl $0x0, 0x100(%rsp)
movl 0x100(%rsp), %eax
cmpl 0xa8(%rsp), %eax
jge 0xcd30b
movq 0x1506e0(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xd8(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xd8(%rsp)
movl 0x100(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x100(%rsp)
jmp 0xcd2a1
cvtsi2sdq 0xd8(%rsp), %xmm0
movsd %xmm0, 0x58(%rsp)
movl 0x104(%rsp), %edi
movl 0xe8(%rsp), %esi
subl 0xa8(%rsp), %esi
callq 0xc71d0
movaps %xmm0, %xmm2
movsd 0x58(%rsp), %xmm0
movsd 0xb8(%rsp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcd35a
cvtsi2sdl 0xfc(%rsp), %xmm0
mulsd 0xb8(%rsp), %xmm0
movsd %xmm0, 0x110(%rsp)
jmp 0xcdb74
movl 0xf4(%rsp), %eax
cmpl 0xec(%rsp), %eax
jg 0xcd4e3
movl 0xe8(%rsp), %eax
movl %eax, 0xa4(%rsp)
cmpl $0x0, 0xf4(%rsp)
jle 0xcd486
movq 0xd0(%rsp), %rax
movslq 0xf4(%rsp), %rcx
addq %rcx, %rax
addq $-0x1, %rax
movq %rax, 0x98(%rsp)
movq 0x98(%rsp), %rax
movsbl (%rax), %ecx
xorl %eax, %eax
cmpl $0x30, %ecx
movb %al, 0x57(%rsp)
jne 0xcd3f6
movq 0x98(%rsp), %rax
cmpq 0xd0(%rsp), %rax
setne %al
movb %al, 0x57(%rsp)
movb 0x57(%rsp), %al
testb $0x1, %al
jne 0xcd400
jmp 0xcd427
movq 0x98(%rsp), %rax
addq $-0x1, %rax
movq %rax, 0x98(%rsp)
movl 0xa4(%rsp), %eax
addl $0x1, %eax
movl %eax, 0xa4(%rsp)
jmp 0xcd3c9
jmp 0xcd429
movq 0xd0(%rsp), %rax
cmpq 0x98(%rsp), %rax
ja 0xcd484
movq 0x150556(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xe0(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xe0(%rsp)
jmp 0xcd429
jmp 0xcd486
cmpl $0x0, 0xa4(%rsp)
je 0xcd4cb
cvtsi2sdq 0xe0(%rsp), %xmm0
movsd %xmm0, 0x48(%rsp)
movl 0x104(%rsp), %edi
movl 0xa4(%rsp), %esi
callq 0xc71d0
movaps %xmm0, %xmm1
movsd 0x48(%rsp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcd4de
cvtsi2sdq 0xe0(%rsp), %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcd6d9
movq $0x0, 0x88(%rsp)
movl 0xf4(%rsp), %eax
addl 0xe8(%rsp), %eax
movl %eax, 0x94(%rsp)
movl $0x0, 0x100(%rsp)
movl 0x100(%rsp), %eax
cmpl 0x94(%rsp), %eax
jge 0xcd579
movq 0x150472(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xe0(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xe0(%rsp)
movl 0x100(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x100(%rsp)
jmp 0xcd50f
xorl %eax, %eax
subl 0xe8(%rsp), %eax
movl %eax, 0x90(%rsp)
movl 0x90(%rsp), %eax
cmpl 0xec(%rsp), %eax
jle 0xcd5a7
movl 0xec(%rsp), %eax
movl %eax, 0x90(%rsp)
movl $0x0, 0x100(%rsp)
movl 0x100(%rsp), %eax
cmpl 0x90(%rsp), %eax
jge 0xcd61c
movq 0x1503cf(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0x88(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0x88(%rsp)
movl 0x100(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x100(%rsp)
jmp 0xcd5b2
cmpl $0x0, 0x94(%rsp)
jg 0xcd682
cvtsi2sdq 0xe0(%rsp), %xmm0
movsd %xmm0, 0x38(%rsp)
cvtsi2sdq 0x88(%rsp), %xmm0
movsd %xmm0, 0x40(%rsp)
movl 0x104(%rsp), %edi
movl 0x94(%rsp), %esi
subl 0x90(%rsp), %esi
callq 0xc71d0
movsd 0x38(%rsp), %xmm1
movaps %xmm0, %xmm2
movsd 0x40(%rsp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcd6d7
cvtsi2sdq 0xe0(%rsp), %xmm0
movsd %xmm0, 0x28(%rsp)
cvtsi2sdq 0x88(%rsp), %xmm0
movsd %xmm0, 0x30(%rsp)
movl 0x104(%rsp), %edi
xorl %esi, %esi
subl 0x90(%rsp), %esi
callq 0xc71d0
movsd 0x28(%rsp), %xmm1
movaps %xmm0, %xmm2
movsd 0x30(%rsp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcd6d9
cmpl $0x0, 0xf8(%rsp)
jle 0xcdb59
movq 0xc0(%rsp), %rax
movq %rax, 0xd0(%rsp)
movl 0xf8(%rsp), %eax
cmpl 0xec(%rsp), %eax
jg 0xcd8f9
movq 0xd0(%rsp), %rax
movslq 0xf8(%rsp), %rcx
addq %rcx, %rax
addq $-0x1, %rax
movq %rax, 0x80(%rsp)
movq 0x80(%rsp), %rax
movsbl (%rax), %ecx
xorl %eax, %eax
cmpl $0x30, %ecx
movb %al, 0x27(%rsp)
jne 0xcd757
movq 0x80(%rsp), %rax
cmpq 0xd0(%rsp), %rax
setne %al
movb %al, 0x27(%rsp)
movb 0x27(%rsp), %al
testb $0x1, %al
jne 0xcd761
jmp 0xcd788
movq 0x80(%rsp), %rax
addq $-0x1, %rax
movq %rax, 0x80(%rsp)
movl 0xf8(%rsp), %eax
addl $-0x1, %eax
movl %eax, 0xf8(%rsp)
jmp 0xcd72a
movl 0xf8(%rsp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0xcd848
jmp 0xcd79d
movq 0xd0(%rsp), %rax
cmpq 0x80(%rsp), %rax
ja 0xcd846
movq 0x1501de(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xd8(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xd8(%rsp)
movq 0x150197(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xd8(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xd8(%rsp)
jmp 0xcd79d
jmp 0xcd8a7
jmp 0xcd84a
movq 0xd0(%rsp), %rax
cmpq 0x80(%rsp), %rax
ja 0xcd8a5
movq 0x150135(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xd8(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xd8(%rsp)
jmp 0xcd84a
jmp 0xcd8a7
cvtsi2sdq 0xd8(%rsp), %xmm0
movsd %xmm0, 0x18(%rsp)
movl 0x104(%rsp), %edi
movl 0xe8(%rsp), %esi
subl 0xf8(%rsp), %esi
callq 0xc71d0
movaps %xmm0, %xmm2
movsd 0x18(%rsp), %xmm0
movsd 0xb8(%rsp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcdb57
cmpl $0x0, 0xe8(%rsp)
jg 0xcd9ce
movl $0x0, 0x100(%rsp)
movl 0x100(%rsp), %eax
cmpl 0xec(%rsp), %eax
jge 0xcd97c
movq 0x15006f(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xd8(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xd8(%rsp)
movl 0x100(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x100(%rsp)
jmp 0xcd912
cvtsi2sdq 0xd8(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
movl 0x104(%rsp), %edi
movl 0xe8(%rsp), %esi
subl 0xec(%rsp), %esi
callq 0xc71d0
movaps %xmm0, %xmm2
movsd 0x10(%rsp), %xmm0
movsd 0xb8(%rsp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcdb55
movq $0x0, 0xe0(%rsp)
movl $0x0, 0x100(%rsp)
movl 0x100(%rsp), %eax
cmpl 0xe8(%rsp), %eax
jge 0xcda4f
movq 0x14ff9c(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xe0(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xe0(%rsp)
movl 0x100(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x100(%rsp)
jmp 0xcd9e5
movl 0xe8(%rsp), %ecx
movl 0xf8(%rsp), %eax
subl %ecx, %eax
movl %eax, 0xf8(%rsp)
movl 0xf8(%rsp), %eax
cmpl 0xec(%rsp), %eax
jle 0xcda84
movl 0xec(%rsp), %eax
movl %eax, 0xf8(%rsp)
movl $0x0, 0x100(%rsp)
movl 0x100(%rsp), %eax
cmpl 0xf8(%rsp), %eax
jge 0xcdaf9
movq 0x14fef2(%rip), %rax    # 0x21d998
movq 0xd0(%rsp), %rcx
movq %rcx, %rdx
addq $0x1, %rdx
movq %rdx, 0xd0(%rsp)
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movslq (%rax,%rcx,4), %rax
movq 0xd8(%rsp), %rcx
movslq 0x104(%rsp), %rdx
imulq %rdx, %rcx
addq %rcx, %rax
movq %rax, 0xd8(%rsp)
movl 0x100(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x100(%rsp)
jmp 0xcda8f
cvtsi2sdq 0xe0(%rsp), %xmm0
movsd %xmm0, (%rsp)
cvtsi2sdq 0xd8(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movl 0x104(%rsp), %edi
xorl %esi, %esi
subl 0xf8(%rsp), %esi
callq 0xc71d0
movsd (%rsp), %xmm1
movaps %xmm0, %xmm2
movsd 0x8(%rsp), %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
addsd 0xb8(%rsp), %xmm0
movsd %xmm0, 0xb8(%rsp)
jmp 0xcdb57
jmp 0xcdb59
cvtsi2sdl 0xfc(%rsp), %xmm0
mulsd 0xb8(%rsp), %xmm0
movsd %xmm0, 0x110(%rsp)
movsd 0x110(%rsp), %xmm0
addq $0x118, %rsp            # imm = 0x118
retq
nopw %cs:(%rax,%rax)