// File: /workspace/github_c_makefile_star2_O1/BernardTatin[P]s7sh/s7.c
// Function: s7_decode_bt
char *s7_decode_bt(s7_scheme *sc)
                {
                    FILE *fp;
                    fp = fopen("gdb.txt", "r");
                    if (fp)
                    {
                        int64_t i, size;
                        size_t bytes;
                        bool in_quotes = false, old_stop;
                        uint8_t *bt;
                        block_t *bt_block;

                        old_stop = sc->stop_at_error;
                        sc->stop_at_error = false;
                        fseek(fp, 0, SEEK_END);
                        size = ftell(fp);
                        rewind(fp);

                        bt_block = mallocate(sc, (size + 1) * sizeof(uint8_t));
                        bt = (uint8_t *)block_data(bt_block);
                        bytes = fread(bt, sizeof(uint8_t), size, fp);
                        if (bytes != (size_t)size)
                        {
                            fclose(fp);
                            liberate(sc, bt_block);
                            return((char *)" oops ");
                        }
                        bt[size] = '\0';
                        fclose(fp);

                        for (i = 0; i < size; i++)
                        {
                            fputc(bt[i], stdout);
                            if ((bt[i] == '"') && ((i == 0) || (bt[i - 1] != '\\')))
                                in_quotes = (!in_quotes);
                            else
                            {
                                if ((!in_quotes) && (i < size - 8))
                                {
                                    if ((bt[i] == '=') &&
                                            (((bt[i + 1] == '0') && (bt[i + 2] == 'x')) ||
                                             ((bt[i + 1] == ' ') && (bt[i + 2] == '0') && (bt[i + 3] == 'x'))))
                                    {
                                        void *vp;
                                        int32_t vals;
                                        vals = sscanf((const char *)(bt + i + 1), "%p", &vp);
                                        if ((vp) && (vals == 1))
                                        {
                                            int32_t k;
                                            for (k = i + ((bt[i + 2] == 'x') ? 3 : 4); (k < size) && (IS_DIGIT(bt[k], 16)); k++);
                                            if ((bt[k] != ' ') || (bt[k + 1] != '"'))
                                            {
                                                if (vp == (void *)sc)
                                                {
                                                    if (bt[i + 1] == ' ') fputc(' ', stdout);
                                                    fprintf(stdout, "%s[s7]%s", BOLD_TEXT, UNBOLD_TEXT);
                                                    i = k - 1;
                                                }
                                                else
                                                {
                                                    s7_pointer p;
                                                    const char *dname;

                                                    p = (s7_pointer)vp;
                                                    dname = decoded_name(sc, p);
                                                    if (dname)
                                                    {
                                                        if (bt[i + 1] == ' ') fputc(' ', stdout);
                                                        fprintf(stdout, "%s[sc->%s]%s", BOLD_TEXT, dname, UNBOLD_TEXT);
                                                    }

                                                    if ((dname) || (is_decodable(sc, p)))
                                                    {
                                                        if (bt[i + 1] == ' ') fputc(' ', stdout);
                                                        i = k - 1;
                                                        if (s7_is_valid(sc, p))
                                                        {
                                                            s7_pointer strp;
                                                            if (dname) fprintf(stdout, " ");
                                                            strp = object_to_truncated_string(sc, p, 80);
                                                            fprintf(stdout, "%s%s%s", BOLD_TEXT, string_value(strp), UNBOLD_TEXT);
                                                            if ((is_pair(p)) &&
                                                                    (has_line_number(p)))
                                                            {
                                                                uint32_t line, file;
                                                                line = pair_line_number(p);
                                                                file = pair_file(p);
                                                                if (line > 0)
                                                                    fprintf(stdout, " %s(%s[%u])%s",
                                                                            BOLD_TEXT, string_value(sc->file_names[file]), line, UNBOLD_TEXT);
                                                            }
                                                            /* #<stack> etc */
                                                        }}}}}}}}}
                        liberate(sc, bt_block);
                        sc->stop_at_error = old_stop;
                    }
                    return((char *)"");
                }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x48, %rsp
