// File: /workspace/github_c_makefile_star2_O3/nimble-code[P]Uno/Src/uno_lts.c
// Function: lts_tree
static State *
lts_tree(State *n, treenode *root)
{	State *now = n;

	if (!root) return n;

	switch (root->hdr.which) {
	case IF_T:
		now = lts_if(now, (if_node *) root);
		break;

	case FOR_T:
		now = lts_for(now, (for_node *) root);
		break;

	case NODE_T:
		now = lts_node(now, root);
		break;

	case LEAF_T:
	case NONE_T:
		break;

	default:
		fprintf(stderr, "uno: unhandled type %s\n",
			name_of_nodetype(root->hdr.which));
		break;
	}
	return now;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movq %rdi, %rbx
testq %rsi, %rsi
je 0x16773
movq %rsi, %r15
xorl %r12d, %r12d
leaq 0x1a727(%rip), %rbp     # 0x2fae8
movq %r15, %r14
movl (%r14), %edi
cmpl $0x4, %edi
jne 0x1540f
movl 0x1c(%r14), %edi
cmpq $0x28, %rdi
ja 0x16741
movslq (%rbp,%rdi,4), %rax
addq %rbp, %rax
jmpq *%rax
movq 0x48(%r14), %r14
testq %r14, %r14
jne 0x153c4
jmp 0x1676a
movq 0x40(%r14), %rsi
movq %rbx, %rdi
callq 0x1539a
movq %rax, %rbx
movq 0x48(%r14), %r15
testq %r15, %r15
jne 0x153c1
jmp 0x1676a
cmpl $0x2, %edi
jb 0x1676a
cmpl $0x3, %edi
je 0x1583b
cmpl $0x2, %edi
jne 0x16712
cmpl $0x14d, 0x18(%r14)      # imm = 0x14D
je 0x15803
movq %r13, 0x10(%rsp)
movq (%rbx), %rax
movl (%rax), %edi
cmpl $0x2, %edi
jne 0x157f9
movq %r12, 0x8(%rsp)
movq 0x5aa01(%rip), %r13     # 0x6fe58
movq 0x5aa72(%rip), %r15     # 0x6fed0
testq %r15, %r15
je 0x155ac
movq 0x68(%r15), %r12
movq %r12, 0x5aa5e(%rip)     # 0x6fed0
xorps %xmm0, %xmm0
movups %xmm0, 0x60(%r15)
movups %xmm0, 0x50(%r15)
movups %xmm0, 0x40(%r15)
movups %xmm0, 0x30(%r15)
movups %xmm0, 0x20(%r15)
movups %xmm0, 0x10(%r15)
movups %xmm0, (%r15)
jmp 0x155c0
movq 0x48(%r14), %r15
testq %r15, %r15
je 0x1676a
movl 0x1c(%r15), %eax
cmpl $0x22, %eax
je 0x15405
cmpl $0x1d, %eax
jne 0x154c9
cmpl $0x120, 0x18(%r15)      # imm = 0x120
jne 0x15405
movq %rbx, %rdi
movq %r15, %rsi
callq 0x169ee
jmp 0x153fe
movq 0x40(%r14), %rax
movl 0x18(%rax), %eax
cmpl $0x113, %eax            # imm = 0x113
je 0x154f2
cmpl $0x10f, %eax            # imm = 0x10F
jne 0x1575f
movq %r12, 0x8(%rsp)
movq %r13, 0x10(%rsp)
movq %r14, %rdi
callq 0x16a77
movq %rax, 0x18(%rsp)
callq 0xf5da
movq %rax, %r12
movq %rax, %rdi
movq %r14, %rsi
leaq 0x1b3b0(%rip), %rdx     # 0x308ce
callq 0x168ce
movq %rax, %r13
movl $0x50, %edi
callq 0x5fdd
movq %rax, %r15
movl $0x4, (%rax)
movabsq $0x1d0000011c, %rax     # imm = 0x1D0000011C
movq %rax, 0x18(%r15)
leaq 0x1a8c9(%rip), %rax     # 0x2fe17
movq %rax, 0x8(%r15)
movq %r12, 0x40(%r15)
movq %rbx, %rdi
movq %r13, %rsi
callq 0x169ee
movq %rax, %rbx
movq 0x40(%r13), %rdi
movq %rax, %rsi
callq 0x16ac5
movq 0x5a8e1(%rip), %rdi     # 0x6fe58
callq 0x1687b
movq %rax, %r12
movq %r15, (%rax)
movq 0x5a94f(%rip), %rax     # 0x6fed8
testq %rax, %rax
je 0x1577e
movq 0x18(%rax), %rcx
movq %rcx, 0x5a93b(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
jmp 0x15788
movl $0x70, %edi
callq 0x5fdd
movq %rax, %r15
movq 0x5a910(%rip), %r12     # 0x6fed0
movq 0x10(%r13), %rax
movq %rax, 0x68(%r15)
movq %r15, 0x10(%r13)
movq 0x48(%r14), %rax
movq %rax, (%r15)
movq 0x5a87e(%rip), %r13     # 0x6fe58
testq %r12, %r12
je 0x15619
movq 0x68(%r12), %rax
movq %rax, 0x5a8e5(%rip)     # 0x6fed0
xorps %xmm0, %xmm0
movups %xmm0, 0x60(%r12)
movups %xmm0, 0x50(%r12)
movups %xmm0, 0x40(%r12)
movups %xmm0, 0x30(%r12)
movups %xmm0, 0x20(%r12)
movups %xmm0, 0x10(%r12)
movups %xmm0, (%r12)
jmp 0x15626
movl $0x70, %edi
callq 0x5fdd
movq %rax, %r12
movq 0x10(%r13), %rax
movq %rax, 0x68(%r12)
movq %r12, 0x10(%r13)
movq 0x50(%r14), %rax
movq %rax, (%r12)
movq 0x5a896(%rip), %r13     # 0x6fed8
testq %r13, %r13
je 0x15661
movq 0x18(%r13), %rax
movq %rax, 0x5a886(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%r13)
movups %xmm0, (%r13)
jmp 0x1566e
movl $0x20, %edi
callq 0x5fdd
movq %rax, %r13
leaq 0x1a6e8(%rip), %rdi     # 0x2fd5d
callq 0xf65b
movq %rax, (%r13)
movq %r15, 0x10(%r13)
movq 0x5a84f(%rip), %rax     # 0x6fed8
testq %rax, %rax
je 0x156a5
movq 0x18(%rax), %rcx
movq %rcx, 0x5a83f(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
jmp 0x156af
movl $0x20, %edi
callq 0x5fdd
movq %rax, 0x18(%r13)
leaq 0x1a69b(%rip), %rdi     # 0x2fd55
callq 0xf65b
movq 0x18(%r13), %rcx
movq %rax, (%rcx)
movq %r12, 0x10(%rcx)
movq %r13, 0x50(%rbx)
movq (%r15), %rsi
movq %r15, %rdi
callq 0x1539a
movq %rax, %rbx
movq (%r12), %rsi
movq %r12, %rdi
callq 0x1539a
movq %rax, %r12
callq 0xf5da
movq %rax, %r15
movl $0x50, %edi
callq 0x5fdd
movq %rax, %r13
movl $0x4, (%rax)
movabsq $0x1d0000011c, %rax     # imm = 0x1D0000011C
movq %rax, 0x18(%r13)
leaq 0x1a6fc(%rip), %rax     # 0x2fe17
movq %rax, 0x8(%r13)
movq %r15, 0x40(%r13)
movq %r15, %rdi
movq %r14, %rsi
leaq 0xa9d0(%rip), %rdx      # 0x20100
callq 0x168ce
movq %rax, %r15
cmpq $0x0, 0x50(%r14)
je 0x1574c
movq %r12, %rdi
movq %r13, %rsi
callq 0x1539a
jmp 0x15750
movq %r13, (%r12)
movq 0x10(%rsp), %r13
movq 0x8(%rsp), %r12
jmp 0x15405
movq %rbx, %rdi
movq %r14, %rsi
callq 0x169ee
movq %rax, %rbx
movq 0x40(%r14), %rdi
movq %rax, %rsi
callq 0x16ac5
jmp 0x15401
movl $0x20, %edi
callq 0x5fdd
movq %r12, 0x10(%rax)
movq 0x40(%r14), %rcx
movq %rcx, (%rax)
movq 0x18(%rsp), %rdx
movq 0x50(%rdx), %rcx
movq %rcx, 0x18(%rax)
movq %rax, 0x50(%rdx)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x169ee
movq %rax, %rbx
movq 0x40(%r14), %rax
cmpl $0x113, 0x18(%rax)      # imm = 0x113
movq 0x10(%rsp), %r13
jne 0x157cb
movb $0x1, 0x5a745(%rip)     # 0x6ff10
movq 0x48(%r14), %rax
testq %rax, %rax
movq 0x8(%rsp), %r12
je 0x157ec
movq 0x48(%rax), %rax
testq %rax, %rax
je 0x157ec
cmpl $0x22, 0x1c(%rax)
je 0x15401
movq %r14, %rdi
callq 0x16b5e
jmp 0x15401
callq 0x4060
jmp 0x1544b
movq 0x40(%r14), %rsi
xorl %edi, %edi
callq 0x1539a
movq 0x48(%r14), %rsi
xorl %edi, %edi
callq 0x1539a
testb $0x1, %r12b
cmoveq %rbx, %r13
movq 0x50(%r14), %r15
movb $0x1, %r12b
movl $0x0, %ebx
testq %r15, %r15
jne 0x153c1
jmp 0x16770
cmpl $0x1, 0x1c(%r14)
jne 0x15905
cmpq $0x0, 0x58(%r14)
je 0x1676a
movq 0x40(%r14), %rdi
callq 0x77c3
xorl %ecx, %ecx
testq %rax, %rax
je 0x1586b
cmpl $0x123, 0x18(%rax)      # imm = 0x123
sete %cl
movl %ecx, 0x5a687(%rip)     # 0x6fef8
movq 0x40(%r14), %rsi
xorl %edi, %edi
callq 0x1539a
incl 0x5a67a(%rip)           # 0x6fefc
movq 0x48(%r14), %rbx
xorl %edi, %edi
testq %rbx, %rbx
setne %dil
leaq 0x1a5b1(%rip), %rsi     # 0x2fe47
callq 0x1341d
cmpl $0x2, 0x1c(%rbx)
je 0x158c3
leaq 0x1a59f(%rip), %r15     # 0x2fe47
movq 0x48(%rbx), %rbx
xorl %edi, %edi
testq %rbx, %rbx
setne %dil
movq %r15, %rsi
callq 0x1341d
cmpl $0x2, 0x1c(%rbx)
jne 0x158a8
xorl %edi, %edi
movq %rbx, %rsi
callq 0x1539a
decl 0x5a629(%rip)           # 0x6fefc
testq %rax, %rax
je 0x158e4
movq 0x58(%r14), %rsi
movq %rax, %rdi
callq 0x1539a
movq 0x5a59d(%rip), %rax     # 0x6fe88
movq %rax, 0x5a566(%rip)     # 0x6fe58
testb $0x1, %r12b
jne 0x16770
movq 0x10(%rax), %rbx
jmp 0x16773
cmpq $0x0, 0x40(%r14)
jne 0x1591a
movl $0x1, %edi
callq 0xf6b9
movq %rax, 0x40(%r14)
cmpq $0x0, 0x48(%r14)
jne 0x1592f
movl $0x1, %edi
callq 0xf6b9
movq %rax, 0x48(%r14)
movq %r12, 0x8(%rsp)
movq %r13, 0x10(%rsp)
cmpq $0x0, 0x50(%r14)
jne 0x1594e
movl $0x1, %edi
callq 0xf6b9
movq %rax, 0x50(%r14)
callq 0xf5da
movq %rax, %r13
leaq 0xa790(%rip), %r15      # 0x200ed
movq %rax, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x168ce
movq %rax, 0x30(%rsp)
movl $0x50, %edi
callq 0x5fdd
movq %rax, %rcx
movl $0x4, %eax
movl %eax, (%rcx)
movabsq $0x1d0000011c, %rbp     # imm = 0x1D0000011C
movq %rbp, 0x18(%rcx)
leaq 0x1a47e(%rip), %r12     # 0x2fe17
movq %r12, 0x8(%rcx)
movq %rcx, 0x18(%rsp)
movq %r13, 0x40(%rcx)
callq 0xf5da
movq %rax, %r13
movq %rax, %rdi
movq %r14, %rsi
movq %r15, %rdx
callq 0x168ce
movq %rax, 0x20(%rsp)
movl $0x50, %edi
callq 0x5fdd
movq %rax, %r15
movl $0x4, %eax
movl %eax, (%r15)
movq %rbp, 0x18(%r15)
movq %r12, 0x8(%r15)
movq %r13, 0x40(%r15)
callq 0xf5da
movq %rax, %r13
movq %rax, %rdi
movq %r14, %rsi
leaq 0xa6f6(%rip), %rdx      # 0x200ed
callq 0x168ce
movq %rax, 0x28(%rsp)
movl $0x50, %edi
callq 0x5fdd
movq %rax, %rbp
movl $0x4, %eax
movl %eax, (%rbp)
movabsq $0x1d0000011c, %rax     # imm = 0x1D0000011C
movq %rax, 0x18(%rbp)
movq %r12, 0x8(%rbp)
movq %r13, 0x40(%rbp)
movq %r15, %rdi
callq 0x1695b
movq %rbp, %rdi
callq 0x169a1
movq 0x5a415(%rip), %r15     # 0x6fe58
movq 0x5a486(%rip), %r12     # 0x6fed0
testq %r12, %r12
je 0x15eae
movq 0x68(%r12), %r13
movq %r13, 0x5a471(%rip)     # 0x6fed0
xorps %xmm0, %xmm0
movups %xmm0, 0x60(%r12)
movups %xmm0, 0x50(%r12)
movups %xmm0, 0x40(%r12)
movups %xmm0, 0x30(%r12)
movups %xmm0, 0x20(%r12)
movups %xmm0, 0x10(%r12)
movups %xmm0, (%r12)
jmp 0x15ec2
cmpl $0x0, 0x5a465(%rip)     # 0x6fefc
je 0x1676a
movq 0x40(%r14), %rax
movq 0x40(%rax), %rdi
callq 0x5eb8
movq %r14, %rdi
movq %rax, %rsi
callq 0x150a1
testb $0x1, %r12b
jne 0x16770
movq 0x8(%rax), %rbx
jmp 0x16773
cmpq $0x0, 0x40(%r14)
jne 0x15add
movl $0x1, %edi
callq 0xf6b9
movq %rax, 0x40(%r14)
movq %r12, 0x8(%rsp)
movq %r13, 0x10(%rsp)
cmpq $0x0, 0x48(%r14)
jne 0x15afc
movl $0x1, %edi
callq 0xf6b9
movq %rax, 0x48(%r14)
callq 0xf5da
movq %rax, %r12
leaq 0x1a43a(%rip), %r13     # 0x2ff45
movq %rax, %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x168ce
movq %rax, 0x20(%rsp)
movl $0x50, %edi
callq 0x5fdd
movq %rax, %r15
movl $0x4, %eax
movl %eax, (%r15)
movabsq $0x1d0000011c, %rbp     # imm = 0x1D0000011C
movq %rbp, 0x18(%r15)
leaq 0x1a2cf(%rip), %rax     # 0x2fe17
movq %rax, 0x8(%r15)
movq %r12, 0x40(%r15)
callq 0xf5da
movq %rax, %r12
movq %rax, %rdi
movq %r14, %rsi
movq %r13, %rdx
callq 0x168ce
movq %rax, 0x18(%rsp)
movl $0x50, %edi
callq 0x5fdd
movq %rax, %r13
movl $0x4, %eax
movl %eax, (%r13)
movq %rbp, 0x18(%r13)
leaq 0x1a28b(%rip), %rax     # 0x2fe17
movq %rax, 0x8(%r13)
movq %r12, 0x40(%r13)
movq %r15, 0x28(%rsp)
movq %r15, %rdi
callq 0x1695b
movq %r13, %rdi
callq 0x169a1
movq 0x5a2a8(%rip), %r15     # 0x6fe58
movq 0x5a319(%rip), %rbp     # 0x6fed0
testq %rbp, %rbp
je 0x1610d
movq 0x68(%rbp), %r12
movq %r12, 0x5a305(%rip)     # 0x6fed0
xorps %xmm0, %xmm0
movups %xmm0, 0x60(%rbp)
movups %xmm0, 0x50(%rbp)
movups %xmm0, 0x40(%rbp)
movups %xmm0, 0x30(%rbp)
movups %xmm0, 0x20(%rbp)
movups %xmm0, 0x10(%rbp)
movups %xmm0, (%rbp)
jmp 0x16121
cmpq $0x0, 0x40(%r14)
jne 0x15c04
movl $0x1, %edi
callq 0xf6b9
movq %rax, 0x40(%r14)
movq %r12, 0x8(%rsp)
movq %r13, 0x10(%rsp)
cmpq $0x0, 0x48(%r14)
jne 0x15c23
movl $0x1, %edi
callq 0xf6b9
movq %rax, 0x48(%r14)
callq 0xf5da
movq %rax, %r15
leaq 0x1a310(%rip), %rdx     # 0x2ff42
movq %rax, %rdi
movq %r14, %rsi
callq 0x168ce
movq %rax, 0x20(%rsp)
movl $0x50, %edi
callq 0x5fdd
movq %rax, %r12
movl $0x4, %eax
movl %eax, (%r12)
movabsq $0x1d0000011c, %rax     # imm = 0x1D0000011C
movq %rax, 0x18(%r12)
leaq 0x1a1a9(%rip), %r13     # 0x2fe17
movq %r13, 0x8(%r12)
movq %r15, 0x40(%r12)
callq 0xf5da
movq %rax, %rbp
movq %rax, %rdi
movq %r14, %rsi
leaq 0x1a2b5(%rip), %rdx     # 0x2ff42
callq 0x168ce
movq %rax, 0x18(%rsp)
movl $0x50, %edi
callq 0x5fdd
movq %rax, %r15
movl $0x4, %eax
movl %eax, (%r15)
movabsq $0x1d0000011c, %rax     # imm = 0x1D0000011C
movq %rax, 0x18(%r15)
movq %r13, 0x8(%r15)
movq %rbp, 0x40(%r15)
movq %r12, %rdi
callq 0x1695b
movq %r15, %rdi
callq 0x169a1
movq 0x5a17f(%rip), %rcx     # 0x6fe58
movq 0x5a1f0(%rip), %r13     # 0x6fed0
testq %r13, %r13
je 0x1633f
movq 0x68(%r13), %rbp
movq %rbp, 0x5a1dc(%rip)     # 0x6fed0
xorps %xmm0, %xmm0
movups %xmm0, 0x60(%r13)
movups %xmm0, 0x50(%r13)
movups %xmm0, 0x40(%r13)
movups %xmm0, 0x30(%r13)
movups %xmm0, 0x20(%r13)
movups %xmm0, 0x10(%r13)
movups %xmm0, (%r13)
jmp 0x16359
movl $0xfffffef2, %eax       # imm = 0xFFFFFEF2
addl 0x18(%r14), %eax
rorl %eax
cmpl $0x9, %eax
ja 0x165b5
leaq 0x19e52(%rip), %rcx     # 0x2fb8c
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
xorl %edi, %edi
cmpq $0x0, 0x5a1bb(%rip)     # 0x6ff08
setne %dil
leaq 0x1a1c7(%rip), %rsi     # 0x2ff1f
callq 0x1341d
movq 0x5a1a4(%rip), %rax     # 0x6ff08
movq (%rax), %r14
jmp 0x165ab
movq 0x5a0e5(%rip), %rax     # 0x6fe58
cmpq 0x5a10e(%rip), %rax     # 0x6fe88
jne 0x165b5
movq 0x10(%rax), %rdi
movq %r14, %rsi
callq 0x169ee
jmp 0x1676a
movq %r12, 0x8(%rsp)
callq 0xf5da
movq %rax, %r12
leaq 0x1a161(%rip), %rdx     # 0x2ff06
movq %rax, %rdi
movq %r14, %rsi
callq 0x168ce
movq %rax, %r15
movl $0x50, %edi
callq 0x5fdd
movl $0x4, (%rax)
movabsq $0x1d0000011c, %rcx     # imm = 0x1D0000011C
movq %rcx, 0x18(%rax)
leaq 0x1a03f(%rip), %rcx     # 0x2fe17
movq %rcx, 0x8(%rax)
movq %r12, 0x40(%rax)
movq %rax, %rdi
callq 0x169a1
cmpq $0x0, 0x40(%r14)
jne 0x15dfd
movl $0x1, %edi
callq 0xf6b9
movq %rax, 0x40(%r14)
movl $0x10, %edi
callq 0x5fdd
movq %rbx, (%rax)
movq 0x5a107(%rip), %rcx     # 0x6ff18
movq %rcx, 0x8(%rax)
movq %rax, 0x5a0fc(%rip)     # 0x6ff18
movq 0x40(%r14), %rax
movq %rax, (%rbx)
movb 0x5a0e6(%rip), %bpl     # 0x6ff10
movb $0x0, 0x5a0df(%rip)     # 0x6ff10
movq 0x48(%r14), %rsi
movq %rbx, %rdi
callq 0x1539a
movq %rax, %rbx
cmpb $0x0, 0x5a0c9(%rip)     # 0x6ff10
jne 0x16686
movq %r13, 0x10(%rsp)
movq %r14, %rdi
callq 0x16b5e
movq 0x59ff7(%rip), %r13     # 0x6fe58
movq 0x5a068(%rip), %r12     # 0x6fed0
testq %r12, %r12
je 0x165d2
movq 0x68(%r12), %rax
movq %rax, 0x5a053(%rip)     # 0x6fed0
xorps %xmm0, %xmm0
movups %xmm0, 0x60(%r12)
movups %xmm0, 0x50(%r12)
movups %xmm0, 0x40(%r12)
movups %xmm0, 0x30(%r12)
movups %xmm0, 0x20(%r12)
movups %xmm0, 0x10(%r12)
movups %xmm0, (%r12)
jmp 0x165df
movl $0x70, %edi
callq 0x5fdd
movq %rax, %r12
movq 0x5a00e(%rip), %r13     # 0x6fed0
movq 0x10(%r15), %rax
movq %rax, 0x68(%r12)
movq %r12, 0x10(%r15)
movq 0x58(%r14), %rax
movq %rax, (%r12)
movq 0x59f7a(%rip), %r15     # 0x6fe58
testq %r13, %r13
je 0x15f16
movq 0x68(%r13), %rax
movq %rax, 0x59fe2(%rip)     # 0x6fed0
xorps %xmm0, %xmm0
movups %xmm0, 0x60(%r13)
movups %xmm0, 0x50(%r13)
movups %xmm0, 0x40(%r13)
movups %xmm0, 0x30(%r13)
movups %xmm0, 0x20(%r13)
movups %xmm0, 0x10(%r13)
movups %xmm0, (%r13)
jmp 0x15f23
movl $0x70, %edi
callq 0x5fdd
movq %rax, %r13
movq 0x10(%r15), %rax
movq %rax, 0x68(%r13)
movq %r13, 0x10(%r15)
movq %rbp, (%r13)
movq 0x59f9e(%rip), %rbp     # 0x6fed8
testq %rbp, %rbp
je 0x15f57
movq 0x18(%rbp), %rax
movq %rax, 0x59f8e(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rbp)
movups %xmm0, (%rbp)
jmp 0x15f64
movl $0x20, %edi
callq 0x5fdd
movq %rax, %rbp
leaq 0x19df2(%rip), %rdi     # 0x2fd5d
callq 0xf65b
movq %rax, (%rbp)
movq %r12, 0x10(%rbp)
movq 0x59f59(%rip), %rax     # 0x6fed8
testq %rax, %rax
je 0x15f9b
movq 0x18(%rax), %rcx
movq %rcx, 0x59f49(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
jmp 0x15fa5
movl $0x20, %edi
callq 0x5fdd
movq %rax, 0x18(%rbp)
leaq 0x19da5(%rip), %rdi     # 0x2fd55
callq 0xf65b
movq 0x18(%rbp), %rcx
movq %rax, (%rcx)
movq %r13, 0x10(%rcx)
movq (%rbx), %rax
movl (%rax), %edi
cmpl $0x3, %edi
jne 0x16737
movq 0x40(%r14), %rax
movq %rax, (%rbx)
movq %rbx, %rdi
movq 0x30(%rsp), %rsi
callq 0x1539a
movq %rax, %rbx
movl $0x58, %edi
callq 0x5fdd
movl $0x2, (%rax)
movl $0x1b, 0x1c(%rax)
movq 0x8(%r14), %rcx
movq %rcx, 0x8(%rax)
movl 0x10(%r14), %ecx
movl %ecx, 0x10(%rax)
movq 0x48(%r14), %rcx
testq %rcx, %rcx
je 0x1601c
movq 0x28(%rcx), %rdx
movq %rdx, 0x28(%rax)
movq %rcx, 0x40(%rax)
movq (%r12), %rcx
movq %rcx, 0x48(%rax)
movq (%r13), %rcx
movq %rcx, 0x50(%rax)
movq %rbx, %rdi
movq %rax, %rsi
callq 0x169ee
movq %rbp, 0x50(%rax)
movq (%r12), %rsi
movq %r12, %rdi
callq 0x1539a
movq %rax, %rdi
movq 0x20(%rsp), %rsi
callq 0x1539a
movq 0x50(%r14), %rsi
movq %rax, %rdi
callq 0x169ee
movq %rax, %rdi
movq 0x18(%rsp), %rsi
callq 0x1539a
movq %rax, %rdi
movq 0x28(%rsp), %rsi
callq 0x1539a
movq %rax, %rbx
xorl %edi, %edi
cmpq $0x0, 0x59e75(%rip)     # 0x6ff00
setne %dil
leaq 0x19dd0(%rip), %rsi     # 0x2fe66
callq 0x1341d
movq 0x59e5e(%rip), %rax     # 0x6ff00
movq 0x10(%rax), %rcx
movq %rcx, 0x59e53(%rip)     # 0x6ff00
movq 0x59e3c(%rip), %rcx     # 0x6fef0
movq %rcx, 0x10(%rax)
movq %rax, 0x59e31(%rip)     # 0x6fef0
xorl %edi, %edi
cmpq $0x0, 0x59e3f(%rip)     # 0x6ff08
setne %dil
leaq 0x19da8(%rip), %rsi     # 0x2fe7c
callq 0x1341d
movq 0x59e28(%rip), %rax     # 0x6ff08
movq 0x10(%rax), %rcx
movq %rcx, 0x59e1d(%rip)     # 0x6ff08
movq 0x59dfe(%rip), %rcx     # 0x6fef0
movq %rcx, 0x10(%rax)
movq %rax, 0x59df3(%rip)     # 0x6fef0
testb $0x1, 0x8(%rsp)
cmovneq 0x10(%rsp), %rbx
jmp 0x16773
movl $0x70, %edi
callq 0x5fdd
movq %rax, %rbp
movq 0x59daf(%rip), %r12     # 0x6fed0
movq 0x10(%r15), %rax
movq %rax, 0x68(%rbp)
movq %rbp, 0x10(%r15)
movq 0x48(%r14), %rax
movq %rax, (%rbp)
movq 0x59d1c(%rip), %r15     # 0x6fe58
testq %r12, %r12
je 0x1617b
movq 0x68(%r12), %rax
movq %rax, 0x59d83(%rip)     # 0x6fed0
xorps %xmm0, %xmm0
movups %xmm0, 0x60(%r12)
movups %xmm0, 0x50(%r12)
movups %xmm0, 0x40(%r12)
movups %xmm0, 0x30(%r12)
movups %xmm0, 0x20(%r12)
movups %xmm0, 0x10(%r12)
movups %xmm0, (%r12)
jmp 0x16188
movl $0x70, %edi
callq 0x5fdd
movq %rax, %r12
movq 0x10(%r15), %rax
movq %rax, 0x68(%r12)
movq %r12, 0x10(%r15)
movq %r13, (%r12)
movq 0x59d38(%rip), %r13     # 0x6fed8
testq %r13, %r13
je 0x161bf
movq 0x18(%r13), %rax
movq %rax, 0x59d28(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%r13)
movups %xmm0, (%r13)
jmp 0x161cc
movl $0x20, %edi
callq 0x5fdd
movq %rax, %r13
movq 0x28(%rsp), %r15
leaq 0x19b85(%rip), %rdi     # 0x2fd5d
callq 0xf65b
movq %rax, (%r13)
movq %rbp, 0x10(%r13)
movq 0x59cec(%rip), %rax     # 0x6fed8
testq %rax, %rax
je 0x16208
movq 0x18(%rax), %rcx
movq %rcx, 0x59cdc(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
jmp 0x16212
movl $0x20, %edi
callq 0x5fdd
movq %rax, 0x18(%r13)
leaq 0x19b38(%rip), %rdi     # 0x2fd55
callq 0xf65b
movq 0x18(%r13), %rcx
movq %rax, (%rcx)
movq %r12, 0x10(%rcx)
movq %rbx, %rdi
movq 0x20(%rsp), %rsi
callq 0x1539a
movq %rax, %rbx
movl $0x58, %edi
callq 0x5fdd
movl $0x2, (%rax)
movl $0x1b, 0x1c(%rax)
movq 0x8(%r14), %rcx
movq %rcx, 0x8(%rax)
movl 0x10(%r14), %ecx
movl %ecx, 0x10(%rax)
movq 0x40(%r14), %rcx
movq 0x28(%rcx), %rdx
movq %rdx, 0x28(%rax)
movq %rcx, 0x40(%rax)
movq (%rbp), %rcx
movq %rcx, 0x48(%rax)
movq (%r12), %rcx
movq %rcx, 0x50(%rax)
movq %rbx, %rdi
movq %rax, %rsi
callq 0x169ee
movq %r13, 0x50(%rax)
movq (%rbp), %rsi
movq %rbp, %rdi
callq 0x1539a
movq %rax, %rdi
movq %r15, %rsi
callq 0x1539a
movq %rax, %rdi
movq 0x18(%rsp), %rsi
callq 0x1539a
movq %rax, %rbx
xorl %edi, %edi
cmpq $0x0, 0x59c3d(%rip)     # 0x6ff00
setne %dil
leaq 0x19b98(%rip), %rsi     # 0x2fe66
callq 0x1341d
movq 0x59c26(%rip), %rax     # 0x6ff00
movq 0x10(%rax), %rcx
movq %rcx, 0x59c1b(%rip)     # 0x6ff00
movq 0x59c04(%rip), %rcx     # 0x6fef0
movq %rcx, 0x10(%rax)
movq %rax, 0x59bf9(%rip)     # 0x6fef0
xorl %edi, %edi
cmpq $0x0, 0x59c07(%rip)     # 0x6ff08
setne %dil
leaq 0x19b70(%rip), %rsi     # 0x2fe7c
callq 0x1341d
movq 0x59bf0(%rip), %rax     # 0x6ff08
movq 0x10(%rax), %rcx
movq %rcx, 0x59be5(%rip)     # 0x6ff08
movq 0x59bc6(%rip), %rcx     # 0x6fef0
movq %rcx, 0x10(%rax)
movq %rax, 0x59bbb(%rip)     # 0x6fef0
testb $0x1, 0x8(%rsp)
jmp 0x16553
movl $0x70, %edi
movq %rcx, %r13
callq 0x5fdd
movq %r13, %rcx
movq %rax, %r13
movq 0x59b77(%rip), %rbp     # 0x6fed0
movq 0x10(%rcx), %rax
movq %rax, 0x68(%r13)
movq %r13, 0x10(%rcx)
movq %r12, (%r13)
movq 0x59ae8(%rip), %r12     # 0x6fe58
testq %rbp, %rbp
je 0x163a1
movq 0x68(%rbp), %rax
movq %rax, 0x59b50(%rip)     # 0x6fed0
xorps %xmm0, %xmm0
movups %xmm0, 0x60(%rbp)
movups %xmm0, 0x50(%rbp)
movups %xmm0, 0x40(%rbp)
movups %xmm0, 0x30(%rbp)
movups %xmm0, 0x20(%rbp)
movups %xmm0, 0x10(%rbp)
movups %xmm0, (%rbp)
jmp 0x163ae
movl $0x70, %edi
callq 0x5fdd
movq %rax, %rbp
movq 0x10(%r12), %rax
movq %rax, 0x68(%rbp)
movq %rbp, 0x10(%r12)
movq %r15, (%rbp)
movq 0x59b11(%rip), %r15     # 0x6fed8
testq %r15, %r15
je 0x163e5
movq 0x18(%r15), %rax
movq %rax, 0x59b01(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%r15)
movups %xmm0, (%r15)
jmp 0x163f2
movl $0x20, %edi
callq 0x5fdd
movq %rax, %r15
movq 0x8(%rsp), %r12
leaq 0x1995f(%rip), %rdi     # 0x2fd5d
callq 0xf65b
movq %rax, (%r15)
movq %r13, 0x10(%r15)
movq 0x59ac7(%rip), %rax     # 0x6fed8
testq %rax, %rax
je 0x1642d
movq 0x18(%rax), %rcx
movq %rcx, 0x59ab7(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rax)
movups %xmm0, (%rax)
jmp 0x16437
movl $0x20, %edi
callq 0x5fdd
movq %rax, 0x18(%r15)
leaq 0x19913(%rip), %rdi     # 0x2fd55
callq 0xf65b
movq 0x18(%r15), %rcx
movq %rax, (%rcx)
movq %rbp, 0x10(%rcx)
movq %rbx, %rdi
movq 0x20(%rsp), %rsi
callq 0x1539a
movq 0x48(%r14), %rsi
movq %rax, %rdi
callq 0x1539a
movq %rax, %rbx
movl $0x58, %edi
callq 0x5fdd
movl $0x2, (%rax)
movl $0x1b, 0x1c(%rax)
movq 0x8(%r14), %rcx
movq %rcx, 0x8(%rax)
movl 0x10(%r14), %ecx
movl %ecx, 0x10(%rax)
movq 0x40(%r14), %rcx
movq 0x28(%rcx), %rdx
movq %rdx, 0x28(%rax)
movq %rcx, 0x40(%rax)
movq (%r13), %rcx
movq %rcx, 0x48(%rax)
movq (%rbp), %rcx
movq %rcx, 0x50(%rax)
movq %rbx, %rdi
movq %rax, %rsi
callq 0x169ee
movq %r15, 0x50(%rax)
movq %rax, %rdi
movq 0x18(%rsp), %rsi
callq 0x1539a
movq %rax, %rbx
xorl %edi, %edi
cmpq $0x0, 0x59a23(%rip)     # 0x6ff00
setne %dil
leaq 0x1997e(%rip), %rsi     # 0x2fe66
callq 0x1341d
movq 0x59a0c(%rip), %rax     # 0x6ff00
movq 0x10(%rax), %rcx
movq %rcx, 0x59a01(%rip)     # 0x6ff00
movq 0x599ea(%rip), %rcx     # 0x6fef0
movq %rcx, 0x10(%rax)
movq %rax, 0x599df(%rip)     # 0x6fef0
xorl %edi, %edi
cmpq $0x0, 0x599ed(%rip)     # 0x6ff08
setne %dil
leaq 0x19956(%rip), %rsi     # 0x2fe7c
callq 0x1341d
movq 0x599d6(%rip), %rax     # 0x6ff08
movq 0x10(%rax), %rcx
movq %rcx, 0x599cb(%rip)     # 0x6ff08
movq 0x599ac(%rip), %rcx     # 0x6fef0
movq %rcx, 0x10(%rax)
movq %rax, 0x599a1(%rip)     # 0x6fef0
testb $0x1, %r12b
movq 0x10(%rsp), %r13
jne 0x16770
jmp 0x16773
xorl %edi, %edi
cmpq $0x0, 0x59993(%rip)     # 0x6ff00
setne %dil
leaq 0x19995(%rip), %rsi     # 0x2ff0d
callq 0x1341d
movq 0x5997c(%rip), %rax     # 0x6ff00
movq (%rax), %r14
jmp 0x1659f
xorl %eax, %eax
cmpq $0x1, 0x40(%r14)
adcw $0x1, %ax
movq 0x598bd(%rip), %rcx     # 0x6fe58
orw %ax, 0x42(%rcx)
movq 0x59962(%rip), %rax     # 0x6ff08
testq %rax, %rax
je 0x165b5
addq $0x8, %rax
movl $0x1, (%rax)
movq %rbx, %rdi
movq %r14, %rsi
callq 0x169ee
testb $0x1, %r12b
jne 0x16770
movq %rax, %rbx
jmp 0x16773
movl $0x70, %edi
callq 0x5fdd
movq %rax, %r12
movq 0x10(%r13), %rax
movq %rax, 0x68(%r12)
movq %r12, 0x10(%r13)
xorl %edi, %edi
cmpq $0x0, 0x59912(%rip)     # 0x6ff08
setne %dil
leaq 0x1991e(%rip), %rsi     # 0x2ff1f
callq 0x1341d
movq 0x598fb(%rip), %rax     # 0x6ff08
movl $0x1, 0x8(%rax)
movq (%rax), %rax
movq %rax, (%r12)
movq %r14, %rdi
callq 0x16a77
movq %rax, %r14
movq 0x598ab(%rip), %r13     # 0x6fed8
testq %r13, %r13
je 0x1664c
movq 0x18(%r13), %rax
movq %rax, 0x5989b(%rip)     # 0x6fed8
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%r13)
movups %xmm0, (%r13)
jmp 0x16659
movl $0x20, %edi
callq 0x5fdd
movq %rax, %r13
movq %r12, 0x10(%r13)
callq 0xf6df
movq %rax, (%r13)
movq 0x50(%r14), %rax
movq %rax, 0x18(%r13)
movq %r13, 0x50(%r14)
movq (%r12), %rsi
movq %rbx, %rdi
callq 0x169ee
movq %rax, %rbx
movq 0x10(%rsp), %r13
andb $0x1, %bpl
movb %bpl, 0x5987f(%rip)     # 0x6ff10
movq %rbx, %rdi
movq %r15, %rsi
callq 0x1539a
movq %rax, %rbx
xorl %edi, %edi
cmpq $0x0, 0x5985f(%rip)     # 0x6ff08
setne %dil
leaq 0x197c8(%rip), %rsi     # 0x2fe7c
callq 0x1341d
movq 0x59848(%rip), %rax     # 0x6ff08
movq 0x10(%rax), %rcx
movq %rcx, 0x5983d(%rip)     # 0x6ff08
movq 0x5981e(%rip), %rcx     # 0x6fef0
movq %rcx, 0x10(%rax)
movq %rax, 0x59813(%rip)     # 0x6fef0
xorl %edi, %edi
cmpq $0x0, 0x59831(%rip)     # 0x6ff18
setne %dil
leaq 0x1983d(%rip), %rsi     # 0x2ff2f
callq 0x1341d
movq 0x5981a(%rip), %rax     # 0x6ff18
movq 0x8(%rax), %rax
movq %rax, 0x5980f(%rip)     # 0x6ff18
testb $0x1, 0x8(%rsp)
jne 0x16770
jmp 0x16773
movq 0x218df(%rip), %rax     # 0x37ff8
movq (%rax), %r14
callq 0x7869
leaq 0x196bb(%rip), %rsi     # 0x2fde3
movq %r14, %rdi
movq %rax, %rdx
xorl %eax, %eax
callq 0x31a0
jmp 0x1676a
callq 0x403b
jmp 0x15fce
movq 0x218b0(%rip), %rax     # 0x37ff8
movq (%rax), %r15
movl 0x10(%r14), %ebp
callq 0x7937
leaq 0x19735(%rip), %rsi     # 0x2fe90
movq %r15, %rdi
movl %ebp, %edx
movq %rax, %rcx
xorl %eax, %eax
callq 0x31a0
testb $0x1, %r12b
je 0x16773
movq %r13, %rbx
movq %rbx, %rax
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq