// File: /workspace/github_c_makefile_star2_O3/samtools[P]htslib/htscodecs/htscodecs/rANS_static.c
// Function: rans_uncompress
unsigned char *rans_uncompress(unsigned char *in, unsigned int in_size,
                               unsigned int *out_size) {
    /* Both rans_uncompress functions need to be able to read at least 9
       bytes. */
    if (in_size < 9)
        return NULL;
    return in[0]
        ? rans_uncompress_O1(in, in_size, out_size)
        : rans_uncompress_O0(in, in_size, out_size);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x8148, %rsp           # imm = 0x8148
cmpl $0x9, %esi
jb 0x7a0b4
movq %rdx, %r14
movq %rdi, %r15
movb (%rdi), %al
movl %esi, %ebx
addq %rdi, %rbx
testb %al, %al
movq %rbx, (%rsp)
je 0x79f08
cmpl $0x1b, %esi
setb %cl
cmpb $0x1, %al
setne %al
orb %cl, %al
jne 0x7a0b4
addl $-0x9, %esi
xorl %r12d, %r12d
cmpl %esi, 0x1(%r15)
jne 0x7a0b7
movl 0x5(%r15), %eax
cmpl $0x7ffffffe, %eax       # imm = 0x7FFFFFFE
ja 0x7a0b7
movl %eax, 0x14(%rsp)
movl $0x100, %edi            # imm = 0x100
movl $0x1800, %esi           # imm = 0x1800
callq 0x7e245
testq %rax, %rax
je 0x7a0b4
movq %rax, %r13
leaq 0x100000(%rax), %r12
leaq 0x80(%rsp), %rdi
movl $0x200, %edx            # imm = 0x200
movl $0xff, %esi
callq 0x4260
movl $0x800, %edx            # imm = 0x800
movq %r12, 0x30(%rsp)
movq %r12, %rdi
xorl %esi, %esi
callq 0x4260
movl $0x100000, %eax         # imm = 0x100000
movq $0x0, (%r13,%rax)
addq $0x800, %rax            # imm = 0x800
cmpq $0x180000, %rax         # imm = 0x180000
jne 0x79cdd
movzbl 0x9(%r15), %esi
addq $0xa, %r15
leaq -0x10(%rbx), %rax
movq %rax, 0x20(%rsp)
xorl %ecx, %ecx
xorl %edx, %edx
movq %r14, 0x48(%rsp)
movq %r13, 0x8(%rsp)
movslq %esi, %rdi
movzwl 0x80(%rsp,%rdi,2), %eax
cmpw $-0x1, %ax
movl %edx, 0x40(%rsp)
movl %esi, 0x28(%rsp)
movq %rdi, 0x38(%rsp)
jne 0x79d3e
movw %cx, 0x80(%rsp,%rdi,2)
movl %ecx, %eax
incl %ecx
movq %rcx, 0x18(%rsp)
movzbl (%r15), %ebp
incq %r15
movswq %ax, %r14
movq %r14, %r12
shlq $0xc, %r12
addq %r13, %r12
xorl %ebx, %ebx
xorl %r13d, %r13d
movl %ebx, %eax
movslq %ebp, %rcx
cmpw $-0x1, 0x80(%rsp,%rcx,2)
jne 0x79d81
movq 0x18(%rsp), %rdx
movw %dx, 0x80(%rsp,%rcx,2)
incl %edx
movq %rdx, 0x18(%rsp)
cmpq 0x20(%rsp), %r15
ja 0x7a8d9
movzbl (%r15), %edx
testb %dl, %dl
js 0x79d99
incq %r15
jmp 0x79dac
andl $0x7f, %edx
shll $0x8, %edx
movzbl 0x1(%r15), %esi
addq $0x2, %r15
orl %edx, %esi
movl %esi, %edx
testl %edx, %edx
je 0x79e24
movq %r14, %rsi
shlq $0xb, %rsi
addq 0x30(%rsp), %rsi
movzwl %ax, %edi
movl %edi, 0x4(%rsi,%rcx,8)
movl %edx, (%rsi,%rcx,8)
leal (%rdx,%rax), %ebx
cmpl $0x1000, %ebx           # imm = 0x1000
ja 0x7a8d9
movl %eax, %edi
addq %r12, %rdi
movl %edx, %edx
movl %ebp, %esi
callq 0x4260
testl %r13d, %r13d
je 0x79dfb
cmpl $0xfe, %ebp
jg 0x7a8d9
decl %r13d
incl %ebp
jmp 0x79e0e
incl %ebp
movzbl (%r15), %eax
cmpl %eax, %ebp
jne 0x79e1c
movzbl 0x1(%r15), %r13d
addq $0x2, %r15
movl %ebp, %eax
movl %eax, %ebp
testl %eax, %eax
jne 0x79d5d
jmp 0x79e2b
incq %r15
xorl %r13d, %r13d
jmp 0x79e10
movl $0x1000, %edx           # imm = 0x1000
jmp 0x79db0
cmpl $0xfff, %ebx            # imm = 0xFFF
jb 0x7a8d9
movl $0x0, %r12d
movq 0x8(%rsp), %r13
jne 0x79e5d
movq 0x38(%rsp), %rcx
shlq $0xc, %rcx
movb 0xffe(%r13,%rcx), %al
movb %al, 0xfff(%r13,%rcx)
movl 0x40(%rsp), %edx
testl %edx, %edx
movl 0x28(%rsp), %esi
je 0x79e82
cmpl $0xfe, %esi
jg 0x7a8e1
decl %edx
incl %esi
movl %esi, %eax
movq 0x18(%rsp), %rcx
jmp 0x79ea3
incl %esi
movzbl (%r15), %eax
cmpl %eax, %esi
movq 0x18(%rsp), %rcx
jne 0x79e9e
movzbl 0x1(%r15), %edx
addq $0x2, %r15
movl %esi, %eax
jmp 0x79ea3
incq %r15
xorl %edx, %edx
movl %eax, %esi
testl %eax, %eax
jne 0x79d14
xorl %eax, %eax
pcmpeqd %xmm0, %xmm0
movdqa 0x80(%rsp,%rax,2), %xmm1
movdqa %xmm1, %xmm2
pcmpeqw %xmm0, %xmm2
pandn %xmm1, %xmm2
movdqa %xmm2, 0x80(%rsp,%rax,2)
addq $0x8, %rax
cmpq $0x100, %rax            # imm = 0x100
jne 0x79eb3
cmpq 0x20(%rsp), %r15
ja 0x79f00
movl (%r15), %r12d
cmpq $0x800000, %r12         # imm = 0x800000
jb 0x79f00
movl 0x4(%r15), %eax
cmpq $0x800000, %rax         # imm = 0x800000
jae 0x7a459
xorl %r12d, %r12d
jmp 0x7a8e1
cmpl $0x1a, %esi
jb 0x7a0b4
addl $-0x9, %esi
xorl %r12d, %r12d
cmpl %esi, 0x1(%r15)
jne 0x7a0b7
movzbl 0x5(%r15), %r13d
movzbl 0x6(%r15), %eax
shll $0x8, %eax
movzwl 0x7(%r15), %ebp
shll $0x10, %ebp
orl %eax, %ebp
orl %r13d, %ebp
cmpl $0x7ffffffe, %ebp       # imm = 0x7FFFFFFE
ja 0x7a0b7
movl %ebp, %edi
callq 0x4680
xorl %ecx, %ecx
testq %rax, %rax
je 0x7a0b4
movq %rax, %r12
movzbl 0x9(%r15), %esi
addq $0xa, %r15
leaq -0x10(%rbx), %rax
xorl %edx, %edx
cmpq %rax, %r15
ja 0x7a0ac
movl %ecx, %r8d
movzbl (%r15), %edi
testb %dil, %dil
js 0x79f85
incq %r15
jmp 0x79f98
andl $0x7f, %edi
shll $0x8, %edi
movzbl 0x1(%r15), %ecx
addq $0x2, %r15
orl %edi, %ecx
movl %ecx, %edi
leal (%rdi,%r8), %ecx
cmpl $0x1000, %ecx           # imm = 0x1000
ja 0x7a0ac
testl %edi, %edi
je 0x79feb
movl %r8d, %r11d
movl %edi, %r8d
leaq (%rsp,%r11,4), %r9
addq $0x80, %r9
leaq (%rsp,%r11,2), %r10
addq $0x6100, %r10           # imm = 0x6100
leaq (%rsp,%r11,2), %r11
addq $0x40c0, %r11           # imm = 0x40C0
xorl %ebx, %ebx
movw %si, (%r11,%rbx,2)
movw %di, (%r10,%rbx,2)
movl %ebx, (%r9,%rbx,4)
incq %rbx
cmpq %rbx, %r8
jne 0x79fd5
testl %edx, %edx
je 0x7a005
cmpl $0xfe, %esi
movq (%rsp), %rbx
jg 0x7a0ac
decl %edx
incl %esi
jmp 0x7a01c
incl %esi
movzbl (%r15), %edi
cmpl %edi, %esi
movq (%rsp), %rbx
jne 0x7a02a
movzbl 0x1(%r15), %edx
addq $0x2, %r15
movl %esi, %edi
movl %edi, %esi
testl %edi, %edi
jne 0x79f6b
jmp 0x7a031
incq %r15
xorl %edx, %edx
jmp 0x7a01e
cmpl $0xfff, %ecx            # imm = 0xFFF
jb 0x7a0ac
cmpl $0x1000, %ecx           # imm = 0x1000
je 0x7a076
leal -0x1(%rcx), %edx
movzwl 0x40c0(%rsp,%rdx,2), %esi
movl %ecx, %ecx
movw %si, 0x40c0(%rsp,%rcx,2)
movzwl 0x6100(%rsp,%rdx,2), %esi
movw %si, 0x6100(%rsp,%rcx,2)
movl 0x80(%rsp,%rdx,4), %edx
incl %edx
movl %edx, 0x80(%rsp,%rcx,4)
cmpq %rax, %r15
ja 0x7a0ac
movl (%r15), %ecx
cmpl $0x800000, %ecx         # imm = 0x800000
jb 0x7a0ac
movl 0x4(%r15), %edi
cmpl $0x800000, %edi         # imm = 0x800000
jb 0x7a0ac
movl 0x8(%r15), %r9d
cmpl $0x800000, %r9d         # imm = 0x800000
jb 0x7a0ac
movl 0xc(%r15), %r11d
cmpl $0x800000, %r11d        # imm = 0x800000
jae 0x7a0cc
movq %r12, %rdi
callq 0x45c0
xorl %r12d, %r12d
movq %r12, %rax
addq $0x8148, %rsp           # imm = 0x8148
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %r13, 0x8(%rsp)
movq %r14, 0x48(%rsp)
movl %ebp, 0x18(%rsp)
movl %ebp, %edx
andl $0x7ffffffc, %edx       # imm = 0x7FFFFFFC
movq %rdx, 0x40(%rsp)
movl %edx, %eax
movq %rax, 0x30(%rsp)
je 0x7a3eb
leaq -0x8(%rbx), %rax
movq %rax, 0x20(%rsp)
addq $0x10, %r15
xorl %r13d, %r13d
movl $0xfff, %r14d           # imm = 0xFFF
movq %r12, %rsi
movl %ecx, %r12d
andl %r14d, %r12d
movzwl 0x6100(%rsp,%r12,2), %eax
shrl $0xc, %ecx
imull %eax, %ecx
addl 0x80(%rsp,%r12,4), %ecx
movl %edi, %r8d
andl %r14d, %r8d
movzwl 0x6100(%rsp,%r8,2), %eax
shrl $0xc, %edi
imull %eax, %edi
addl 0x80(%rsp,%r8,4), %edi
movl %r9d, %r10d
andl %r14d, %r10d
movzwl 0x6100(%rsp,%r10,2), %eax
shrl $0xc, %r9d
imull %eax, %r9d
addl 0x80(%rsp,%r10,4), %r9d
movl %r11d, %ebp
andl %r14d, %ebp
movzwl 0x6100(%rsp,%rbp,2), %eax
shrl $0xc, %r11d
imull %eax, %r11d
addl 0x80(%rsp,%rbp,4), %r11d
cmpq 0x20(%rsp), %r15
jae 0x7a298
movzbl (%r15), %eax
movl %ecx, %edx
shll $0x8, %edx
orl %eax, %edx
cmpl $0x800000, %ecx         # imm = 0x800000
cmovbl %edx, %ecx
adcq $0x0, %r15
movl %edi, %edx
shll $0x8, %edx
cmpl $0x800000, %ecx         # imm = 0x800000
jae 0x7a1c1
movzbl (%r15), %eax
shll $0x8, %ecx
orl %eax, %ecx
addq $0x1, %r15
movzbl (%r15), %eax
orl %eax, %edx
cmpl $0x800000, %edi         # imm = 0x800000
cmovbl %edx, %edi
adcq $0x0, %r15
cmpl $0x800000, %edi         # imm = 0x800000
jae 0x7a1e9
movzbl (%r15), %eax
shll $0x8, %edi
orl %eax, %edi
addq $0x1, %r15
movzbl (%r15), %eax
movl %r9d, %edx
shll $0x8, %edx
orl %eax, %edx
cmpl $0x800000, %r9d         # imm = 0x800000
cmovbl %edx, %r9d
adcq $0x0, %r15
movl %r11d, %edx
shll $0x8, %edx
cmpl $0x800000, %r9d         # imm = 0x800000
jae 0x7a222
movzbl (%r15), %eax
shll $0x8, %r9d
orl %eax, %r9d
addq $0x1, %r15
movzbl (%r15), %eax
orl %eax, %edx
cmpl $0x800000, %r11d        # imm = 0x800000
cmovbl %edx, %r11d
adcq $0x0, %r15
cmpl $0x800000, %r11d        # imm = 0x800000
jae 0x7a24f
movzbl (%r15), %eax
shll $0x8, %r11d
orl %eax, %r11d
addq $0x1, %r15
movb 0x40c0(%rsp,%r12,2), %al
movq %rsi, %r12
movb %al, (%rsi,%r13)
movb 0x40c0(%rsp,%r8,2), %al
movb %al, 0x1(%rsi,%r13)
movb 0x40c0(%rsp,%r10,2), %al
movb %al, 0x2(%rsi,%r13)
movb 0x40c0(%rsp,%rbp,2), %al
movb %al, 0x3(%rsi,%r13)
addq $0x4, %r13
cmpq 0x30(%rsp), %r13
jb 0x7a10a
jmp 0x7a3eb
cmpl $0x7fffff, %ecx         # imm = 0x7FFFFF
ja 0x7a2e5
cmpq %rbx, %r15
jae 0x7a2e5
movl %ecx, %ebx
shll $0x8, %ebx
leaq 0x1(%r15), %rdx
movzbl (%r15), %eax
orl %ebx, %eax
cmpl $0x7fff, %ecx           # imm = 0x7FFF
ja 0x7a2dc
movq (%rsp), %rbx
cmpq %rbx, %rdx
jae 0x7a2d5
shll $0x8, %eax
movzbl 0x1(%r15), %ecx
addq $0x2, %r15
orl %eax, %ecx
jmp 0x7a2e5
movq %rdx, %r15
movl %eax, %ecx
jmp 0x7a2e5
movq %rdx, %r15
movl %eax, %ecx
movq (%rsp), %rbx
cmpl $0x7fffff, %edi         # imm = 0x7FFFFF
ja 0x7a332
cmpq %rbx, %r15
jae 0x7a332
movl %edi, %ebx
shll $0x8, %ebx
leaq 0x1(%r15), %rdx
movzbl (%r15), %eax
orl %ebx, %eax
cmpl $0x7fff, %edi           # imm = 0x7FFF
ja 0x7a329
movq (%rsp), %rbx
cmpq %rbx, %rdx
jae 0x7a322
shll $0x8, %eax
movzbl 0x1(%r15), %edi
addq $0x2, %r15
orl %eax, %edi
jmp 0x7a332
movq %rdx, %r15
movl %eax, %edi
jmp 0x7a332
movq %rdx, %r15
movl %eax, %edi
movq (%rsp), %rbx
cmpl $0x7fffff, %r9d         # imm = 0x7FFFFF
ja 0x7a385
cmpq %rbx, %r15
jae 0x7a385
movl %r9d, %ebx
shll $0x8, %ebx
leaq 0x1(%r15), %rdx
movzbl (%r15), %eax
orl %ebx, %eax
cmpl $0x7fff, %r9d           # imm = 0x7FFF
ja 0x7a37b
movq (%rsp), %rbx
cmpq %rbx, %rdx
jae 0x7a373
shll $0x8, %eax
movzbl 0x1(%r15), %r9d
addq $0x2, %r15
orl %eax, %r9d
jmp 0x7a385
movq %rdx, %r15
movl %eax, %r9d
jmp 0x7a385
movq %rdx, %r15
movl %eax, %r9d
movq (%rsp), %rbx
cmpl $0x7fffff, %r11d        # imm = 0x7FFFFF
ja 0x7a24f
cmpq %rbx, %r15
jae 0x7a24f
movl %r11d, %ebx
shll $0x8, %ebx
leaq 0x1(%r15), %rdx
movzbl (%r15), %eax
orl %ebx, %eax
cmpl $0x7fff, %r11d          # imm = 0x7FFF
ja 0x7a3dc
movq (%rsp), %rbx
cmpq %rbx, %rdx
jae 0x7a3d1
shll $0x8, %eax
movzbl 0x1(%r15), %r11d
addq $0x2, %r15
orl %eax, %r11d
jmp 0x7a24f
movq %rdx, %r15
movl %eax, %r11d
jmp 0x7a24f
movq %rdx, %r15
movl %eax, %r11d
movq (%rsp), %rbx
jmp 0x7a24f
movq 0x8(%rsp), %rdx
andl $0x3, %edx
leaq 0x2623e(%rip), %rax     # 0xa0638
movslq (%rax,%rdx,4), %rdx
addq %rax, %rdx
jmpq *%rdx
andl $0xfff, %r9d            # imm = 0xFFF
movb 0x40c0(%rsp,%r9,2), %al
movq 0x30(%rsp), %rdx
movb %al, 0x2(%r12,%rdx)
andl $0xfff, %edi            # imm = 0xFFF
movb 0x40c0(%rsp,%rdi,2), %al
movq 0x30(%rsp), %rdx
movb %al, 0x1(%r12,%rdx)
andl $0xfff, %ecx            # imm = 0xFFF
movb 0x40c0(%rsp,%rcx,2), %al
movq 0x40(%rsp), %rcx
movb %al, (%r12,%rcx)
movq 0x48(%rsp), %rax
movl 0x18(%rsp), %ecx
movl %ecx, (%rax)
jmp 0x7a0b7
movq %rax, %rbx
movl 0x8(%r15), %eax
cmpq $0x800000, %rax         # imm = 0x800000
jb 0x7a8d9
movq %rax, %r14
movl 0xc(%r15), %eax
cmpq $0x800000, %rax         # imm = 0x800000
jb 0x7a8d9
movq %rax, %rbp
movl 0x14(%rsp), %edi
movq %rdi, 0x50(%rsp)
callq 0x4680
movq %rax, 0x28(%rsp)
testq %rax, %rax
je 0x7a8d9
addq $0x10, %r15
cmpl $0x4, 0x14(%rsp)
jb 0x7a8ee
movq (%rsp), %rax
addq $-0x8, %rax
movq %rax, 0x78(%rsp)
movswq 0x80(%rsp), %rax
shlq $0xc, %rax
addq 0x8(%rsp), %rax
movl $0xfff, %ecx            # imm = 0xFFF
movq %rbp, %r8
andq %rcx, %r8
addq %rax, %r8
movq %r14, %rdi
movq %r14, 0x18(%rsp)
andq %rcx, %rdi
addq %rax, %rdi
movq %rbx, %r13
movq %rbx, %r9
andq %rcx, %r9
addq %rax, %r9
movq %r12, %rsi
movq %r12, %r10
andq %rcx, %r10
addq %rax, %r10
movq 0x50(%rsp), %rax
movl %eax, %ecx
shrl $0x2, %ecx
leal (%rcx,%rcx,2), %eax
movl %eax, 0x38(%rsp)
leaq (%rcx,%rcx,2), %rdx
movq 0x28(%rsp), %rax
addq %rax, %rdx
movq %rdx, 0x68(%rsp)
leaq (%rax,%rcx,2), %rdx
movq %rdx, 0x60(%rsp)
addq %rcx, %rax
movq %rax, 0x58(%rsp)
cmpq $0x1, %rcx
adcq $0x0, %rcx
movq %rcx, 0x70(%rsp)
xorl %r12d, %r12d
movl $0xfff, %r11d           # imm = 0xFFF
movq $0x0, 0x20(%rsp)
xorl %edx, %edx
xorl %ebx, %ebx
xorl %r14d, %r14d
movzbl (%r8), %r8d
movzbl (%rdi), %edi
movzbl (%r9), %r9d
movzbl (%r10), %r10d
movq 0x28(%rsp), %rax
movb %r10b, (%rax,%r12)
movq 0x58(%rsp), %rax
movb %r9b, (%rax,%r12)
movq 0x60(%rsp), %rax
movb %dil, (%rax,%r12)
movq 0x68(%rsp), %rax
movq %r12, 0x40(%rsp)
movb %r8b, (%rax,%r12)
movl %r14d, %r14d
shlq $0xb, %r14
movq 0x30(%rsp), %rcx
addq %rcx, %r14
movl %ebx, %ebx
shlq $0xb, %rbx
movl %esi, %r12d
shrl $0xc, %r12d
imull (%r14,%r10,8), %r12d
addq %rcx, %rbx
andl %r11d, %esi
subl 0x4(%r14,%r10,8), %esi
movl %r13d, %r14d
shrl $0xc, %r14d
imull (%rbx,%r9,8), %r14d
addl %r12d, %esi
andl %r11d, %r13d
subl 0x4(%rbx,%r9,8), %r13d
movl %edx, %edx
shlq $0xb, %rdx
addq %rcx, %rdx
addl %r14d, %r13d
movq 0x18(%rsp), %r14
movl %r14d, %ebx
shrl $0xc, %ebx
imull (%rdx,%rdi,8), %ebx
andl %r11d, %r14d
subl 0x4(%rdx,%rdi,8), %r14d
movl 0x20(%rsp), %eax
shlq $0xb, %rax
addq %rcx, %rax
addl %ebx, %r14d
movl %ebp, %edx
shrl $0xc, %edx
imull (%rax,%r8,8), %edx
andl %r11d, %ebp
subl 0x4(%rax,%r8,8), %ebp
addl %edx, %ebp
cmpq 0x78(%rsp), %r15
movq %rbp, %rcx
movq %r14, %r11
jae 0x7a78e
movzbl (%r15), %eax
movl %esi, %edx
shll $0x8, %edx
orl %eax, %edx
cmpl $0x800000, %esi         # imm = 0x800000
cmovbl %edx, %esi
adcq $0x0, %r15
movl %r13d, %edx
shll $0x8, %edx
cmpl $0x800000, %esi         # imm = 0x800000
jae 0x7a65d
movzbl (%r15), %eax
shll $0x8, %esi
orl %eax, %esi
addq $0x1, %r15
movzbl (%r15), %eax
orl %eax, %edx
cmpl $0x800000, %r13d        # imm = 0x800000
cmovbl %edx, %r13d
adcq $0x0, %r15
cmpl $0x800000, %r13d        # imm = 0x800000
jae 0x7a68a
movzbl (%r15), %eax
shll $0x8, %r13d
orl %eax, %r13d
addq $0x1, %r15
movzbl (%r15), %eax
movl %r11d, %edx
shll $0x8, %edx
orl %eax, %edx
cmpl $0x800000, %r11d        # imm = 0x800000
cmovbl %edx, %r11d
adcq $0x0, %r15
movl %ecx, %edx
shll $0x8, %edx
cmpl $0x800000, %r11d        # imm = 0x800000
jae 0x7a6c2
movzbl (%r15), %eax
shll $0x8, %r11d
orl %eax, %r11d
addq $0x1, %r15
movzbl (%r15), %eax
orl %eax, %edx
cmpl $0x800000, %ecx         # imm = 0x800000
cmovbl %edx, %ecx
adcq $0x0, %r15
cmpl $0x800000, %ecx         # imm = 0x800000
jae 0x7a6ea
movzbl (%r15), %eax
shll $0x8, %ecx
orl %eax, %ecx
addq $0x1, %r15
movl $0xfff, %ebp            # imm = 0xFFF
movswl 0x80(%rsp,%r10,2), %r14d
movswl 0x80(%rsp,%r9,2), %ebx
movswl 0x80(%rsp,%rdi,2), %edx
movswl 0x80(%rsp,%r8,2), %r12d
movq %r14, %rdi
shlq $0xc, %rdi
movq 0x8(%rsp), %rax
addq %rax, %rdi
movl %esi, %r10d
andl %ebp, %r10d
addq %rdi, %r10
movq %rbx, %rdi
shlq $0xc, %rdi
addq %rax, %rdi
movl %r13d, %r9d
andl %ebp, %r9d
addq %rdi, %r9
movq %rdx, %r8
shlq $0xc, %r8
addq %rax, %r8
movq %r11, 0x18(%rsp)
movl %r11d, %edi
andl %ebp, %edi
addq %r8, %rdi
movq %r12, 0x20(%rsp)
shlq $0xc, %r12
addq %rax, %r12
movl %ecx, %r8d
andl %ebp, %r8d
addq %r12, %r8
movq 0x40(%rsp), %r12
incq %r12
incl 0x38(%rsp)
cmpq %r12, 0x70(%rsp)
movl $0xfff, %r11d           # imm = 0xFFF
movq %rcx, %rbp
jne 0x7a559
jmp 0x7a907
cmpl $0x7fffff, %esi         # imm = 0x7FFFFF
movl $0xfff, %ebp            # imm = 0xFFF
ja 0x7a7e0
movq (%rsp), %rbx
cmpq %rbx, %r15
jae 0x7a7e4
movl %esi, %ebx
shll $0x8, %ebx
leaq 0x1(%r15), %rdx
movzbl (%r15), %eax
orl %ebx, %eax
cmpl $0x7fff, %esi           # imm = 0x7FFF
ja 0x7a7db
movq (%rsp), %rbx
cmpq %rbx, %rdx
jae 0x7a7d4
shll $0x8, %eax
movzbl 0x1(%r15), %esi
addq $0x2, %r15
orl %eax, %esi
jmp 0x7a7e4
movq %rdx, %r15
movl %eax, %esi
jmp 0x7a7e4
movq %rdx, %r15
movl %eax, %esi
movq (%rsp), %rbx
cmpl $0x7fffff, %r13d        # imm = 0x7FFFFF
ja 0x7a837
cmpq %rbx, %r15
jae 0x7a837
movl %r13d, %ebx
shll $0x8, %ebx
leaq 0x1(%r15), %rdx
movzbl (%r15), %eax
orl %ebx, %eax
cmpl $0x7fff, %r13d          # imm = 0x7FFF
ja 0x7a82d
movq (%rsp), %rbx
cmpq %rbx, %rdx
jae 0x7a825
shll $0x8, %eax
movzbl 0x1(%r15), %r13d
addq $0x2, %r15
orl %eax, %r13d
jmp 0x7a837
movq %rdx, %r15
movl %eax, %r13d
jmp 0x7a837
movq %rdx, %r15
movl %eax, %r13d
movq (%rsp), %rbx
cmpl $0x7fffff, %r11d        # imm = 0x7FFFFF
ja 0x7a88a
cmpq %rbx, %r15
jae 0x7a88a
movl %r11d, %ebx
shll $0x8, %ebx
leaq 0x1(%r15), %rdx
movzbl (%r15), %eax
orl %ebx, %eax
cmpl $0x7fff, %r11d          # imm = 0x7FFF
ja 0x7a880
movq (%rsp), %rbx
cmpq %rbx, %rdx
jae 0x7a878
shll $0x8, %eax
movzbl 0x1(%r15), %r11d
addq $0x2, %r15
orl %eax, %r11d
jmp 0x7a88a
movq %rdx, %r15
movl %eax, %r11d
jmp 0x7a88a
movq %rdx, %r15
movl %eax, %r11d
movq (%rsp), %rbx
cmpl $0x7fffff, %ecx         # imm = 0x7FFFFF
ja 0x7a6ef
cmpq %rbx, %r15
jae 0x7a6ef
movl %ecx, %ebx
shll $0x8, %ebx
leaq 0x1(%r15), %rdx
movzbl (%r15), %eax
orl %ebx, %eax
cmpl $0x7fff, %ecx           # imm = 0x7FFF
ja 0x7a8cf
cmpq (%rsp), %rdx
jae 0x7a8cf
shll $0x8, %eax
movzbl 0x1(%r15), %ecx
addq $0x2, %r15
orl %eax, %ecx
jmp 0x7a6ef
movq %rdx, %r15
movl %eax, %ecx
jmp 0x7a6ef
xorl %r12d, %r12d
movq 0x8(%rsp), %r13
movq %r13, %rdi
callq 0x7e26a
jmp 0x7a0b7
movl 0x14(%rsp), %eax
movl %eax, %ecx
shrl $0x2, %ecx
leal (%rcx,%rcx,2), %eax
movl %eax, 0x38(%rsp)
movq $0x0, 0x20(%rsp)
movl 0x38(%rsp), %eax
cmpl 0x14(%rsp), %eax
movq 0x28(%rsp), %r12
movq 0x20(%rsp), %rax
jae 0x7a9be
movq %rbp, %rsi
movl 0x38(%rsp), %ecx
movl %eax, %edx
movq %rdx, %rax
shlq $0xc, %rax
addq 0x8(%rsp), %rax
movq %rsi, %rdi
andl $0xfff, %esi            # imm = 0xFFF
movzbl (%rsi,%rax), %eax
movb %al, (%r12,%rcx)
shlq $0xb, %rdx
addq 0x30(%rsp), %rdx
shrl $0xc, %edi
imull (%rdx,%rax,8), %edi
addl %esi, %edi
subl 0x4(%rdx,%rax,8), %edi
movq %rdi, %rsi
cmpl $0x7fffff, %edi         # imm = 0x7FFFFF
ja 0x7a9a8
cmpq (%rsp), %r15
jae 0x7a9a8
movq %rsi, %r8
movl %r8d, %edi
shll $0x8, %edi
leaq 0x1(%r15), %rsi
movzbl (%r15), %edx
orl %edi, %edx
cmpl $0x7fff, %r8d           # imm = 0x7FFF
ja 0x7a99e
cmpq (%rsp), %rsi
jae 0x7a99e
shll $0x8, %edx
movzbl 0x1(%r15), %esi
addq $0x2, %r15
orl %edx, %esi
jmp 0x7a9a3
movq %rsi, %r15
movl %edx, %esi
movq 0x28(%rsp), %r12
movswl 0x80(%rsp,%rax,2), %eax
incq %rcx
cmpq %rcx, 0x50(%rsp)
jne 0x7a926
movq 0x48(%rsp), %rax
movl 0x14(%rsp), %ecx
movl %ecx, (%rax)
jmp 0x7a8dc
nop