movq %rdi, %rbx
leaq 0xcac2b(%rip), %rdi     # 0x1132ba
leaq 0xdada1(%rip), %rsi     # 0x123437
callq 0x95b0
testq %rax, %rax
je 0x4967b
movq %rax, %r12
movb 0x218e(%rbx), %al
movb %al, 0x17(%rsp)
movb $0x0, 0x218e(%rbx)
movq %r12, %rdi
xorl %esi, %esi
movl $0x2, %edx
callq 0x9500
movq %r12, %rdi
callq 0x93a0
movq %rax, %r14
movq %r12, %rdi
callq 0x91e0
leaq 0x1(%r14), %rsi
movq %rbx, %rdi
callq 0xa305
movq %rax, %r15
movq (%rax), %r13
movl $0x1, %esi
movq %r13, %rdi
movq %r14, %rdx
movq %r12, %rcx
callq 0x9110
movq %rax, %rbp
cmpq %r14, %rax
jne 0x495c2
movq %r15, 0x30(%rsp)
movq %rbx, 0x8(%rsp)
movb $0x0, (%r13,%r14)
movq %r12, %rdi
callq 0x9180
testq %r14, %r14
jle 0x49604
leaq -0x8(%r14), %rax
movq %rax, 0x38(%rsp)
xorl %r12d, %r12d
xorl %r15d, %r15d
movq %rbp, 0x18(%rsp)
leaq (%r12,%r13), %rbx
movzbl (%r13,%r12), %edi
movq 0x10587f(%rip), %rax    # 0x14dfd0
movq (%rax), %rsi
callq 0x9300
movb (%r13,%r12), %al
cmpb $0x22, %al
jne 0x48775
testq %r12, %r12
je 0x48831
cmpb $0x5c, -0x1(%rbx)
jne 0x48831
testb $0x1, %r15b
jne 0x48835
cmpq 0x38(%rsp), %r12
jge 0x48835
cmpb $0x3d, %al
jne 0x48835
movzbl 0x1(%rbx), %eax
cmpl $0x20, %eax
je 0x487b2
cmpl $0x30, %eax
jne 0x48835
cmpb $0x78, 0x2(%rbx)
je 0x487be
cmpb $0x20, %al
jne 0x48835
cmpb $0x30, 0x2(%rbx)
jne 0x48835
cmpb $0x78, 0x3(%rbx)
jne 0x48835
leaq 0x1(%rbx), %rdi
movq %rdi, 0x20(%rsp)
leaq 0xcaafb(%rip), %rsi     # 0x1132c9
leaq 0x40(%rsp), %rdx
xorl %eax, %eax
callq 0x94b0
movq 0x40(%rsp), %rbp
testq %rbp, %rbp
sete %cl
cmpl $0x1, %eax
setne %al
orb %cl, %al
jne 0x495b8
xorl %eax, %eax
cmpb $0x78, 0x2(%rbx)
sete %al
movq %r12, %rbx
subq %rax, %rbx
addq $0x4, %rbx
movslq %ebx, %rax
cmpq %rax, %r14
jle 0x48849
movq %rax, %rbx
movzbl (%r13,%rbx), %eax
leaq 0x114e42(%rip), %rcx    # 0x15d660
cmpl $0xf, (%rcx,%rax,4)
jg 0x48846
incq %rbx
movq %rbx, %rax
cmpq %rbx, %r14
jg 0x48811
jmp 0x48849
xorb $0x1, %r15b
incq %r12
cmpq %r14, %r12
jl 0x48740
jmp 0x49604
movq %rbx, %rax
cmpb $0x20, (%r13,%rax)
jne 0x4885d
cmpb $0x22, 0x1(%r13,%rax)
je 0x495b8
movq 0x8(%rsp), %rax
cmpq %rax, %rbp
je 0x48e7b
cmpq %rbp, 0x20(%rax)
je 0x48ee1
cmpq %rbp, 0x10(%rax)
je 0x48eef
cmpq %rbp, (%rax)
je 0x48efd
cmpq %rbp, 0x28(%rax)
je 0x48f0b
cmpq %rbp, 0x8(%rax)
je 0x48f19
cmpq %rbp, 0x110(%rax)
je 0x48f27
cmpq %rbp, 0x118(%rax)
je 0x48f35
cmpq %rbp, 0x120(%rax)
je 0x48f43
cmpq %rbp, 0x105e96(%rip)    # 0x14e760
je 0x48f51
movq 0x8(%rsp), %rax
cmpq %rbp, 0x128(%rax)
je 0x48f5f
cmpq %rbp, 0x130(%rax)
je 0x48f6d
cmpq %rbp, 0x138(%rax)
je 0x48f7b
cmpq %rbp, 0x140(%rax)
je 0x48f89
cmpq %rbp, 0x148(%rax)
je 0x48f97
cmpq %rbp, 0x150(%rax)
je 0x48fa5
cmpq %rbp, 0x2150(%rax)
je 0x48fb3
movq 0x8(%rsp), %rax
cmpq %rbp, 0x168(%rax)
je 0x48fc1
movq 0x8(%rsp), %rax
cmpq %rbp, 0x170(%rax)
je 0x48fcf
movq 0x8(%rsp), %rax
cmpq %rbp, 0x188(%rax)
je 0x48fdd
movq 0x8(%rsp), %rax
cmpq %rbp, 0x190(%rax)
je 0x48feb
movq 0x8(%rsp), %rax
cmpq %rbp, 0x198(%rax)
je 0x48ff9
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1a0(%rax)
je 0x49007
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1a8(%rax)
je 0x49015
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1b0(%rax)
je 0x49023
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1b8(%rax)
je 0x49031
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1c0(%rax)
je 0x4903f
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1c8(%rax)
je 0x4904d
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1d0(%rax)
je 0x4905b
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1d8(%rax)
je 0x49069
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1790(%rax)
je 0x49077
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1e8(%rax)
je 0x49085
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1f0(%rax)
je 0x49093
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1f8(%rax)
je 0x490a1
movq 0x8(%rsp), %rax
cmpq %rbp, 0x200(%rax)
je 0x490af
movq 0x8(%rsp), %rax
cmpq %rbp, 0x208(%rax)
je 0x490bd
movq 0x8(%rsp), %rax
cmpq %rbp, 0x210(%rax)
je 0x490cb
movq 0x8(%rsp), %rax
cmpq %rbp, 0x4d0(%rax)
je 0x490d9
movq 0x8(%rsp), %rax
cmpq %rbp, 0x4d8(%rax)
je 0x490e7
movq 0x8(%rsp), %rax
cmpq %rbp, 0x4e0(%rax)
je 0x490f5
movq 0x8(%rsp), %rax
cmpq %rbp, 0x4e8(%rax)
je 0x49103
movq 0x8(%rsp), %rax
cmpq %rbp, 0x4f0(%rax)
je 0x49111
movq 0x8(%rsp), %rax
cmpq %rbp, 0x4f8(%rax)
je 0x4911f
movq 0x8(%rsp), %rax
cmpq %rbp, 0x500(%rax)
je 0x4912d
movq 0x8(%rsp), %rax
cmpq %rbp, 0x508(%rax)
je 0x4913b
movq 0x8(%rsp), %rax
cmpq %rbp, 0x510(%rax)
je 0x49149
movq 0x8(%rsp), %rax
cmpq %rbp, 0x520(%rax)
je 0x49157
movq 0x8(%rsp), %rax
cmpq %rbp, 0x528(%rax)
je 0x49165
movq 0x8(%rsp), %rax
cmpq %rbp, 0x530(%rax)
je 0x49173
movq 0x8(%rsp), %rax
cmpq %rbp, 0x538(%rax)
je 0x49181
movq 0x8(%rsp), %rax
cmpq %rbp, 0x540(%rax)
je 0x4918f
movq 0x8(%rsp), %rax
cmpq %rbp, 0x548(%rax)
je 0x4919d
movq 0x8(%rsp), %rax
cmpq %rbp, 0x550(%rax)
je 0x491ab
movq 0x8(%rsp), %rax
cmpq %rbp, 0x558(%rax)
je 0x491b9
movq 0x8(%rsp), %rax
cmpq %rbp, 0x568(%rax)
je 0x491c7
movq 0x8(%rsp), %rax
cmpq %rbp, 0x570(%rax)
je 0x491d5
movq 0x8(%rsp), %rax
cmpq %rbp, 0x578(%rax)
je 0x491e3
movq 0x8(%rsp), %rax
cmpq %rbp, 0x580(%rax)
je 0x491f1
movq 0x8(%rsp), %rax
cmpq %rbp, 0x588(%rax)
je 0x491ff
movq 0x8(%rsp), %rax
cmpq %rbp, 0x590(%rax)
je 0x4920d
movq 0x8(%rsp), %rax
cmpq %rbp, 0x5a8(%rax)
je 0x4921b
movq 0x8(%rsp), %rax
cmpq %rbp, 0x598(%rax)
je 0x49229
movq 0x8(%rsp), %rax
cmpq %rbp, 0x5a0(%rax)
je 0x49237
movq 0x8(%rsp), %rax
cmpq %rbp, 0x6d8(%rax)
je 0x49245
movq 0x8(%rsp), %rax
cmpq %rbp, 0x6e0(%rax)
je 0x49253
movq 0x8(%rsp), %rax
cmpq %rbp, 0x6e8(%rax)
je 0x49261
movq 0x8(%rsp), %rax
cmpq %rbp, 0x6f0(%rax)
je 0x4926f
movq 0x8(%rsp), %rax
cmpq %rbp, 0x6f8(%rax)
je 0x4927d
movq 0x8(%rsp), %rax
cmpq %rbp, 0x700(%rax)
je 0x4928b
movq 0x8(%rsp), %rax
cmpq %rbp, 0x708(%rax)
je 0x49299
movq 0x8(%rsp), %rax
cmpq %rbp, 0x718(%rax)
je 0x492a7
movq 0x8(%rsp), %rax
cmpq %rbp, 0x720(%rax)
je 0x492b5
movq 0x8(%rsp), %rax
cmpq %rbp, 0x728(%rax)
je 0x492c3
movq 0x8(%rsp), %rax
cmpq %rbp, 0x730(%rax)
je 0x492d1
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1f00(%rax)
je 0x492df
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1f08(%rax)
je 0x492ed
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1f10(%rax)
je 0x492fb
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1f18(%rax)
je 0x49309
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1f20(%rax)
je 0x49317
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1f28(%rax)
je 0x49325
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1f30(%rax)
je 0x49330
movq 0x8(%rsp), %rax
movq 0x820(%rax), %rax
xorl %ecx, %ecx
cmpq %rbp, (%rax,%rcx,8)
je 0x4933b
incq %rcx
cmpq $0x8, %rcx
jne 0x48dbe
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1ee0(%rax)
je 0x49346
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1ee8(%rax)
je 0x49351
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1ef0(%rax)
je 0x4935c
movq 0x8(%rsp), %rax
cmpq %rbp, 0x1ef8(%rax)
je 0x49367
cmpq %rbp, 0x112278(%rip)    # 0x15b098
je 0x49372
cmpq %rbp, 0x1145bb(%rip)    # 0x15d3e8
je 0x4937d
cmpq %rbp, 0x111486(%rip)    # 0x15a2c0
je 0x49388
movq 0x8(%rsp), %rax
cmpq %rbp, 0x38(%rax)
je 0x49393
xorl %eax, %eax
movq 0x8(%rsp), %rcx
cmpq %rbp, 0x1f38(%rcx,%rax,8)
setne %cl
je 0x4939e
incq %rax
movl $0x0, %r8d
cmpq $0x40, %rax
jne 0x48e51
jmp 0x493a5
movq 0x20(%rsp), %rax
cmpb $0x20, (%rax)
movq 0x18(%rsp), %rbp
jne 0x48e9e
movq 0x10513f(%rip), %rax    # 0x14dfd0
movq (%rax), %rsi
movl $0x20, %edi
callq 0x9300
movq 0x10512b(%rip), %rax    # 0x14dfd0
movq (%rax), %rdi
leaq 0xca41d(%rip), %rsi     # 0x1132cc
leaq 0xca41f(%rip), %rdx     # 0x1132d5
leaq 0xca41d(%rip), %rcx     # 0x1132da
xorl %eax, %eax
callq 0x9390
shlq $0x20, %rbx
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
addq %rax, %rbx
sarq $0x20, %rbx
movq %rbx, %r12
jmp 0x48835
xorl %ecx, %ecx
leaq 0xd723d(%rip), %r8      # 0x120127
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xdbc8a(%rip), %r8      # 0x124b82
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd3562(%rip), %r8      # 0x11c468
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c8e(%rip), %r8      # 0x122ba2
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c89(%rip), %r8      # 0x122bab
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c81(%rip), %r8      # 0x122bb1
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c77(%rip), %r8      # 0x122bb5
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c6b(%rip), %r8      # 0x122bb7
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c5f(%rip), %r8      # 0x122bb9
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c5c(%rip), %r8      # 0x122bc4
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c58(%rip), %r8      # 0x122bce
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c56(%rip), %r8      # 0x122bda
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xca36b(%rip), %r8      # 0x1132fd
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c43(%rip), %r8      # 0x122be3
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd7336(%rip), %r8      # 0x1202e4
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd72c1(%rip), %r8      # 0x12027d
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xcc46a(%rip), %r8      # 0x115434
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c18(%rip), %r8      # 0x122bf0
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c15(%rip), %r8      # 0x122bfb
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c13(%rip), %r8      # 0x122c07
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd73fa(%rip), %r8      # 0x1203fc
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c02(%rip), %r8      # 0x122c12
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bff(%rip), %r8      # 0x122c1d
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bfc(%rip), %r8      # 0x122c28
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bf9(%rip), %r8      # 0x122c33
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bf6(%rip), %r8      # 0x122c3e
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bf3(%rip), %r8      # 0x122c49
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bf4(%rip), %r8      # 0x122c58
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bf6(%rip), %r8      # 0x122c68
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bf7(%rip), %r8      # 0x122c77
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bf5(%rip), %r8      # 0x122c83
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bf1(%rip), %r8      # 0x122c8d
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bf9(%rip), %r8      # 0x122ca3
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c04(%rip), %r8      # 0x122cbc
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c15(%rip), %r8      # 0x122cdb
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9c02(%rip), %r8      # 0x122cd6
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd204d(%rip), %r8      # 0x11b12f
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xdbc7a(%rip), %r8      # 0x124d6a
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xce614(%rip), %r8      # 0x117712
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xc9fa8(%rip), %r8      # 0x1130b4
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xce430(%rip), %r8      # 0x11754a
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bbe(%rip), %r8      # 0x122ce6
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bb6(%rip), %r8      # 0x122cec
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9bae(%rip), %r8      # 0x122cf2
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ba6(%rip), %r8      # 0x122cf8
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b9e(%rip), %r8      # 0x122cfe
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b96(%rip), %r8      # 0x122d04
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b8e(%rip), %r8      # 0x122d0a
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b86(%rip), %r8      # 0x122d10
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b7e(%rip), %r8      # 0x122d16
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b77(%rip), %r8      # 0x122d1d
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b73(%rip), %r8      # 0x122d27
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b71(%rip), %r8      # 0x122d33
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b6f(%rip), %r8      # 0x122d3f
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b66(%rip), %r8      # 0x122d44
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b5d(%rip), %r8      # 0x122d49
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b54(%rip), %r8      # 0x122d4e
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b4b(%rip), %r8      # 0x122d53
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b42(%rip), %r8      # 0x122d58
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b39(%rip), %r8      # 0x122d5d
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b30(%rip), %r8      # 0x122d62
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b27(%rip), %r8      # 0x122d67
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b1e(%rip), %r8      # 0x122d6c
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b18(%rip), %r8      # 0x122d74
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b12(%rip), %r8      # 0x122d7c
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b0c(%rip), %r8      # 0x122d84
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b06(%rip), %r8      # 0x122d8c
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b00(%rip), %r8      # 0x122d94
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9afa(%rip), %r8      # 0x122d9c
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9af4(%rip), %r8      # 0x122da4
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9aee(%rip), %r8      # 0x122dac
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ae8(%rip), %r8      # 0x122db4
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ae2(%rip), %r8      # 0x122dbc
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9adc(%rip), %r8      # 0x122dc4
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9adf(%rip), %r8      # 0x122dd5
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ae2(%rip), %r8      # 0x122de6
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ae5(%rip), %r8      # 0x122df7
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ae5(%rip), %r8      # 0x122e05
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ae5(%rip), %r8      # 0x122e13
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ae8(%rip), %r8      # 0x122e21
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9aeb(%rip), %r8      # 0x122e2f
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9af6(%rip), %r8      # 0x122e45
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b06(%rip), %r8      # 0x122e60
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ad9(%rip), %r8      # 0x122e3e
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9ae9(%rip), %r8      # 0x122e59
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9af7(%rip), %r8      # 0x122e72
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b06(%rip), %r8      # 0x122e8c
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xd9b17(%rip), %r8      # 0x122ea8
jmp 0x493a5
xorl %ecx, %ecx
leaq 0xdaf0c(%rip), %r8      # 0x1242a8
jmp 0x493a5
leaq 0xd9b19(%rip), %r8      # 0x122ebe
movl %ecx, 0x2c(%rsp)
testb %cl, %cl
je 0x49477
movq 0x8(%rsp), %rcx
movq 0x110(%rcx), %rax
movq 0x148(%rcx), %rcx
movq 0x10(%rcx), %rcx
xorl %edx, %edx
movq (%rcx,%rdx,8), %rsi
cmpq %rax, %rsi
je 0x493ff
movq 0x8(%rsi), %rdi
cmpq %rbp, %rdi
je 0x494c4
testb $0x1, 0x2(%rdi)
je 0x493f9
movq 0x10(%rdi), %rdi
cmpb $0x20, (%rdi)
jne 0x493f9
cmpq %rbp, 0x10(%rdi)
je 0x494c4
movq 0x10(%rsi), %rsi
jmp 0x493ce
incq %rdx
cmpq $0x7fed, %rdx           # imm = 0x7FED
jne 0x493ca
movq 0x109646(%rip), %rax    # 0x152a58
xorl %ecx, %ecx
cmpq %rbp, (%rax,%rcx,8)
je 0x494c4
incq %rcx
cmpq $0x100, %rcx            # imm = 0x100
jne 0x49414
xorl %eax, %eax
leaq 0x10551d(%rip), %rcx    # 0x14e950
cmpq %rbp, (%rax,%rcx)
je 0x494c4
addq $0x8, %rax
cmpq $0x4008, %rax           # imm = 0x4008
jne 0x4942c
movq 0x8(%rsp), %rcx
movq 0x80(%rcx), %rax
movq 0xa8(%rcx), %rcx
leaq (%rax,%rcx,8), %rcx
cmpq %rcx, %rax
jae 0x495b8
leaq 0x8(%rax), %rdx
cmpq %rbp, (%rax)
movq %rdx, %rax
jne 0x49460
jmp 0x494c4
movq 0x20(%rsp), %rax
cmpb $0x20, (%rax)
jne 0x4949b
movq 0x104b48(%rip), %rax    # 0x14dfd0
movq (%rax), %rsi
movl $0x20, %edi
movq %r8, %r12
callq 0x9300
movq %r12, %r8
movq 0x104b2e(%rip), %rax    # 0x14dfd0
movq (%rax), %rdi
leaq 0xc9e34(%rip), %rsi     # 0x1132e0
leaq 0xc9e22(%rip), %rdx     # 0x1132d5
movq %r8, %rcx
leaq 0xc9e1d(%rip), %r8      # 0x1132da
xorl %eax, %eax
callq 0x9390
movq 0x20(%rsp), %rax
cmpb $0x20, (%rax)
jne 0x494e2
movq 0x104afb(%rip), %rax    # 0x14dfd0
movq (%rax), %rsi
movl $0x20, %edi
callq 0x9300
shlq $0x20, %rbx
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
addq %rax, %rbx
movq %rbx, %r12
sarq $0x20, %r12
movq 0x8(%rsp), %rdi
movq %rbp, %rsi
callq 0x39e82
testb %al, %al
je 0x495b8
cmpb $0x0, 0x2c(%rsp)
jne 0x4952a
movq 0x104ab3(%rip), %rax    # 0x14dfd0
movq (%rax), %rsi
movl $0x20, %edi
callq 0x9300
movl $0x50, %edx
movq 0x8(%rsp), %rdi
movq %rbp, %rsi
callq 0x469c9
movq 0x104a8d(%rip), %rcx    # 0x14dfd0
movq (%rcx), %rdi
movq 0x10(%rax), %rcx
leaq 0xd9a02(%rip), %rsi     # 0x122f53
leaq 0xc9d7d(%rip), %rdx     # 0x1132d5
leaq 0xc9d7b(%rip), %r8      # 0x1132da
xorl %eax, %eax
callq 0x9390
cmpb $0x1, (%rbp)
jne 0x495b8
testb $0x4, 0x2(%rbp)
je 0x495b8
movl 0x2c(%rbp), %r8d
testl %r8d, %r8d
je 0x495b8
movl 0x28(%rbp), %eax
movq 0x104a4b(%rip), %rcx    # 0x14dfd0
movq (%rcx), %rdi
movq 0x8(%rsp), %rcx
movq 0x498(%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x10(%rax), %rcx
leaq 0xc9d4a(%rip), %rsi     # 0x1132ed
leaq 0xc9d2b(%rip), %rdx     # 0x1132d5
leaq 0xc9d29(%rip), %r9      # 0x1132da
xorl %eax, %eax
callq 0x9390
movq 0x18(%rsp), %rbp
jmp 0x48835
movq %r12, %rdi
callq 0x9180
movslq 0x8(%r15), %rax
cmpq $0x11, %rax
jne 0x4963d
movq (%r15), %rdi
testq %rdi, %rdi
je 0x495e8
callq 0x9050
movq $0x0, (%r15)
movl $0x0, 0x8(%r15)
movq 0x838(%rbx), %rax
movq %rax, 0x18(%r15)
movq %r15, 0x838(%rbx)
jmp 0x49676
movq 0x30(%rsp), %r15
movslq 0x8(%r15), %rax
cmpq $0x11, %rax
jne 0x49653
movq (%r15), %rdi
testq %rdi, %rdi
movq 0x8(%rsp), %rbx
je 0x4962c
callq 0x9050
movq $0x0, (%r15)
movl $0x0, 0x8(%r15)
leaq 0x838(%rbx), %rax
jmp 0x49662
movq 0x838(%rbx,%rax,8), %rcx
movq %rcx, 0x18(%r15)
movq %r15, 0x838(%rbx,%rax,8)
jmp 0x49676
movq 0x8(%rsp), %rbx
leaq (%rbx,%rax,8), %rax
addq $0x838, %rax            # imm = 0x838
movb 0x17(%rsp), %dl
movq (%rax), %rcx
movq %rcx, 0x18(%r15)
movq %r15, (%rax)
movb %dl, 0x218e(%rbx)
cmpq %r14, %rbp
jne 0x49684
leaq 0xdbd3c(%rip), %rax     # 0x1253be
jmp 0x4968b
leaq 0xc9c37(%rip), %rax     # 0x1132c2
addq $0x48, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq