// File: /workspace/github_c_makefile_star2_O3/oridb[P]mc/parse/infer.c
// Function: infer
void
infer(void)
{
	size_t i;

	delayed = mkht(tyhash, tyeq);
	initimpl();

	/* do the inference */
	pushstab(file.globls);
	inferstab(file.globls);
	for (i = 0; i < file.nstmts; i++)
		infernode(&file.stmts[i], NULL, 0);
	popstab();
	postinfer();

	/* and replace type vars with actual types */
	pushstab(file.globls);
	stabsub(file.globls);
	for (i = 0; i < file.nstmts; i++)
		typesub(file.stmts[i], 0);
	popstab();

	specialize();
	verify();
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
leaq 0xc3a5(%rip), %rdi      # 0x239d8
leaq 0xca02(%rip), %rsi      # 0x2403c
callq 0x2d678
movq %rax, 0x4a15a(%rip)     # 0x617a0
leaq 0x49c2b(%rip), %r15     # 0x61278
movq 0x90(%r15), %rdi
callq 0x1fe30
movl $0x128, %edi            # imm = 0x128
callq 0x2ce48
movq %rax, 0x4a146(%rip)     # 0x617b0
xorl %r14d, %r14d
leaq 0x4a14c(%rip), %rbx     # 0x617c0
callq 0x2d13c
movq %rax, (%r14,%rbx)
addq $0x8, %r14
cmpq $0xf8, %r14
jne 0x17674
movq 0x4a147(%rip), %rdi     # 0x617d8
xorl %esi, %esi
callq 0x2d369
movq 0x4a139(%rip), %rdi     # 0x617d8
movl $0x1, %esi
callq 0x2d369
movq 0x4a158(%rip), %rdi     # 0x61808
xorl %esi, %esi
callq 0x2d369
movq 0x4a14a(%rip), %rdi     # 0x61808
movl $0x1, %esi
callq 0x2d369
movl $0x4, %r14d
movq (%rbx,%r14,8), %rdi
xorl %esi, %esi
callq 0x2d369
movq (%rbx,%r14,8), %rdi
movl $0x1, %esi
callq 0x2d369
incq %r14
cmpq $0xf, %r14
jne 0x176ce
movq 0x4a141(%rip), %rdi     # 0x61838
xorl %r14d, %r14d
xorl %esi, %esi
callq 0x2d369
movq 0x4a130(%rip), %rdi     # 0x61838
movl $0x2, %esi
callq 0x2d369
movq 0x4a127(%rip), %rdi     # 0x61840
xorl %esi, %esi
callq 0x2d369
movq 0x4a119(%rip), %rdi     # 0x61840
movl $0x2, %esi
callq 0x2d369
movq 0x4a118(%rip), %rdi     # 0x61850
movl $0x4, %esi
callq 0x2d369
movq 0x4a117(%rip), %rdi     # 0x61860
movl $0x3, %esi
callq 0x2d369
movq 0x4a106(%rip), %rdi     # 0x61860
movl $0x4, %esi
callq 0x2d369
movq 0x4a0f5(%rip), %rdi     # 0x61860
movl $0x6, %esi
callq 0x2d369
movq 0x4a0ec(%rip), %rdi     # 0x61868
movl $0x3, %esi
callq 0x2d369
movq 0x4a0db(%rip), %rdi     # 0x61868
movl $0x4, %esi
callq 0x2d369
movq 0x4a0ca(%rip), %rdi     # 0x61868
movl $0x6, %esi
callq 0x2d369
movq 0x4a0a9(%rip), %rdi     # 0x61858
movl $0x5, %esi
callq 0x2d369
callq 0x19823
movq 0x49feb(%rip), %rcx     # 0x617b0
movq %rax, 0x8(%rcx,%r14)
movq (%rax), %rdi
movq (%r14,%rbx), %rsi
callq 0x2d3f9
addq $0x8, %r14
cmpq $0xf8, %r14
jne 0x177b9
leaq 0x4aa26(%rip), %rax     # 0x62210
cmpq $0x0, (%rax)
je 0x17a38
xorl %r13d, %r13d
leaq 0x1e1c2(%rip), %rbx     # 0x359c0
leaq 0x4aa03(%rip), %rax     # 0x62208
movq (%rax), %rax
movq (%rax,%r13,8), %r12
movq 0x20(%r12), %r14
testq %r14, %r14
jne 0x17861
movq 0x18(%r12), %r14
movq 0x18(%r14), %rdi
testq %rdi, %rdi
je 0x1782e
callq 0x1ffef
movq %rax, %rdi
jmp 0x17835
movq 0x90(%r15), %rdi
testq %rdi, %rdi
je 0x184ed
movq %r14, %rsi
callq 0x20429
testq %rax, %rax
je 0x184ed
movq %rax, %r14
movq 0x28(%rax), %rax
cmpq 0x40(%r12), %rax
jne 0x185e9
movq %r13, 0x8(%rsp)
movq 0x38(%r12), %rdi
callq 0x1ff19
movq %r12, (%rsp)
movq 0x28(%r12), %rdi
callq 0x19640
movq 0x49f2b(%rip), %r13     # 0x617b0
movq %rax, %r12
movq %rax, 0x18(%rsp)
movl (%r12), %eax
movq 0x8(%r13,%rax,8), %rbp
testq %rbp, %rbp
jne 0x178ac
callq 0x19823
movq %rax, %rbp
movl (%r12), %eax
movq %rbp, 0x8(%r13,%rax,8)
addl $-0x12, %eax
cmpl $0xb, %eax
ja 0x17965
movslq (%rbx,%rax,4), %rax
addq %rbx, %rax
jmpq *%rax
movq 0x68(%r12), %rax
movq (%rax), %r12
movq %rbp, %r13
jmp 0x1788d
movl $0x1, %r15d
cmpq $0x1b, %r15
je 0x17920
movq (%r13,%r15,8), %rbp
testq %rbp, %rbp
jne 0x178f1
callq 0x19823
movq %rax, %rbp
movq %rax, (%r13,%r15,8)
leaq 0x108(%rbp), %rdi
leaq 0x110(%rbp), %rsi
movq %r12, %rdx
callq 0x2ceff
leaq 0x118(%rbp), %rdi
addq $0x120, %rbp            # imm = 0x120
movq %rbp, %rsi
movq %r14, %rdx
callq 0x2ceff
incq %r15
cmpq $0x20, %r15
jne 0x178d4
jmp 0x179f1
cmpq $0x0, 0x38(%r12)
je 0x1797a
leaq 0x108(%rbp), %rdi
leaq 0x110(%r13), %rsi
movq %r12, %rdx
callq 0x2ceff
addq $0x118, %rbp            # imm = 0x118
addq $0x120, %r13            # imm = 0x120
movq %rbp, %rdi
movq %r13, %rsi
jmp 0x179e9
movq %r12, %rdi
callq 0x23017
testl %eax, %eax
je 0x179c2
movq (%rbp), %rdi
movslq (%r14), %rsi
jmp 0x179bb
movq 0x100(%rbp), %rdi
movq 0x88(%r12), %rsi
callq 0x2d8fa
movq %rax, %r13
testq %rax, %rax
jne 0x179b5
callq 0x2d13c
movq %rax, %r13
movq 0x100(%rbp), %rdi
movq 0x88(%r12), %rsi
movq %rax, %rdx
callq 0x2d71e
movslq (%r14), %rsi
movq %r13, %rdi
callq 0x2d369
jmp 0x179f1
leaq 0x108(%rbp), %rdi
leaq 0x110(%rbp), %rsi
movq %r12, %rdx
callq 0x2ceff
leaq 0x118(%rbp), %rdi
addq $0x120, %rbp            # imm = 0x120
movq %rbp, %rsi
movq %r14, %rdx
callq 0x2ceff
cmpl $0x6, (%r14)
movq (%rsp), %r14
jne 0x17a10
movq 0x30(%r14), %rax
movq (%rax), %rdi
callq 0x19640
movq 0x18(%rsp), %rcx
movq %rax, 0x28(%rcx)
movq 0x38(%r14), %rdi
callq 0x1ff64
movq 0x8(%rsp), %r13
incq %r13
leaq 0x4a7e8(%rip), %rax     # 0x62210
cmpq (%rax), %r13
leaq 0x49846(%rip), %r15     # 0x61278
jb 0x177fe
callq 0x1fe76
movq 0x90(%r15), %rdi
callq 0x1fe30
movq 0x90(%r15), %rdi
callq 0x18686
cmpq $0x0, 0x48(%r15)
je 0x17a7e
xorl %ebx, %ebx
xorl %r14d, %r14d
movq 0x40(%r15), %rdi
addq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x187ee
incq %r14
addq $0x8, %rbx
cmpq 0x48(%r15), %r14
jb 0x17a61
callq 0x1fe76
movq 0x49ea6(%rip), %rax     # 0x61930
xorl %edx, %edx
xorl %ecx, %ecx
movq %rcx, 0x10(%rsp)
movq %rcx, 0x20(%rsp)
movl $0x0, %ecx
testq %rax, %rax
movl $0x0, %eax
je 0x1802f
movq %rdx, 0x18(%rsp)
xorl %r12d, %r12d
movq 0x49e6e(%rip), %rax     # 0x61928
movq (%rax,%r12,8), %rax
movq (%rax), %r13
movq 0x8(%rax), %rdi
callq 0x1fe30
movq 0x49e57(%rip), %rax     # 0x61928
movq (%rax,%r12,8), %rax
movq 0x10(%rax), %rdi
callq 0x1ff19
movl 0x8(%r13), %eax
cmpl $0x4, %eax
je 0x17b76
cmpl $0x8, %eax
jne 0x17ff2
movq %r13, %rdi
callq 0x1d422
cmpl $0x32, %eax
jg 0x17bb6
leal -0x2a(%rax), %ecx
cmpl $0x2, %ecx
jae 0x17dbe
movq 0x50(%r13), %rax
movq (%rax), %r14
movq 0x8(%rax), %rbp
movl 0x18(%r13), %r15d
movq %r14, %rdi
callq 0x1b51f
movq %rax, %rdi
callq 0x19640
movq %rax, %rdi
callq 0x227ac
movq %rax, %rbx
cmpl $0x2a, %r15d
jne 0x17ebb
movl (%rbx), %eax
movl %eax, %ecx
andl $-0x2, %ecx
cmpl $0x14, %ecx
jne 0x17e4b
movq %r13, %rbx
movq %r14, (%rsp)
movq %rbp, %r13
movq %rbp, %rdi
callq 0x1e4eb
movq %rax, %rdi
leaq 0x20ee7(%rip), %rsi     # 0x38a58
jmp 0x17e6c
movq 0x20(%r13), %rdi
callq 0x1b51f
movq %rax, %rbx
movq 0x18(%r13), %rdi
callq 0x1b51f
movq %rax, (%rsp)
testq %rbx, %rbx
je 0x17cb3
leaq 0x4a631(%rip), %rax     # 0x621d0
movq (%rax), %rax
movq %rbx, %rbp
movl 0x4(%rbx), %ecx
movq (%rax,%rcx,8), %rbx
testq %rbx, %rbx
jne 0x17ba2
jmp 0x17cb5
cmpl $0x33, %eax
je 0x17dcc
cmpl $0x38, %eax
jne 0x184b2
movq 0x20(%r13), %rdi
callq 0x19640
movq %rax, %rdi
callq 0x227ac
movq %rax, %rbx
movl (%rax), %eax
cmpl $0x19, %eax
je 0x17ff2
cmpl $0x17, %eax
jne 0x184d5
cmpq $0x0, 0x40(%r13)
je 0x17ff2
movq $0x0, (%rsp)
cmpq $0x0, 0x78(%rbx)
je 0x17eec
movq 0x50(%r13), %rax
movq (%rsp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, 0x8(%rsp)
movq 0x48(%rax), %r15
xorl %r14d, %r14d
movq 0x88(%rbx), %rax
movq (%rax,%r14,8), %rax
movq 0x20(%rax), %rdi
callq 0x1e4eb
movq %rax, %rbp
movq %r15, %rdi
callq 0x1e4eb
movq %rbp, %rdi
movq %rax, %rsi
callq 0x4230
testl %eax, %eax
je 0x17c62
incq %r14
cmpq 0x78(%rbx), %r14
jb 0x17c26
jmp 0x17eec
movq 0x88(%rbx), %rax
movq (%rax,%r14,8), %rdi
callq 0x1b51f
testq %rax, %rax
je 0x17eec
movq %rax, %r15
movq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x1b51f
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1a38c
movq (%rsp), %rcx
incq %rcx
movq %rcx, (%rsp)
cmpq 0x40(%r13), %rcx
jb 0x17c03
jmp 0x17ff2
xorl %ebp, %ebp
cmpq $0x0, 0x28(%rbp)
je 0x17ff2
leaq 0x4a549(%rip), %rax     # 0x62210
movq (%rax), %rcx
testq %rcx, %rcx
je 0x17ff2
leaq 0x4a52e(%rip), %rax     # 0x62208
movq (%rax), %rax
leaq 0x4a514(%rip), %rdx     # 0x621f8
movq (%rdx), %rdx
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
xorl %r14d, %r14d
xorl %r15d, %r15d
movq (%rax,%r14,8), %rsi
movq 0x20(%rsi), %rdi
cmpq 0x30(%rdx), %rdi
jne 0x17d33
movq 0x28(%rsi), %rdi
movq %rbp, %rsi
callq 0x170b6
cmpl %ebx, %eax
cmovgl %eax, %ebx
cmovgq %r14, %r15
leaq 0x4a4ec(%rip), %rax     # 0x62208
movq (%rax), %rax
leaq 0x4a4d2(%rip), %rcx     # 0x621f8
movq (%rcx), %rdx
leaq 0x4a4e0(%rip), %rcx     # 0x62210
movq (%rcx), %rcx
incq %r14
cmpq %rcx, %r14
jb 0x17cf2
testl %ebx, %ebx
js 0x17ff2
movq (%rax,%r15,8), %rax
movq 0x28(%rax), %r14
movq 0x30(%rax), %rax
movq (%rax), %rdi
callq 0x19640
movq %rax, 0x8(%rsp)
callq 0x1e744
movq %rax, %rbx
cmpq $0x0, 0x48(%rbp)
je 0x17d97
xorl %r15d, %r15d
movq 0x40(%r14), %rax
movq (%rax,%r15,8), %rdi
callq 0x19640
movq 0x40(%rbp), %rcx
movq (%rcx,%r15,8), %rdx
movq %rbx, %rdi
movq %rax, %rsi
callq 0x1e6e8
incq %r15
cmpq 0x48(%rbp), %r15
jb 0x17d6e
movq %rbx, %rdi
movq 0x8(%rsp), %rsi
callq 0x1b6e6
movq %rax, %r15
movq %rbx, %rdi
callq 0x1e785
movq %r13, %rdi
movq %r15, %rsi
movq (%rsp), %rdx
jmp 0x17fed
cmpl $0x2e, %eax
je 0x17ff2
jmp 0x184b2
leaq 0x49b95(%rip), %rax     # 0x61968
movq (%rax), %rax
movq 0x38(%r13), %rcx
movq (%rax,%rcx,8), %rbx
movq 0x38(%rbx), %rdi
callq 0x1ff19
movq 0x28(%r13), %rdi
testq %rdi, %rdi
je 0x17e12
movq 0x48(%rbx), %r14
callq 0x19640
movq %r14, %rdi
movq %rax, %rsi
callq 0x2d8fa
testq %rax, %rax
je 0x17e12
movq 0x28(%rax), %r14
testq %r14, %r14
jne 0x17e27
movq %rbx, %rdi
callq 0x1b51f
xorl %edi, %edi
movq %rax, %rsi
callq 0x1b6e6
movq %rax, %r14
movq %r13, %rdi
callq 0x1b51f
movq %r13, %rdi
movq %rax, %rsi
movq %r14, %rdx
callq 0x1a38c
movq 0x38(%rbx), %rdi
callq 0x1ff64
jmp 0x17ff2
cmpl $0x18, %eax
jne 0x17ebb
movq %r13, %rbx
movq %r14, (%rsp)
movq %rbp, %r13
movq %rbp, %rdi
callq 0x1e4eb
movq %rax, %rdi
leaq 0x1ee29(%rip), %rsi     # 0x36c95
callq 0x4230
testl %eax, %eax
jne 0x1846e
movq %rbx, %r14
movq %rbx, %rdi
callq 0x1b51f
leaq 0x4a36d(%rip), %rbx     # 0x621f8
movq (%rbx), %rcx
movq (%rcx), %rdx
movq %r14, %rdi
movq %rax, %rsi
callq 0x1bcb4
movq %r14, %rdi
callq 0x1b51f
movq (%rbx), %rcx
movq 0x8(%rcx), %rdx
movq %r14, %rdi
movq %rax, %rsi
callq 0x1bcb4
jmp 0x17ff2
movq %rbx, %rdi
callq 0x227ac
cmpl $0x12, (%rax)
jne 0x17edf
movq 0x68(%rbx), %rax
movq (%rax), %rdi
callq 0x19640
movq %rax, %rdi
callq 0x227ac
movq %rax, %rbx
movq %rbx, %rdi
callq 0x227ac
cmpl $0x19, (%rax)
jne 0x17f25
movl $0x18, %edi
callq 0x2ce79
movq %rax, %rbx
movq %r13, (%rax)
callq 0x1fdf7
movq %rax, 0x8(%rbx)
callq 0x1fefd
movq %rax, 0x10(%rbx)
leaq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rsi
movq %rbx, %rdx
callq 0x2ceff
jmp 0x17ff2
movq %rbx, %rdi
callq 0x227ac
movl (%rax), %eax
cmpl $0x2a, %r15d
jne 0x17f91
movq %r13, 0x8(%rsp)
movq %r14, (%rsp)
cmpl $0x17, %eax
jne 0x18582
movq %rbp, %r13
cmpq $0x0, 0x78(%rbx)
je 0x1846e
movq 0x88(%rbx), %rbp
xorl %r14d, %r14d
movq %r13, %rdi
callq 0x1e4eb
movq %rax, %r15
movq (%rbp,%r14,8), %rdi
callq 0x1e2ed
movq %r15, %rdi
movq %rax, %rsi
callq 0x4230
testl %eax, %eax
je 0x17fca
incq %r14
cmpq 0x78(%rbx), %r14
jb 0x17f5f
jmp 0x1846e
cmpl $0x16, %eax
jne 0x18563
cmpl $0x9, 0x8(%rbp)
jne 0x185a9
movq 0x30(%rbp), %r14
cmpq 0x70(%rbx), %r14
jae 0x1853b
movq %r13, %rdi
callq 0x1b51f
movq 0x68(%rbx), %rcx
movq (%rcx,%r14,8), %rdx
movq %r13, %rdi
movq %rax, %rsi
jmp 0x17fed
movq 0x8(%rsp), %r15
movq %r15, %rdi
callq 0x1b51f
movq %rax, %rbx
movq (%rbp,%r14,8), %rdi
callq 0x1e31c
movq %r15, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x1a38c
movq 0x4992f(%rip), %rax     # 0x61928
movq (%rax,%r12,8), %rax
movq 0x10(%rax), %rdi
callq 0x1ff64
callq 0x1fe76
incq %r12
movq 0x4991b(%rip), %rax     # 0x61930
cmpq %rax, %r12
jb 0x17ab3
movq 0x20(%rsp), %rcx
leaq 0x4924e(%rip), %r15     # 0x61278
movq 0x18(%rsp), %rdx
cmpq %rdx, %rcx
movq %rcx, %rdx
jne 0x17a8c
movq 0x90(%r15), %rdi
callq 0x1fe30
movq 0x90(%r15), %rbx
movq 0x28(%rbx), %rdi
leaq 0x10(%rsp), %r15
movq %r15, %rsi
callq 0x2da36
movq %rax, %r14
cmpq $0x0, (%r15)
je 0x180c1
xorl %r12d, %r12d
movq (%r14,%r12,8), %rsi
movq %rbx, %rdi
callq 0x20396
testq %rax, %rax
je 0x18097
leaq 0x4a14d(%rip), %rcx     # 0x621d0
movq (%rcx), %rcx
movq %rax, %r15
movl 0x4(%rax), %eax
movq (%rcx,%rax,8), %rax
testq %rax, %rax
jne 0x18086
jmp 0x1809a
xorl %r15d, %r15d
movq (%r14,%r12,8), %rsi
movq %rbx, %rdi
movq %r15, %rdx
callq 0x207ee
movq (%r14,%r12,8), %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x19e9f
incq %r12
cmpq 0x10(%rsp), %r12
jb 0x1806b
movq %r14, %rdi
callq 0x4040
movq 0x18(%rbx), %rdi
leaq 0x10(%rsp), %r15
movq %r15, %rsi
callq 0x2da36
movq %rax, %r14
cmpq $0x0, (%r15)
je 0x18151
xorl %r12d, %r12d
movq (%r14,%r12,8), %rsi
movq %rbx, %rdi
callq 0x20250
movq %rax, %r15
movq 0x38(%rax), %rdi
callq 0x1ff19
movq 0x28(%r15), %rsi
movq %r15, %rdi
xorl %edx, %edx
callq 0x19e9f
movq %rax, 0x28(%r15)
movq 0x38(%r15), %rdi
callq 0x1ff64
cmpb $0x0, 0x72(%r15)
jne 0x18127
cmpb $0x0, 0x73(%r15)
je 0x18147
cmpq $0x0, 0x40(%r15)
jne 0x18147
cmpb $0x0, 0x77(%r15)
jne 0x18147
cmpb $0x0, 0x74(%r15)
jne 0x18147
cmpq $0x0, 0x30(%r15)
je 0x18658
incq %r12
cmpq 0x10(%rsp), %r12
jb 0x180e6
movq %r14, %rdi
callq 0x4040
leaq 0x49118(%rip), %r14     # 0x61278
cmpq $0x0, 0x48(%r14)
je 0x18181
xorl %ebx, %ebx
movq 0x40(%r14), %rax
movq (%rax,%rbx,8), %rdi
xorl %esi, %esi
callq 0x1907f
incq %rbx
cmpq 0x48(%r14), %rbx
jb 0x18169
callq 0x1fe76
cmpq $0x0, 0x497b2(%rip)     # 0x61940
je 0x181d1
xorl %r12d, %r12d
leaq 0x490de(%rip), %rax     # 0x61278
leaq 0x40(%rax), %rbx
leaq 0x48(%rax), %r14
movq 0x4978f(%rip), %rax     # 0x61938
movq (%rax,%r12,8), %r15
movq %rbx, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x2ceff
movq %r15, %rdi
xorl %esi, %esi
callq 0x1907f
incq %r12
cmpq 0x49771(%rip), %r12     # 0x61940
jb 0x181a2
cmpq $0x0, 0x49737(%rip)     # 0x61910
je 0x183c4
xorl %r12d, %r12d
leaq 0x10(%rsp), %rbx
movq 0x4970a(%rip), %rax     # 0x618f8
movq (%rax,%r12,8), %rdi
callq 0x1fe30
movq 0x4970a(%rip), %rax     # 0x61908
movq (%rax,%r12,8), %r14
movl 0x8(%r14), %eax
cmpl $0x8, %eax
jne 0x182e8
movq %r14, %rdi
callq 0x1d422
cmpl $0x1, %eax
jne 0x18290
leaq 0x49fd5(%rip), %rax     # 0x621f8
movq (%rax), %rax
movq 0x38(%rax), %r13
cmpq $0x1, 0x38(%r13)
jne 0x18639
movq %r14, %rdi
callq 0x1e384
movq %rax, %r15
movq (%r14), %rdi
movl $0x1, %esi
callq 0x2289d
movq (%r14), %rdi
xorl %esi, %esi
xorl %edx, %edx
movq %rax, %rcx
callq 0x22d97
movq %rax, %r14
leaq 0x68(%rax), %rdi
leaq 0x70(%rax), %rsi
movq %r15, %rdx
callq 0x2ceff
movq 0x30(%r13), %rax
movq (%rax), %rdi
movq %r15, %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x1f297
movq 0x30(%r13), %rcx
movq (%rcx), %rcx
jmp 0x183a0
movl 0x8(%r14), %eax
cmpl $0x8, %eax
jne 0x182e8
movq %r14, %rdi
callq 0x1d422
cmpl $0x33, %eax
jne 0x182e4
movq 0x4966b(%rip), %rax     # 0x61918
movq (%rax,%r12,8), %rdi
movq 0x20(%r14), %rdx
movq 0x28(%r14), %rsi
movq %rbx, %rcx
callq 0x1f297
movq 0x10(%rsp), %rcx
movq 0x50(%r14), %rdx
movq %rcx, (%rdx)
movq 0x18(%rax), %rcx
movq %rcx, 0x38(%r14)
movq %rax, %rdi
xorl %esi, %esi
callq 0x1907f
jmp 0x183af
movl 0x8(%r14), %eax
cmpl $0x4, %eax
jne 0x1852d
leaq 0x49f00(%rip), %rax     # 0x621f8
movq (%rax), %rax
movq 0x30(%rax), %rbp
cmpq $0x2, 0x38(%rbp)
jne 0x1850e
movq 0x20(%r14), %rdi
callq 0x1e384
cmpl $0x1a, (%rax)
je 0x183af
movq %rax, %r15
movq (%r14), %rdi
movq 0x20(%r14), %r13
movl $0x2, %esi
callq 0x2289d
movq %r13, %rdi
movq %rax, %rsi
callq 0x1d27e
movq 0x30(%rbp), %rcx
movq (%rcx), %rdi
movq %r15, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x1f297
movq 0x30(%rbp), %rcx
movq (%rcx), %rcx
movq 0x48(%rcx), %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x2d71e
movq (%r14), %rdi
movq 0x20(%r14), %r14
movl $0x1, %esi
callq 0x2289d
movq %r14, %rdi
movq %rax, %rsi
callq 0x1d27e
movq 0x30(%rbp), %rcx
movq 0x8(%rcx), %rdi
movq %r15, %rsi
movq %rax, %rdx
movq %rbx, %rcx
callq 0x1f297
movq 0x30(%rbp), %rcx
movq 0x8(%rcx), %rcx
movq 0x48(%rcx), %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x2d71e
callq 0x1fe76
incq %r12
cmpq 0x49552(%rip), %r12     # 0x61910
jb 0x181e7
leaq 0x48ead(%rip), %rbx     # 0x61278
movq 0x90(%rbx), %rdi
callq 0x1fe30
movq 0x48(%rbx), %rax
testq %rax, %rax
je 0x18402
movq 0x40(%rbx), %rcx
xorl %edx, %edx
movq (%rcx,%rdx,8), %rbx
cmpl $0xd, 0x8(%rbx)
jne 0x183fa
cmpb $0x0, 0x5c(%rbx)
jne 0x185c8
incq %rdx
cmpq %rdx, %rax
jne 0x183e6
leaq 0x49ddf(%rip), %rbx     # 0x621e8
cmpq $0x0, (%rbx)
je 0x1845f
xorl %r14d, %r14d
leaq 0x49dbf(%rip), %r15     # 0x621d8
movq (%r15), %rax
movq (%rax,%r14,8), %r12
cmpl $0x15, (%r12)
jne 0x18457
movq 0x88(%r12), %rdi
movl $0x1, %esi
callq 0x144db
movq %rax, 0x88(%r12)
testq %rax, %rax
je 0x18457
movq %rax, %rdi
callq 0x1d422
cmpl $0x35, %eax
jne 0x18615
incq %r14
cmpq (%rbx), %r14
jb 0x18419
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%rsp), %r15
movq %r15, %rdi
callq 0x1b51f
movq %rax, %rdi
callq 0x2398e
movq %rax, %rbx
movq %r13, %rdi
callq 0x19858
movq %rax, %r14
movq %r15, %rdi
callq 0x19858
leaq 0x1e446(%rip), %rsi     # 0x368e5
movq %r15, %rdi
movq %rbx, %rdx
movq %r14, %rcx
movq %rax, %r8
xorl %eax, %eax
callq 0x138e7
movq %r13, %rdi
callq 0x1d422
movl %eax, %eax
leaq 0x47edd(%rip), %rcx     # 0x603a0
movq (%rcx,%rax,8), %rsi
leaq 0x1e310(%rip), %rdi     # 0x367de
xorl %eax, %eax
callq 0x13844
movq 0x20(%r13), %rdi
callq 0x2398e
leaq 0x1e423(%rip), %rsi     # 0x36908
movq %r13, %rdi
jmp 0x1862f
movq 0x18(%r12), %rdi
callq 0x1e4eb
movq %rax, %r14
movq %r12, %rdi
callq 0x19858
leaq 0x1d9af(%rip), %rsi     # 0x35eb8
jmp 0x18605
leaq 0x1e581(%rip), %rdi     # 0x36a96
leaq 0x1dd9c(%rip), %rsi     # 0x362b8
leaq 0x1e55d(%rip), %rcx     # 0x36a80
movl $0xb16, %edx            # imm = 0xB16
callq 0x4180
leaq 0x1e572(%rip), %rdi     # 0x36aa6
xorl %eax, %eax
callq 0x13844
movq %rbx, %rdi
callq 0x2398e
movq %rax, %rbx
movq %r13, %rdi
callq 0x19858
leaq 0x1e357(%rip), %rsi     # 0x368ac
movq %r13, %rdi
movq %r14, %rdx
movq %rbx, %rcx
jmp 0x184a8
movq %rbx, %rdi
callq 0x2398e
movq %rax, %rbx
movq %r13, %rdi
callq 0x19858
leaq 0x1e2b3(%rip), %rsi     # 0x36830
movq %r13, %rdi
jmp 0x185a4
movq %rbx, %rdi
callq 0x2398e
movq %rax, %rbx
movq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x19858
leaq 0x1e25d(%rip), %rsi     # 0x367fe
movq %r14, %rdi
movq %rbx, %rdx
jmp 0x1860b
leaq 0x1e2b8(%rip), %rdi     # 0x36868
leaq 0x1dd01(%rip), %rsi     # 0x362b8
leaq 0x1e2bd(%rip), %rcx     # 0x3687b
movl $0x93a, %edx            # imm = 0x93A
callq 0x4180
movq 0x18(%rbx), %rdi
callq 0x1e4eb
movq %rax, %r14
movq 0x28(%rbx), %rdi
callq 0x2398e
leaq 0x1e4ec(%rip), %rsi     # 0x36ad0
movq %rbx, %rdi
jmp 0x18608
movq 0x18(%r12), %rdi
callq 0x1e4eb
movq %rax, %r14
movq %r12, %rdi
callq 0x19858
leaq 0x1d8d3(%rip), %rsi     # 0x35ed8
movq %r12, %rdi
movq %r14, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0x138e7
movq 0x88(%r12), %rbx
movq %rbx, %rdi
callq 0x19858
leaq 0x1e4d1(%rip), %rsi     # 0x36afd
movq %rbx, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x138e7
leaq 0x1e36d(%rip), %rdi     # 0x369ad
leaq 0x1dc71(%rip), %rsi     # 0x362b8
leaq 0x1e432(%rip), %rcx     # 0x36a80
movl $0xb06, %edx            # imm = 0xB06
callq 0x4180
cmpb $0x0, 0x73(%r15)
leaq 0x1cf65(%rip), %rax     # 0x355c9
leaq 0x1cf6a(%rip), %rbx     # 0x355d5
cmoveq %rax, %rbx
movq %r15, %rdi
callq 0x19858
leaq 0x1e2b7(%rip), %rsi     # 0x36935
movq %r15, %rdi
jmp 0x185a4