// File: /workspace/github_c_makefile_star2_O2/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 $0x38, %rsp
movq %rdi, %rbx
leaq 0x9d6d2(%rip), %rdi     # 0xd636a
leaq 0xad848(%rip), %rsi     # 0xe64e7
callq 0x85b0
movq %rax, %r12
leaq 0xaf7c0(%rip), %rax     # 0xe846e
testq %r12, %r12
je 0x39838
movb 0x218e(%rbx), %bpl
movb $0x0, 0x218e(%rbx)
pushq $0x2
popq %rdx
movq %r12, %rdi
xorl %esi, %esi
callq 0x8500
movq %r12, %rdi
callq 0x83a0
movq %rax, %r15
movq %r12, %rdi
callq 0x81e0
leaq 0x1(%r15), %rsi
movq %rbx, %rdi
callq 0x9037
movq %rax, %r14
movq (%rax), %r13
pushq $0x1
popq %rsi
movq %r13, %rdi
movq %r15, %rdx
movq %r12, %rcx
callq 0x8110
cmpq %r15, %rax
jne 0x3981e
movq %r14, 0x28(%rsp)
movb %bpl, 0xb(%rsp)
movq %rbx, 0x10(%rsp)
movb $0x0, (%r13,%r15)
movq %r12, %rdi
callq 0x8180
leaq -0x8(%r15), %r14
xorl %ebp, %ebp
xorl %ebx, %ebx
cmpq %r15, %rbx
jge 0x397f9
leaq (%rbx,%r13), %r12
movzbl (%r13,%rbx), %edi
movq 0xdc280(%rip), %rax     # 0x114fd0
movq (%rax), %rsi
callq 0x8300
movb (%r13,%rbx), %al
cmpb $0x22, %al
jne 0x38d6e
testq %rbx, %rbx
je 0x38d97
cmpb $0x5c, -0x1(%r12)
jne 0x38d97
testb $0x1, %bpl
jne 0x38d9b
cmpq %r14, %rbx
jge 0x38d9b
cmpb $0x3d, %al
jne 0x38d9b
movzbl 0x1(%r12), %eax
cmpl $0x20, %eax
je 0x38da0
cmpl $0x30, %eax
jne 0x38d9b
cmpb $0x78, 0x2(%r12)
jne 0x38d9b
jmp 0x38db0
xorb $0x1, %bpl
incq %rbx
jmp 0x38d36
cmpb $0x30, 0x2(%r12)
jne 0x38d9b
cmpb $0x78, 0x3(%r12)
jne 0x38d9b
leaq 0x1(%r12), %rdi
movq %rdi, 0x18(%rsp)
leaq 0x9d5b8(%rip), %rsi     # 0xd6379
leaq 0x30(%rsp), %rdx
xorl %eax, %eax
callq 0x84b0
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
sete %cl
cmpl $0x1, %eax
setne %al
orb %cl, %al
jne 0x38d9b
xorl %eax, %eax
cmpb $0x78, 0x2(%r12)
sete %al
movl %ebx, %ecx
subl %eax, %ecx
addl $0x4, %ecx
movslq %ecx, %rax
cmpq %rax, %r15
movq %rax, %r12
cmovgq %r15, %r12
cmpq %rax, %r15
jle 0x38e1e
movzbl (%r13,%rax), %ecx
leaq 0xeb84d(%rip), %rdx     # 0x124660
cmpl $0xf, (%rdx,%rcx,4)
jg 0x38e25
incq %rax
jmp 0x38e01
movb (%r13,%r12), %cl
jmp 0x38e28
movq %rax, %r12
cmpb $0x20, %cl
jne 0x38e39
cmpb $0x22, 0x1(%r13,%r12)
je 0x38d9b
movq 0x10(%rsp), %rdx
cmpq %rdx, %rdi
je 0x394ad
movq %r12, 0x20(%rsp)
leaq 0xaa384(%rip), %rcx     # 0xe31d7
cmpq %rdi, 0x20(%rdx)
movq %rdi, %r12
je 0x395c2
leaq 0xaedcb(%rip), %rcx     # 0xe7c32
cmpq %rdi, 0x10(%rdx)
je 0x395c2
leaq 0xa66a0(%rip), %rcx     # 0xdf518
cmpq %rdi, (%rdx)
je 0x395c2
leaq 0xacdca(%rip), %rcx     # 0xe5c52
cmpq %rdi, 0x28(%rdx)
je 0x395c2
leaq 0xacdc2(%rip), %rcx     # 0xe5c5b
cmpq %rdi, 0x8(%rdx)
je 0x395c2
movq 0x110(%rdx), %rax
leaq 0xacdb0(%rip), %rcx     # 0xe5c61
cmpq %rdi, %rax
je 0x395c2
leaq 0xacda4(%rip), %rcx     # 0xe5c65
cmpq %rdi, 0x118(%rdx)
je 0x395c2
leaq 0xacd92(%rip), %rcx     # 0xe5c67
cmpq %rdi, 0x120(%rdx)
je 0x395c2
leaq 0xacd80(%rip), %rcx     # 0xe5c69
cmpq %rdi, 0xdc870(%rip)     # 0x115760
je 0x395c2
leaq 0xacd77(%rip), %rcx     # 0xe5c74
cmpq %rdi, 0x128(%rdx)
je 0x395c2
leaq 0xacd6d(%rip), %rcx     # 0xe5c7e
cmpq %rdi, 0x130(%rdx)
je 0x395c2
leaq 0xacd65(%rip), %rcx     # 0xe5c8a
cmpq %rdi, 0x138(%rdx)
je 0x395c2
leaq 0x9d474(%rip), %rcx     # 0xd63ad
cmpq %rdi, 0x140(%rdx)
je 0x395c2
movq 0x148(%rdx), %r8
leaq 0xacd3f(%rip), %rcx     # 0xe5c93
cmpq %rdi, %r8
je 0x395c2
leaq 0xaa430(%rip), %rcx     # 0xe3394
cmpq %rdi, 0x150(%rdx)
je 0x395c2
leaq 0xaa3b5(%rip), %rcx     # 0xe332d
cmpq %rdi, 0x2150(%rdx)
je 0x395c2
leaq 0x9f558(%rip), %rcx     # 0xd84e4
cmpq %rdi, 0x168(%rdx)
je 0x395c2
leaq 0xacd00(%rip), %rcx     # 0xe5ca0
cmpq %rdi, 0x170(%rdx)
je 0x395c2
leaq 0xaccf7(%rip), %rcx     # 0xe5cab
cmpq %rdi, 0x188(%rdx)
je 0x395c2
leaq 0xaccef(%rip), %rcx     # 0xe5cb7
cmpq %rdi, 0x190(%rdx)
je 0x395c2
leaq 0xaa4d0(%rip), %rcx     # 0xe34ac
cmpq %rdi, 0x198(%rdx)
je 0x395c2
leaq 0xaccd2(%rip), %rcx     # 0xe5cc2
cmpq %rdi, 0x1a0(%rdx)
je 0x395c2
leaq 0xaccc9(%rip), %rcx     # 0xe5ccd
cmpq %rdi, 0x1a8(%rdx)
je 0x395c2
leaq 0xaccc0(%rip), %rcx     # 0xe5cd8
cmpq %rdi, 0x1b0(%rdx)
je 0x395c2
leaq 0xaccb7(%rip), %rcx     # 0xe5ce3
cmpq %rdi, 0x1b8(%rdx)
je 0x395c2
leaq 0xaccae(%rip), %rcx     # 0xe5cee
cmpq %rdi, 0x1c0(%rdx)
je 0x395c2
leaq 0xacca5(%rip), %rcx     # 0xe5cf9
cmpq %rdi, 0x1c8(%rdx)
je 0x395c2
leaq 0xacca0(%rip), %rcx     # 0xe5d08
cmpq %rdi, 0x1d0(%rdx)
je 0x395c2
leaq 0xacc9c(%rip), %rcx     # 0xe5d18
cmpq %rdi, 0x1d8(%rdx)
je 0x395c2
leaq 0xacc97(%rip), %rcx     # 0xe5d27
cmpq %rdi, 0x1790(%rdx)
je 0x395c2
leaq 0xacc8f(%rip), %rcx     # 0xe5d33
cmpq %rdi, 0x1e8(%rdx)
je 0x395c2
leaq 0xacc85(%rip), %rcx     # 0xe5d3d
cmpq %rdi, 0x1f0(%rdx)
je 0x395c2
leaq 0xacc87(%rip), %rcx     # 0xe5d53
cmpq %rdi, 0x1f8(%rdx)
je 0x395c2
leaq 0xacc8c(%rip), %rcx     # 0xe5d6c
cmpq %rdi, 0x200(%rdx)
je 0x395c2
leaq 0xacc97(%rip), %rcx     # 0xe5d8b
cmpq %rdi, 0x208(%rdx)
je 0x395c2
leaq 0xacc7e(%rip), %rcx     # 0xe5d86
cmpq %rdi, 0x210(%rdx)
je 0x395c2
leaq 0xa50c3(%rip), %rcx     # 0xde1df
cmpq %rdi, 0x4d0(%rdx)
je 0x395c2
leaq 0xaecea(%rip), %rcx     # 0xe7e1a
cmpq %rdi, 0x4d8(%rdx)
je 0x395c2
leaq 0xa167e(%rip), %rcx     # 0xda7c2
cmpq %rdi, 0x4e0(%rdx)
je 0x395c2
leaq 0x9d00c(%rip), %rcx     # 0xd6164
cmpq %rdi, 0x4e8(%rdx)
je 0x395c2
leaq 0xa148e(%rip), %rcx     # 0xda5fa
cmpq %rdi, 0x4f0(%rdx)
je 0x395c2
leaq 0xacc16(%rip), %rcx     # 0xe5d96
cmpq %rdi, 0x4f8(%rdx)
je 0x395c2
leaq 0xacc08(%rip), %rcx     # 0xe5d9c
cmpq %rdi, 0x500(%rdx)
je 0x395c2
leaq 0xacbfa(%rip), %rcx     # 0xe5da2
cmpq %rdi, 0x508(%rdx)
je 0x395c2
leaq 0xacbec(%rip), %rcx     # 0xe5da8
cmpq %rdi, 0x510(%rdx)
je 0x395c2
leaq 0xacbde(%rip), %rcx     # 0xe5dae
cmpq %rdi, 0x520(%rdx)
je 0x395c2
leaq 0xacbd0(%rip), %rcx     # 0xe5db4
cmpq %rdi, 0x528(%rdx)
je 0x395c2
leaq 0xacbc2(%rip), %rcx     # 0xe5dba
cmpq %rdi, 0x530(%rdx)
je 0x395c2
leaq 0xacbb4(%rip), %rcx     # 0xe5dc0
cmpq %rdi, 0x538(%rdx)
je 0x395c2
leaq 0xacba6(%rip), %rcx     # 0xe5dc6
cmpq %rdi, 0x540(%rdx)
je 0x395c2
leaq 0xacb99(%rip), %rcx     # 0xe5dcd
cmpq %rdi, 0x548(%rdx)
je 0x395c2
leaq 0xacb8f(%rip), %rcx     # 0xe5dd7
cmpq %rdi, 0x550(%rdx)
je 0x395c2
leaq 0xacb87(%rip), %rcx     # 0xe5de3
cmpq %rdi, 0x558(%rdx)
je 0x395c2
leaq 0xacb7f(%rip), %rcx     # 0xe5def
cmpq %rdi, 0x568(%rdx)
je 0x395c2
leaq 0xacb70(%rip), %rcx     # 0xe5df4
cmpq %rdi, 0x570(%rdx)
je 0x395c2
leaq 0xacb61(%rip), %rcx     # 0xe5df9
cmpq %rdi, 0x578(%rdx)
je 0x395c2
leaq 0xacb52(%rip), %rcx     # 0xe5dfe
cmpq %rdi, 0x580(%rdx)
je 0x395c2
leaq 0xacb43(%rip), %rcx     # 0xe5e03
cmpq %rdi, 0x588(%rdx)
je 0x395c2
leaq 0xacb34(%rip), %rcx     # 0xe5e08
cmpq %rdi, 0x590(%rdx)
je 0x395c2
leaq 0xacb25(%rip), %rcx     # 0xe5e0d
cmpq %rdi, 0x5a8(%rdx)
je 0x395c2
leaq 0xacb16(%rip), %rcx     # 0xe5e12
cmpq %rdi, 0x598(%rdx)
je 0x395c2
leaq 0xacb07(%rip), %rcx     # 0xe5e17
cmpq %rdi, 0x5a0(%rdx)
je 0x395c2
leaq 0xacaf8(%rip), %rcx     # 0xe5e1c
cmpq %rdi, 0x6d8(%rdx)
je 0x395c2
leaq 0xacaec(%rip), %rcx     # 0xe5e24
cmpq %rdi, 0x6e0(%rdx)
je 0x395c2
leaq 0xacae0(%rip), %rcx     # 0xe5e2c
cmpq %rdi, 0x6e8(%rdx)
je 0x395c2
leaq 0xacad4(%rip), %rcx     # 0xe5e34
cmpq %rdi, 0x6f0(%rdx)
je 0x395c2
leaq 0xacac8(%rip), %rcx     # 0xe5e3c
cmpq %rdi, 0x6f8(%rdx)
je 0x395c2
leaq 0xacabc(%rip), %rcx     # 0xe5e44
cmpq %rdi, 0x700(%rdx)
je 0x395c2
leaq 0xacab0(%rip), %rcx     # 0xe5e4c
cmpq %rdi, 0x708(%rdx)
je 0x395c2
leaq 0xacaa4(%rip), %rcx     # 0xe5e54
cmpq %rdi, 0x718(%rdx)
je 0x395c2
leaq 0xaca98(%rip), %rcx     # 0xe5e5c
cmpq %rdi, 0x720(%rdx)
je 0x395c2
leaq 0xaca8c(%rip), %rcx     # 0xe5e64
cmpq %rdi, 0x728(%rdx)
je 0x395c2
leaq 0xaca80(%rip), %rcx     # 0xe5e6c
cmpq %rdi, 0x730(%rdx)
je 0x395c2
leaq 0xaca74(%rip), %rcx     # 0xe5e74
cmpq %rdi, 0x1f00(%rdx)
je 0x395c2
leaq 0xaca71(%rip), %rcx     # 0xe5e85
cmpq %rdi, 0x1f08(%rdx)
je 0x395c2
leaq 0xaca6e(%rip), %rcx     # 0xe5e96
cmpq %rdi, 0x1f10(%rdx)
je 0x395c2
leaq 0xaca6b(%rip), %rcx     # 0xe5ea7
cmpq %rdi, 0x1f18(%rdx)
je 0x395c2
leaq 0xaca65(%rip), %rcx     # 0xe5eb5
cmpq %rdi, 0x1f20(%rdx)
je 0x395c2
leaq 0xaca5f(%rip), %rcx     # 0xe5ec3
cmpq %rdi, 0x1f28(%rdx)
je 0x395c2
leaq 0xaca59(%rip), %rcx     # 0xe5ed1
cmpq %rdi, 0x1f30(%rdx)
je 0x395c2
movq 0x820(%rdx), %rdx
xorl %esi, %esi
cmpq $0x8, %rsi
je 0x3950c
leaq 0x1(%rsi), %rdi
cmpq %r12, (%rdx,%rsi,8)
movq %rdi, %rsi
jne 0x3948e
leaq 0xaca37(%rip), %rcx     # 0xe5edf
jmp 0x395c2
movq 0x18(%rsp), %rax
cmpb $0x20, (%rax)
jne 0x394c9
movq 0xdbb12(%rip), %rax     # 0x114fd0
movq (%rax), %rsi
pushq $0x20
popq %rdi
callq 0x8300
movq 0xdbb00(%rip), %rax     # 0x114fd0
movq (%rax), %rdi
leaq 0x9cea2(%rip), %rsi     # 0xd637c
leaq 0x9cea4(%rip), %rdx     # 0xd6385
leaq 0x9cea2(%rip), %rcx     # 0xd638a
xorl %eax, %eax
callq 0x8390
shlq $0x20, %r12
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
addq %rax, %r12
sarq $0x20, %r12
movq %r12, %rbx
jmp 0x38d9b
leaq 0xac9e2(%rip), %rcx     # 0xe5ef5
movq 0x10(%rsp), %rdx
cmpq %r12, 0x1ee0(%rdx)
je 0x395c2
movq %r12, %rdi
leaq 0xac9e1(%rip), %rcx     # 0xe5f10
cmpq %r12, 0x1ee8(%rdx)
je 0x395c2
leaq 0xac9ab(%rip), %rcx     # 0xe5eee
cmpq %rdi, 0x1ef0(%rdx)
je 0x395c2
leaq 0xac9b6(%rip), %rcx     # 0xe5f09
cmpq %rdi, 0x1ef8(%rdx)
je 0x395c2
leaq 0xac9bf(%rip), %rcx     # 0xe5f22
cmpq %rdi, 0xe8b2e(%rip)     # 0x122098
je 0x395c2
leaq 0xac9c9(%rip), %rcx     # 0xe5f3c
cmpq %rdi, 0xeae6e(%rip)     # 0x1243e8
je 0x395c2
leaq 0xac9d5(%rip), %rcx     # 0xe5f58
cmpq %rdi, 0xe7d36(%rip)     # 0x1212c0
je 0x395c2
leaq 0xaddc5(%rip), %rcx     # 0xe7358
cmpq %rdi, 0x38(%rdx)
je 0x395c2
xorl %edx, %edx
cmpq $0x40, %rdx
je 0x39719
leaq 0x1(%rdx), %rsi
movq 0x10(%rsp), %rdi
cmpq %r12, 0x1f38(%rdi,%rdx,8)
movq %rsi, %rdx
jne 0x3959b
leaq 0xac9ac(%rip), %rcx     # 0xe5f6e
movq 0x18(%rsp), %rax
cmpb $0x20, (%rax)
jne 0x395e4
movq 0xdb9fd(%rip), %rax     # 0x114fd0
movq (%rax), %rsi
pushq $0x20
popq %rdi
movq %rcx, %rbx
callq 0x8300
movq %rbx, %rcx
movq 0xdb9e5(%rip), %rax     # 0x114fd0
movq (%rax), %rdi
movl $0x0, 0xc(%rsp)
leaq 0x9cd93(%rip), %rsi     # 0xd6390
leaq 0x9cd81(%rip), %rdx     # 0xd6385
leaq 0x9cd7f(%rip), %r8      # 0xd638a
xorl %eax, %eax
callq 0x8390
movq 0x18(%rsp), %rax
cmpb $0x20, (%rax)
jne 0x3962e
movq 0xdb9ad(%rip), %rax     # 0x114fd0
movq (%rax), %rsi
pushq $0x20
popq %rdi
callq 0x8300
movq 0x20(%rsp), %rbx
shlq $0x20, %rbx
movabsq $-0x100000000, %rax     # imm = 0xFFFFFFFF00000000
addq %rax, %rbx
sarq $0x20, %rbx
movq 0x10(%rsp), %rdi
movq %r12, %rsi
callq 0x2b68b
testb %al, %al
je 0x38d9b
cmpb $0x0, 0xc(%rsp)
jne 0x39676
movq 0xdb965(%rip), %rax     # 0x114fd0
movq (%rax), %rsi
pushq $0x20
popq %rdi
callq 0x8300
movq 0x10(%rsp), %rdi
movq %r12, %rsi
pushq $0x50
popq %rdx
callq 0x36076
movq 0xdb943(%rip), %rcx     # 0x114fd0
movq (%rcx), %rdi
movq 0x10(%rax), %rcx
leaq 0xac968(%rip), %rsi     # 0xe6003
leaq 0x9cce3(%rip), %rdx     # 0xd6385
leaq 0x9cce1(%rip), %r8      # 0xd638a
xorl %eax, %eax
callq 0x8390
cmpb $0x1, (%r12)
jne 0x38d9b
testb $0x4, 0x2(%r12)
je 0x38d9b
movl 0x2c(%r12), %r8d
testl %r8d, %r8d
je 0x38d9b
movl 0x28(%r12), %eax
movq 0xdb8ef(%rip), %rcx     # 0x114fd0
movq (%rcx), %rdi
movq 0x10(%rsp), %rcx
movq 0x498(%rcx), %rcx
movq (%rcx,%rax,8), %rax
movq 0x10(%rax), %rcx
leaq 0x9cc9e(%rip), %rsi     # 0xd639d
leaq 0x9cc7f(%rip), %rdx     # 0xd6385
leaq 0x9cc7d(%rip), %r9      # 0xd638a
xorl %eax, %eax
callq 0x8390
jmp 0x38d9b
movq 0x10(%r8), %rcx
xorl %edx, %edx
cmpq $0x7fed, %rdx           # imm = 0x7FED
je 0x3976d
leaq (%rcx,%rdx,8), %rsi
movq (%rsi), %rsi
cmpq %rax, %rsi
je 0x39768
movq 0x8(%rsi), %rdi
movb $0x1, %r8b
movl %r8d, 0xc(%rsp)
cmpq %r12, %rdi
je 0x39612
testb $0x1, 0x2(%rdi)
je 0x39762
movq 0x10(%rdi), %rdi
cmpb $0x20, (%rdi)
jne 0x39762
cmpq %r12, 0x10(%rdi)
je 0x39612
addq $0x10, %rsi
jmp 0x3972c
incq %rdx
jmp 0x3971f
movq 0xe02e4(%rip), %rax     # 0x119a58
xorl %ecx, %ecx
cmpq $0x100, %rcx            # imm = 0x100
je 0x39798
leaq 0x1(%rcx), %rdx
movb $0x1, %sil
movl %esi, 0xc(%rsp)
cmpq %r12, (%rax,%rcx,8)
movq %rdx, %rcx
jne 0x39776
jmp 0x39612
xorl %eax, %eax
cmpq $0x4008, %rax           # imm = 0x4008
je 0x397c1
leaq 0x8(%rax), %rcx
movb $0x1, %dl
movl %edx, 0xc(%rsp)
leaq 0xdc19d(%rip), %rdx     # 0x115950
cmpq %r12, (%rax,%rdx)
movq %rcx, %rax
jne 0x3979a
jmp 0x39612
movq 0x10(%rsp), %rcx
movq 0x80(%rcx), %rax
movq 0xa8(%rcx), %rcx
leaq (%rax,%rcx,8), %rcx
cmpq %rcx, %rax
jae 0x38d9b
leaq 0x8(%rax), %rdx
movb $0x1, %sil
movl %esi, 0xc(%rsp)
cmpq %r12, (%rax)
movq %rdx, %rax
jne 0x397d8
jmp 0x39612
movq 0x10(%rsp), %rbx
movq %rbx, %rdi
movq 0x28(%rsp), %rsi
callq 0x9439
movb 0xb(%rsp), %al
movb %al, 0x218e(%rbx)
leaq 0xaec52(%rip), %rax     # 0xe846e
jmp 0x39838
movq %r12, %rdi
callq 0x8180
movq %rbx, %rdi
movq %r14, %rsi
callq 0x9439
leaq 0x9cb3a(%rip), %rax     # 0xd6372
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq