// File: /workspace/github_c_makefile_star2_O3/nimble-code[P]Uno/Src/uno_generic.c
// Function: dfs_generic
void
dfs_generic(State *s)
{	GenStack *g;
	Trans *t;
	SymRef *r;
	treenode *exp = ZT;
	int any_added = 0;

	if (!s || !s->n) return;

	depth++;

	if (debug)
	{	printf("%3d: dfs %s:%d: <%s>\t",
			depth,
			s->n->hdr.fnm,
			s->n->hdr.line,
			x_stmnt(s->n));
		if (s->n->hdr.type == TN_IF)
			dump_defuse(((if_node *)s->n)->cond->hdr.defuse, stdout);
		else
			dump_defuse(s->n->hdr.defuse, stdout);
		printf("\n");
		if (gen_stack)
		for (r = gen_stack->symrefs; r; r = r->nxt)
			printf("\tGenStack %s %d\n", r->sm->nme->str, r->status);

	}

	if (s->iscond && s->n)
	exp = (s->n->hdr.type == TN_IF) ? ((if_node *)s->n)->cond : s->n;

	any_added = gen_push(s);	/* checks symrefs to state snapshot -- updates snapshot*/
	g = gen_stack;
	g->e = exp?exp:s->n;

	path_ends = !(s->succ && s->succ->branch);

	user_val = 0;
	user_name = "";
	exec_prop(uno_prop, g->e);	/* can modify uno_state/symrefs */

	if (g->uno_state >= (int) sizeof(unsigned long)*8)
	{	fprintf(stderr, "uno: too many states in property (max %d)\n",
			(int) sizeof(unsigned long)*8 - 1);
		exit(1);
	}

	if (debug)
		printf("\t%s = %d (stack) %lu (state-bits)\n",
			statename,
			g->uno_state,
			s->uno_state);

	if (any_added == 0 && (s->uno_state & (1 << g->uno_state)))
	{	if (s->visited)
		{	if (debug) printf("\told\n");
			goto pop;
		} else
		{	if (debug) printf("\tnew\n");
		}
	} else
	{	if (debug)
			printf("\t%s\n", s->visited?"revisit":"new");
	}
	s->uno_state |= (1<<g->uno_state);	/* updates uno_state snapshot */
	s->visited = 1;

	for (t = s->succ; t && t->branch; t = t->nxt)
		if (!infeasible(exp, t->cond))	/* e.g. 0 == _true_ */
		{	g->c = t->cond;
			dfs_generic(t->branch);
		}

pop:	gen_pop(g);

	if (debug)
	{	printf("%3d: dfs up\n", depth);
		if (gen_stack)
		for (r = gen_stack->symrefs; r; r = r->nxt)
			printf("\tGenStack %s %d\n", r->sm->nme->str, r->status);
	}
	
	depth--;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x58, %rsp
testq %rdi, %rdi
je 0x1d452
movq %rdi, %r13
movq (%rdi), %rbp
testq %rbp, %rbp
je 0x1d452
leaq 0x5330b(%rip), %rax     # 0x6fe48
incl (%rax)
cmpw $0x0, 0x48(%r13)
je 0x1cb53
cmpl $0x1b, 0x1c(%rbp)
jne 0x1cb55
movq 0x40(%rbp), %rbp
jmp 0x1cb55
xorl %ebp, %ebp
movq 0x63f2c(%rip), %r12     # 0x80a88
testq %r12, %r12
je 0x1cb6f
movq 0x20(%r12), %rax
movq %rax, 0x63f1b(%rip)     # 0x80a88
jmp 0x1cb7c
movl $0x28, %edi
callq 0x5fdd
movq %rax, %r12
movq 0x63ee5(%rip), %rax     # 0x80a68
testq %rax, %rax
je 0x1cbf5
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%r12)
movq (%rax), %rbx
xorl %ecx, %ecx
testq %rbx, %rbx
je 0x1cbf9
movq %rbp, %r15
movl $0x1, %ebp
xorl %r14d, %r14d
movq %r13, %rdi
movq %rbx, %rsi
callq 0x1394b
testl %eax, %eax
cmovnel %ebp, %r14d
movq (%rbx), %rdi
callq 0x13853
movq 0x10(%rbx), %rcx
movq %rcx, 0x10(%rax)
movq 0x8(%rbx), %rcx
movq %rcx, 0x8(%rax)
movq (%r12), %rcx
movq %rcx, 0x18(%rax)
movq %rax, (%r12)
movq 0x18(%rbx), %rbx
testq %rbx, %rbx
jne 0x1cba5
movq 0x63e7e(%rip), %rax     # 0x80a68
testl %r14d, %r14d
setne %cl
movq %r15, %rbp
jmp 0x1cbf9
xorl %eax, %eax
xorl %ecx, %ecx
movq %rcx, 0x48(%rsp)
movq %rax, 0x20(%r12)
movq %r12, 0x63e5e(%rip)     # 0x80a68
movq %rbp, %r14
testq %rbp, %rbp
jne 0x1cc16
movq (%r13), %r14
movq %r14, 0x10(%r12)
movq 0x50(%r13), %rcx
testq %rcx, %rcx
je 0x1cc30
xorl %eax, %eax
cmpq $0x0, 0x10(%rcx)
sete %al
jmp 0x1cc35
movl $0x1, %eax
movl %eax, 0x63e39(%rip)     # 0x80a74
leaq 0x53266(%rip), %rax     # 0x6fea8
movq (%rax), %r15
testq %r15, %r15
je 0x1d3bd
leaq 0x3146(%rip), %rax      # 0x1fd9b
movq %rax, 0x18(%rsp)
movq %r12, 0x8(%rsp)
movq %r13, 0x28(%rsp)
movw $0x1, 0x4a(%r15)
cmpw $0x0, 0x48(%r15)
sete %al
movq (%r15), %r13
testq %r13, %r13
sete %cl
orb %al, %cl
movl 0x1c(%r13), %edi
je 0x1cca6
cmpl $0x1b, %edi
jg 0x1cccb
cmpl $0x2, %edi
je 0x1d1ae
cmpl $0x3, %edi
je 0x1cd0d
cmpl $0x5, %edi
je 0x1d1ae
jmp 0x1d4c5
cmpl $0x1b, %edi
jne 0x1ccaf
movq 0x40(%r13), %r13
movq 0x50(%r15), %rdi
movq %r13, %rsi
movq %r14, %rdx
callq 0x1e01e
movq %rax, %r15
movq 0x28(%rsp), %r13
jmp 0x1d1c4
cmpl $0x1c, %edi
je 0x1ceec
cmpl $0x22, %edi
je 0x1d1ae
cmpl $0x28, %edi
jne 0x1d4c5
movl 0x18(%r13), %eax
cmpl $0x167, %eax            # imm = 0x167
je 0x1d01a
cmpl $0x166, %eax            # imm = 0x166
jne 0x1d4c5
movq %r13, %rdi
movl $0x1, %esi
jmp 0x1d022
movq %r15, 0x10(%rsp)
movq 0x40(%r13), %rax
movl 0x1c(%rax), %edi
cmpl $0x2d, %edi
jne 0x1d53c
movq 0x40(%rax), %rax
movq 0x8(%rax), %rbx
xorl %r15d, %r15d
leaq 0x1afec(%rip), %rax     # 0x37d20
movq (%rax,%r15,4), %r12
movq %rbx, %rdi
movq %r12, %rsi
callq 0x3190
testl %eax, %eax
je 0x1cf65
addq $0x4, %r15
cmpq $0x1c, %r15
jne 0x1cd2d
movq %r14, (%rsp)
movq %rbp, 0x40(%rsp)
movq %rbx, %rdi
leaq 0x14135(%rip), %rsi     # 0x30e9d
callq 0x3190
movq 0x48(%r13), %rcx
movl 0x1c(%rcx), %edi
testl %eax, %eax
jne 0x1d57a
cmpl $0x2f, %edi
jne 0x1d57a
movq 0x40(%rcx), %rax
movq %rax, 0x38(%rsp)
movq 0x63cd3(%rip), %r13     # 0x80a68
testq %r13, %r13
je 0x1d180
movq 0x18(%r13), %rax
testq %rax, %rax
je 0x1cde2
cmpl $0x102, 0x18(%rax)      # imm = 0x102
jne 0x1cde2
movq 0x40(%rax), %rax
movq 0x8(%rax), %rdi
movq %rdi, 0x20(%rsp)
leaq 0x12f91(%rip), %rsi     # 0x2fd55
callq 0x3190
testl %eax, %eax
je 0x1cde8
movq 0x20(%rsp), %rdi
leaq 0x12f84(%rip), %rsi     # 0x2fd5d
callq 0x3190
testl %eax, %eax
je 0x1cde8
movq 0x20(%r13), %r13
jmp 0x1cd95
movq 0x20(%r13), %r14
testq %r14, %r14
je 0x1cde2
movq 0x10(%r14), %rbx
movq 0x28(%rbx), %rax
movq 0x10(%r13), %rcx
movq %rcx, 0x30(%rsp)
testq %rax, %rax
je 0x1ce7d
movq 0x30(%rsp), %rcx
movq 0x28(%rcx), %rcx
movq %rcx, 0x50(%rsp)
testq %rcx, %rcx
je 0x1ce7d
movq 0x18(%rax), %r12
testq %r12, %r12
je 0x1ce7d
movl 0x4(%r12), %eax
andl $0x19, %eax
cmpl $0x1, %eax
jne 0x1ce76
movq 0x50(%rsp), %rax
movq 0x18(%rax), %rbp
testq %rbp, %rbp
je 0x1ce76
movq 0x8(%r12), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %r15
movq 0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
movq %r15, %rdi
callq 0x3190
testl %eax, %eax
jne 0x1ce6d
testb $0x4, 0x4(%rbp)
jne 0x1cde2
movq 0x10(%rbp), %rbp
testq %rbp, %rbp
jne 0x1ce4b
movq 0x10(%r12), %r12
jmp 0x1ce1e
movq %rbx, %rdi
movq 0x30(%rsp), %rsi
callq 0x1e3dd
testl %eax, %eax
je 0x1cee3
movq 0x18(%r14), %rax
testq %rax, %rax
je 0x1cee3
cmpl $0x102, 0x18(%rax)      # imm = 0x102
jne 0x1cee3
movq 0x40(%rax), %rax
movq 0x8(%rax), %rbx
movq %rbx, %rdi
leaq 0x12ea3(%rip), %rsi     # 0x2fd55
callq 0x3190
testl %eax, %eax
je 0x1cece
movq %rbx, %rdi
leaq 0x12e98(%rip), %rsi     # 0x2fd5d
callq 0x3190
testl %eax, %eax
jne 0x1cee3
movq 0x20(%rsp), %rdi
movq %rbx, %rsi
callq 0x3190
testl %eax, %eax
jne 0x1d15e
movq 0x20(%r14), %r14
jmp 0x1cdec
movq 0x40(%r13), %rax
cmpl $0x2d, 0x1c(%rax)
jne 0x1d4ad
movq 0x40(%rax), %rax
movq 0x8(%rax), %rbx
movq 0x1b2a7(%rip), %rsi     # 0x381b0
movq %rbx, %rdi
callq 0x3190
testl %eax, %eax
je 0x1d034
movq %rbx, %rdi
leaq 0x144c5(%rip), %rsi     # 0x313e8
callq 0x3190
testl %eax, %eax
je 0x1d0b1
movq %rbx, %rdi
leaq 0x144b5(%rip), %rsi     # 0x313ef
callq 0x3190
testl %eax, %eax
jne 0x1d1ae
leaq 0x63a4a(%rip), %rbx     # 0x80998
movl $0x0, (%rbx)
movq 0x48(%r13), %rdi
movq %r14, %rsi
callq 0x1a750
jmp 0x1d057
movq %rbx, %rdi
leaq 0x14098(%rip), %rsi     # 0x31007
callq 0x3190
testl %eax, %eax
je 0x1d065
movq %rbx, %rdi
leaq 0x12d0b(%rip), %rsi     # 0x2fc91
callq 0x3190
testl %eax, %eax
je 0x1d065
movq %rbx, %rdi
leaq 0x14073(%rip), %rsi     # 0x31010
callq 0x3190
testl %eax, %eax
je 0x1d0f7
movq %r12, %rdi
leaq 0x12828(%rip), %rsi     # 0x2f7dc
callq 0x3190
testl %eax, %eax
je 0x1d10f
movq 0x48(%r13), %rax
testq %rax, %rax
je 0x1d5ca
movl 0x1c(%rax), %edi
cmpl $0xa, %edi
jne 0x1d59c
leaq 0x639b7(%rip), %rcx     # 0x80998
movl $0x0, (%rcx)
movq 0x40(%rax), %rdi
movq %r14, %rsi
callq 0x1a750
movl %eax, %ebx
movq 0x48(%r13), %rax
movq 0x48(%rax), %rdi
movq %r14, %rsi
callq 0x1a750
leaq 0x6398c(%rip), %rcx     # 0x80998
cmpl $0x0, (%rcx)
je 0x1d108
jmp 0x1d5a8
movq %r13, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x1e24d
testl %eax, %eax
jne 0x1d1ae
jmp 0x1d4ad
leaq 0x6395d(%rip), %rbx     # 0x80998
movl $0x0, (%rbx)
movq 0x48(%r13), %rdi
movq %r14, %rsi
callq 0x1a750
movq 0x63a14(%rip), %rcx     # 0x80a68
movl %eax, 0x8(%rcx)
cmpl $0x0, (%rbx)
je 0x1d1ae
jmp 0x1d4ad
movq 0x48(%r13), %rax
testq %rax, %rax
je 0x1d089
cmpl $0x2f, 0x1c(%rax)
jne 0x1d089
movq 0x40(%rax), %rdx
leaq 0x1426f(%rip), %rdi     # 0x312ee
movq %rbx, %rsi
xorl %eax, %eax
callq 0x3100
leaq 0x63990(%rip), %rax     # 0x80a20
incl (%r15,%rax)
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
leaq 0x1ac7e(%rip), %rax     # 0x37d20
callq *0x8(%rax,%r15,4)
movq 0x8(%rsp), %r12
jmp 0x1d1a9
movq 0x48(%r13), %rax
movl 0x1c(%rax), %ecx
cmpl $0x2d, %ecx
je 0x1d0d6
cmpl $0x2f, %ecx
jne 0x1d4ad
movq 0x40(%rax), %rax
movq %rax, 0x639a7(%rip)     # 0x80a78
jmp 0x1d1ae
movq 0x40(%rax), %rax
movq 0x8(%rax), %rdi
leaq 0x14172(%rip), %rsi     # 0x31257
callq 0x3190
testl %eax, %eax
je 0x1d1ae
jmp 0x1d4ad
leaq 0x6389a(%rip), %rax     # 0x80998
movl $0x0, (%rax)
xorl %ebx, %ebx
xorl %eax, %eax
movq 0x8(%rsp), %r12
jmp 0x1d13e
leaq 0x63882(%rip), %r12     # 0x80998
movl $0x0, (%r12)
movq 0x48(%r13), %rdi
movq %r14, %rsi
callq 0x1a750
cmpl $0x0, (%r12)
movq 0x8(%rsp), %r12
jne 0x1d5fa
movl %eax, %ebx
xorl %eax, %eax
movq %r14, %rdi
movl %ebx, %esi
movl %eax, %edx
leaq 0x1abd4(%rip), %rax     # 0x37d20
callq *0x8(%rax,%r15,4)
leaq 0x638c8(%rip), %rax     # 0x80a20
incl (%r15,%rax)
jmp 0x1d1a9
incl 0x638fc(%rip)           # 0x80a60
leaq 0x1b0cd(%rip), %rax     # 0x38238
cmpl $0x0, (%rax)
je 0x1d3ad
leaq 0x142f2(%rip), %rdi     # 0x3146d
callq 0x30a0
movq 0x638e1(%rip), %rdi     # 0x80a68
callq 0x1e2a0
testl %eax, %eax
je 0x1d1d2
movq $0x0, 0x638e5(%rip) # 0x80a80
movq 0x40(%rsp), %rbp
movq 0x8(%rsp), %r12
movq (%rsp), %r14
movq 0x10(%rsp), %r15
movq 0x50(%r15), %rax
testq %rax, %rax
movq 0x28(%rsp), %r13
je 0x1d3bd
movq 0x10(%rax), %r15
testq %r15, %r15
jne 0x1cc64
jmp 0x1d3bd
leaq 0x1b077(%rip), %rax     # 0x38250
cmpl $0x0, (%rax)
je 0x1d339
movq 0x63897(%rip), %rax     # 0x80a80
cmpq (%rsp), %rax
sete %dl
leaq 0x1b069(%rip), %rcx     # 0x38260
movl (%rcx), %ecx
testl %ecx, %ecx
setne %sil
testb %sil, %dl
jne 0x1d190
testl %ecx, %ecx
je 0x1d232
movq 0x63859(%rip), %rsi     # 0x80a68
xorl %edx, %edx
testq %rsi, %rsi
je 0x1d22a
cmpq $0x1, 0x18(%rsi)
movq 0x20(%rsi), %rdi
sbbl $-0x1, %edx
movq %rdi, %rsi
testq %rdi, %rdi
jne 0x1d216
cmpl %ecx, %edx
jge 0x1d190
movl 0x63858(%rip), %esi     # 0x80a90
incl %esi
movq (%rsp), %r14
cmpq %r14, %rax
movl %esi, 0x63849(%rip)     # 0x80a90
leaq 0x52c0a(%rip), %rcx     # 0x6fe58
movq (%rcx), %rcx
leaq 0x2b43(%rip), %rdi      # 0x1fd9b
movq %rdi, %r8
leaq 0x14122(%rip), %rdx     # 0x31384
cmoveq %rdx, %r8
movq (%rcx), %rdx
testq %rax, %rax
cmoveq %rdi, %r8
leaq 0x140f8(%rip), %rdi     # 0x3136f
movq 0x38(%rsp), %rcx
xorl %eax, %eax
callq 0x3100
movq 0x637de(%rip), %rax     # 0x80a68
movq (%rax), %rbx
testq %rbx, %rbx
leaq 0x14130(%rip), %r15     # 0x313c7
je 0x1d2bd
testb $0x1, 0x13(%rbx)
je 0x1d2b4
movq (%rbx), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
movq %r15, %rdi
xorl %eax, %eax
callq 0x3100
movq 0x18(%rbx), %rbx
testq %rbx, %rbx
jne 0x1d299
testq %r14, %r14
je 0x1d34f
movq (%rsp), %rax
movq 0x28(%rax), %rax
testq %rax, %rax
je 0x1d34f
movq 0x18(%rax), %rbx
testq %rbx, %rbx
je 0x1d34f
cmpl $0x0, (%rbx)
je 0x1d333
movq 0x63780(%rip), %rax     # 0x80a68
movq (%rax), %r14
testq %r14, %r14
je 0x1d31d
testb $0x1, 0x13(%r14)
je 0x1d317
movq (%r14), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
callq 0x3190
testl %eax, %eax
je 0x1d333
movq 0x18(%r14), %r14
jmp 0x1d2eb
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
movq %r15, %rdi
xorl %eax, %eax
callq 0x3100
movq 0x10(%rbx), %rbx
jmp 0x1d2d7
movq (%rsp), %rdi
callq 0x1a982
testl %eax, %eax
jne 0x1d190
jmp 0x1d1e2
movl $0xa, %edi
callq 0x3040
movl $0x1, %eax
movl %eax, 0x63730(%rip)     # 0x80a94
movl %eax, 0x63706(%rip)     # 0x80a70
movq 0x636f7(%rip), %rdi     # 0x80a68
callq 0x1e2f0
movl $0x0, 0x636f0(%rip)     # 0x80a70
movl $0xa, %edi
callq 0x3040
movq 0x1ac3f(%rip), %rax     # 0x37fd0
movq (%rax), %rdi
callq 0x31e0
movq 0x1ac58(%rip), %rax     # 0x37ff8
movq (%rax), %rdi
callq 0x31e0
jmp 0x1d190
cmpq $0x0, 0x10(%r13)
jne 0x1d190
jmp 0x1d180
movl 0x8(%r12), %ecx
cmpl $0x40, %ecx
jge 0x1d575
movq 0x40(%r13), %rax
movl $0x1, %edx
shll %cl, %edx
movslq %edx, %rcx
movq %rax, %rdx
andq %rcx, %rdx
sete %dl
movq 0x48(%rsp), %rsi
orb %dl, %sil
jne 0x1d461
cmpw $0x0, 0x4a(%r13)
je 0x1d461
movq (%r12), %rdi
callq 0x137a0
movq %rax, (%r12)
movl $0x0, 0x8(%r12)
xorl %edi, %edi
cmpq $0x0, 0x63654(%rip)     # 0x80a68
setne %dil
leaq 0x13fd7(%rip), %rsi     # 0x313f6
callq 0x1341d
movq 0x6363d(%rip), %rax     # 0x80a68
movq 0x20(%rax), %rax
movq %rax, 0x63632(%rip)     # 0x80a68
movq 0x6364b(%rip), %rax     # 0x80a88
movq %rax, 0x20(%r12)
movq %r12, 0x6363f(%rip)     # 0x80a88
leaq 0x529f8(%rip), %rax     # 0x6fe48
decl (%rax)
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
orq %rcx, %rax
movq %rax, 0x40(%r13)
movw $0x1, 0x4a(%r13)
movq 0x50(%r13), %rbx
testq %rbx, %rbx
je 0x1d3f4
cmpq $0x0, 0x10(%rbx)
je 0x1d3f4
movq (%rbx), %rsi
movq %rbp, %rdi
callq 0x139d0
testl %eax, %eax
jne 0x1d4a7
movq (%rbx), %rax
movq %rax, 0x18(%r12)
movq 0x10(%rbx), %rdi
callq 0x1cb10
movq 0x18(%rbx), %rbx
jmp 0x1d473
incl 0x635bd(%rip)           # 0x80a70
movq 0x48(%r13), %rdi
callq 0x5cbe
leaq 0x13d9a(%rip), %rdi     # 0x3125d
jmp 0x1d52d
incl 0x635a5(%rip)           # 0x80a70
callq 0x7937
movq %rax, %rbx
movq %r13, %rdi
callq 0x5cbe
leaq 0x13d99(%rip), %rdi     # 0x3127b
movq %rbx, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0x3100
movq 0x40(%r13), %rax
testq %rax, %rax
je 0x1d511
movl 0x1c(%rax), %edi
callq 0x7937
leaq 0x13d99(%rip), %rdi     # 0x312a0
movq %rax, %rsi
xorl %eax, %eax
callq 0x3100
movq 0x48(%r13), %rax
testq %rax, %rax
je 0x1d5f0
movl 0x1c(%rax), %edi
callq 0x7937
leaq 0x13d7d(%rip), %rdi     # 0x312aa
movq %rax, %rsi
xorl %eax, %eax
callq 0x3100
jmp 0x1d5f0
incl 0x6352e(%rip)           # 0x80a70
movq 0x8(%r13), %rbx
movl 0x10(%r13), %ebp
callq 0x7937
movq %rax, %r14
movq %r13, %rdi
callq 0x5cbe
leaq 0x13d53(%rip), %rdi     # 0x312b4
movq %rbx, %rsi
movl %ebp, %edx
movq %r14, %rcx
movq %rax, %r8
xorl %eax, %eax
callq 0x3100
jmp 0x1d5f0
callq 0x437f
callq 0x7937
leaq 0x13dc5(%rip), %rdi     # 0x3134b
leaq 0x13910(%rip), %rsi     # 0x30e9d
movq %rbx, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0x3100
jmp 0x1d5f0
movq 0x1aa55(%rip), %rax     # 0x37ff8
movq (%rax), %rbx
jmp 0x1d5be
movq 0x48(%r13), %rax
movq 0x1aa45(%rip), %rcx     # 0x37ff8
movq (%rcx), %rbx
testq %rax, %rax
je 0x1d5d4
movl 0x1c(%rax), %edi
callq 0x7937
movq %rax, 0x18(%rsp)
jmp 0x1d5d4
movq 0x1aa27(%rip), %rax     # 0x37ff8
movq (%rax), %rbx
leaq 0x13d39(%rip), %rsi     # 0x31314
movq %rbx, %rdi
movq %r12, %rdx
movq %r12, %rcx
movq 0x18(%rsp), %r8
xorl %eax, %eax
callq 0x31a0
movl $0x1, %edi
callq 0x3260
callq 0x435a