// File: /workspace/github_c_makefile_star2_O2/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 0x1b27e
movq (%rdi), %r15
testq %r15, %r15
je 0x1b27e
leaq 0x544bc(%rip), %rax     # 0x6ee48
incl (%rax)
cmpw $0x0, 0x48(%rdi)
je 0x1a9a2
cmpl $0x1b, 0x1c(%r15)
jne 0x1a9a5
movq 0x40(%r15), %r15
jmp 0x1a9a5
xorl %r15d, %r15d
movq 0x650dc(%rip), %r12     # 0x7fa88
testq %r12, %r12
movq %rdi, 0x8(%rsp)
je 0x1a9c4
movq 0x20(%r12), %rax
movq %rax, 0x650c6(%rip)     # 0x7fa88
jmp 0x1a9cf
pushq $0x28
popq %rdi
callq 0x4da5
movq %rax, %r12
movq 0x65092(%rip), %rbx     # 0x7fa68
xorl %r14d, %r14d
testq %rbx, %rbx
je 0x1aa42
movl 0x8(%rbx), %eax
movl %eax, 0x8(%r12)
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x1aa2e
movq 0x8(%rsp), %rdi
movq %rbx, %rsi
callq 0x12731
testl %eax, %eax
pushq $0x1
popq %rax
cmovnel %eax, %r14d
movq (%rbx), %rdi
callq 0x12673
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)
addq $0x18, %rbx
jmp 0x1a9e6
testl %r14d, %r14d
movq 0x65030(%rip), %r14     # 0x7fa68
setne %al
movq %rax, 0x30(%rsp)
jmp 0x1aa4b
movq $0x0, 0x30(%rsp)
movq %r14, 0x20(%r12)
movq %r12, 0x65011(%rip)     # 0x7fa68
movq %r15, %rax
testq %r15, %r15
movq 0x8(%rsp), %r14
jne 0x1aa67
movq (%r14), %rax
movq %rax, (%rsp)
movq %rax, 0x10(%r12)
movq 0x50(%r14), %rcx
pushq $0x1
popq %rax
testq %rcx, %rcx
je 0x1aa86
xorl %eax, %eax
cmpq $0x0, 0x10(%rcx)
sete %al
leaq 0x50(%r14), %rcx
movq %rcx, 0x50(%rsp)
movl %eax, 0x64fdf(%rip)     # 0x7fa74
leaq 0x5440c(%rip), %rax     # 0x6eea8
movq (%rax), %rdx
leaq 0x32f5(%rip), %rax      # 0x1dd9b
movq %rax, 0x28(%rsp)
movq %r15, 0x18(%rsp)
movq %r12, 0x10(%rsp)
testq %rdx, %rdx
je 0x1b1e9
movw $0x1, 0x4a(%rdx)
cmpw $0x0, 0x48(%rdx)
sete %al
movq (%rdx), %rbp
testq %rbp, %rbp
sete %cl
orb %al, %cl
movl 0x1c(%rbp), %edi
je 0x1ac19
cmpl $0x2, %edi
je 0x1b1be
cmpl $0x28, %edi
je 0x1ac3a
cmpl $0x5, %edi
je 0x1b1be
cmpl $0x1c, %edi
je 0x1ac5d
cmpl $0x22, %edi
je 0x1b1be
cmpl $0x3, %edi
jne 0x1b2ec
movq %rdx, 0x20(%rsp)
movq 0x40(%rbp), %rax
movl 0x1c(%rax), %edi
cmpl $0x2d, %edi
jne 0x1b363
movq 0x40(%rax), %rax
movq 0x8(%rax), %r12
xorl %r14d, %r14d
leaq 0x1c1e3(%rip), %r15     # 0x36d20
cmpq $0x1c, %r14
je 0x1ace6
movq (%r15,%r14,4), %rbx
movq %r12, %rdi
movq %rbx, %rsi
callq 0x3190
addq $0x4, %r14
testl %eax, %eax
jne 0x1ab3d
movq %r12, %rdi
leaq 0x144d3(%rip), %rsi     # 0x2f03b
callq 0x3190
testl %eax, %eax
je 0x1af03
movq %r12, %rdi
leaq 0x13146(%rip), %rsi     # 0x2dcc5
callq 0x3190
testl %eax, %eax
je 0x1af03
movq %r12, %rdi
leaq 0x144ae(%rip), %rsi     # 0x2f044
callq 0x3190
testl %eax, %eax
je 0x1afe6
movq %rbx, %rdi
leaq 0x12c4f(%rip), %rsi     # 0x2d7fc
callq 0x3190
testl %eax, %eax
je 0x1b16b
movq 0x48(%rbp), %rax
testq %rax, %rax
movq (%rsp), %r15
je 0x1b40d
movl 0x1c(%rax), %edi
cmpl $0xa, %edi
jne 0x1b3df
leaq 0x64dba(%rip), %r13     # 0x7f998
andl $0x0, (%r13)
movq 0x40(%rax), %rdi
movq %r15, %rsi
callq 0x18519
movl %eax, %r12d
movq 0x48(%rbp), %rax
movq 0x48(%rax), %rdi
movq %r15, %rsi
callq 0x18519
cmpl $0x0, (%r13)
jne 0x1b3eb
leaq 0x1c10c(%rip), %r15     # 0x36d20
jmp 0x1b190
cmpl $0x1b, %edi
jne 0x1ac22
movq 0x40(%rbp), %rbp
movq 0x50(%rdx), %rdi
movq %rbp, %rsi
movq (%rsp), %rdx
callq 0x1bdf2
movq %rax, %rdx
jmp 0x1aab5
movl 0x18(%rbp), %eax
cmpl $0x167, %eax            # imm = 0x167
je 0x1aebc
cmpl $0x166, %eax            # imm = 0x166
jne 0x1b2ec
movq %rbp, %rdi
pushq $0x1
jmp 0x1aec1
movq 0x40(%rbp), %rax
cmpl $0x2d, 0x1c(%rax)
jne 0x1b2d4
movq %rdx, %r13
movq 0x40(%rax), %rax
movq 0x8(%rax), %rbx
movq 0x1c53b(%rip), %rsi     # 0x371b8
movq %rbx, %rdi
callq 0x3190
testl %eax, %eax
je 0x1aeda
movq %rbx, %rdi
leaq 0x14785(%rip), %rsi     # 0x2f41c
callq 0x3190
testl %eax, %eax
je 0x1af45
movq %rbx, %rdi
leaq 0x14775(%rip), %rsi     # 0x2f423
callq 0x3190
testl %eax, %eax
movq %r13, %rdx
jne 0x1b1be
leaq 0x64cd3(%rip), %rbx     # 0x7f998
andl $0x0, (%rbx)
movq 0x48(%rbp), %rdi
movq (%rsp), %rsi
callq 0x18519
movq %r13, %rdx
cmpl $0x0, (%rbx)
je 0x1b1be
jmp 0x1b2d4
movq %r12, %rdi
leaq 0x141e1(%rip), %rsi     # 0x2eed1
callq 0x3190
movq 0x48(%rbp), %rcx
movl 0x1c(%rcx), %edi
testl %eax, %eax
jne 0x1b3a0
cmpl $0x2f, %edi
jne 0x1b3a0
movq 0x40(%rcx), %rax
movq %rax, 0x48(%rsp)
leaq 0x64d4b(%rip), %r14     # 0x7fa68
movq (%r14), %r14
testq %r14, %r14
je 0x1ae9b
movq 0x18(%r14), %rax
testq %rax, %rax
je 0x1ad6d
cmpl $0x102, 0x18(%rax)      # imm = 0x102
jne 0x1ad6d
movq 0x40(%rax), %rax
movq 0x8(%rax), %rdi
movq %rdi, 0x38(%rsp)
leaq 0x1303a(%rip), %rsi     # 0x2dd89
callq 0x3190
testl %eax, %eax
je 0x1ad73
movq 0x38(%rsp), %rdi
leaq 0x1302d(%rip), %rsi     # 0x2dd91
callq 0x3190
testl %eax, %eax
je 0x1ad73
addq $0x20, %r14
jmp 0x1ad1d
movq %r14, %r15
movq 0x20(%r15), %r15
testq %r15, %r15
je 0x1ad6d
movq 0x10(%r15), %rbx
movq 0x28(%rbx), %rbp
movq 0x10(%r14), %rax
movq %rax, 0x40(%rsp)
testq %rbp, %rbp
je 0x1ae03
movq 0x40(%rsp), %rax
movq 0x28(%rax), %r12
testq %r12, %r12
je 0x1ae03
addq $0x18, %rbp
addq $0x18, %r12
movq (%rbp), %rbp
testq %rbp, %rbp
je 0x1ae03
movl 0x4(%rbp), %eax
andl $0x19, %eax
cmpl $0x1, %eax
jne 0x1adfd
movq %r12, %r13
movq (%r13), %r13
testq %r13, %r13
je 0x1adfd
movq 0x8(%rbp), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rdi
movq 0x8(%r13), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
callq 0x3190
testl %eax, %eax
jne 0x1adf7
testb $0x4, 0x4(%r13)
jne 0x1ad6d
addq $0x10, %r13
jmp 0x1adc2
addq $0x10, %rbp
jmp 0x1adab
movq %rbx, %rdi
movq 0x40(%rsp), %rsi
callq 0x1c194
testl %eax, %eax
je 0x1ad76
movq 0x18(%r15), %rax
testq %rax, %rax
je 0x1ad76
cmpl $0x102, 0x18(%rax)      # imm = 0x102
jne 0x1ad76
movq 0x40(%rax), %rax
movq 0x8(%rax), %rbx
movq %rbx, %rdi
leaq 0x12f45(%rip), %rsi     # 0x2dd89
callq 0x3190
testl %eax, %eax
je 0x1ae64
movq %rbx, %rdi
leaq 0x12f3a(%rip), %rsi     # 0x2dd91
callq 0x3190
testl %eax, %eax
jne 0x1ad76
movq 0x38(%rsp), %rdi
movq %rbx, %rsi
callq 0x3190
testl %eax, %eax
je 0x1ad76
incl 0x64be1(%rip)           # 0x7fa60
leaq 0x1c3b2(%rip), %rax     # 0x37238
cmpl $0x0, (%rax)
je 0x1b1d9
leaq 0x1460b(%rip), %rdi     # 0x2f4a1
callq 0x30a0
movq 0x64bc6(%rip), %rdi     # 0x7fa68
callq 0x1c06a
testl %eax, %eax
je 0x1af6d
andq $0x0, 0x64bc9(%rip)     # 0x7fa80
jmp 0x1b1aa
movq %rbp, %rdi
pushq $-0x1
popq %rsi
movq %rdx, %rbx
callq 0x1c019
movq %rbx, %rdx
testl %eax, %eax
jne 0x1b1be
jmp 0x1b2d4
leaq 0x64ab7(%rip), %rbx     # 0x7f998
andl $0x0, (%rbx)
movq 0x48(%rbp), %rdi
movq (%rsp), %rsi
callq 0x18519
movq 0x64b70(%rip), %rcx     # 0x7fa68
movl %eax, 0x8(%rcx)
cmpl $0x0, (%rbx)
jmp 0x1afd8
movq 0x48(%rbp), %rax
testq %rax, %rax
je 0x1af27
cmpl $0x2f, 0x1c(%rax)
jne 0x1af27
movq 0x40(%rax), %rdx
leaq 0x14405(%rip), %rdi     # 0x2f322
movq %r12, %rsi
xorl %eax, %eax
callq 0x3100
leaq 0x64af2(%rip), %rax     # 0x7fa20
incl -0x4(%r14,%rax)
movq (%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq *-0x8(%r15,%r14,4)
jmp 0x1b1aa
movq 0x48(%rbp), %rax
movl 0x1c(%rax), %ecx
cmpl $0x2d, %ecx
je 0x1afc2
cmpl $0x2f, %ecx
jne 0x1b2d4
movq %r13, %rdx
movq 0x40(%rax), %rax
movq %rax, 0x64b10(%rip)     # 0x7fa78
jmp 0x1b1be
leaq 0x1c2dc(%rip), %rax     # 0x37250
cmpl $0x0, (%rax)
je 0x1aff8
movq 0x64b00(%rip), %rax     # 0x7fa80
cmpq (%rsp), %rax
sete %dl
leaq 0x1c2d2(%rip), %rcx     # 0x37260
movl (%rcx), %ecx
testl %ecx, %ecx
setne %sil
testb %sil, %dl
jne 0x1aeaf
testl %ecx, %ecx
je 0x1b016
xorl %edx, %edx
leaq 0x64abc(%rip), %rsi     # 0x7fa68
movq (%rsi), %rsi
testq %rsi, %rsi
je 0x1b00e
cmpq $0x1, 0x18(%rsi)
sbbl $-0x1, %edx
addq $0x20, %rsi
jmp 0x1afac
movq 0x40(%rax), %rax
movq 0x8(%rax), %rdi
leaq 0x142ba(%rip), %rsi     # 0x2f28b
callq 0x3190
testl %eax, %eax
movq %r13, %rdx
je 0x1b1be
jmp 0x1b2d4
leaq 0x649ab(%rip), %rax     # 0x7f998
andl $0x0, (%rax)
xorl %r12d, %r12d
jmp 0x1b18e
movq (%rsp), %rdi
callq 0x18755
testl %eax, %eax
jne 0x1aeaf
jmp 0x1af79
cmpl %ecx, %edx
jge 0x1aeaf
movl 0x64a74(%rip), %esi     # 0x7fa90
incl %esi
movq (%rsp), %r14
cmpq %r14, %rax
movl %esi, 0x64a65(%rip)     # 0x7fa90
leaq 0x53e26(%rip), %rcx     # 0x6ee58
movq (%rcx), %rcx
leaq 0x2d5f(%rip), %rdi      # 0x1dd9b
movq %rdi, %r8
leaq 0x14372(%rip), %rdx     # 0x2f3b8
cmoveq %rdx, %r8
movq (%rcx), %rdx
testq %rax, %rax
cmoveq %rdi, %r8
leaq 0x14348(%rip), %rdi     # 0x2f3a3
movq 0x48(%rsp), %rcx
xorl %eax, %eax
callq 0x3100
movq 0x649fa(%rip), %rbx     # 0x7fa68
leaq 0x14386(%rip), %r15     # 0x2f3fb
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x1b09e
testb $0x1, 0x13(%rbx)
je 0x1b098
movq (%rbx), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
movq %r15, %rdi
xorl %eax, %eax
callq 0x3100
addq $0x18, %rbx
jmp 0x1b075
testq %r14, %r14
je 0x1b115
movq 0x28(%r14), %rbx
testq %rbx, %rbx
je 0x1b115
addq $0x18, %rbx
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x1b115
cmpl $0x0, (%rbx)
je 0x1b10f
movq 0x649a4(%rip), %r14     # 0x7fa68
movq (%r14), %r14
testq %r14, %r14
je 0x1b0f9
testb $0x1, 0x13(%r14)
je 0x1b0f3
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 0x1b10f
addq $0x18, %r14
jmp 0x1b0c4
movq 0x8(%rbx), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rsi
movq %r15, %rdi
xorl %eax, %eax
callq 0x3100
addq $0x10, %rbx
jmp 0x1b0b0
pushq $0xa
popq %rbx
movl %ebx, %edi
callq 0x3040
pushq $0x1
popq %rax
movl %eax, 0x6496c(%rip)     # 0x7fa94
movl %eax, 0x64942(%rip)     # 0x7fa70
movq 0x64933(%rip), %rdi     # 0x7fa68
callq 0x1c0b5
andl $0x0, 0x6492f(%rip)     # 0x7fa70
movl %ebx, %edi
callq 0x3040
movq 0x1be81(%rip), %rax     # 0x36fd0
movq (%rax), %rdi
callq 0x31e0
movq 0x1be9a(%rip), %rax     # 0x36ff8
movq (%rax), %rdi
callq 0x31e0
jmp 0x1aeaf
leaq 0x64826(%rip), %rbx     # 0x7f998
andl $0x0, (%rbx)
movq 0x48(%rbp), %rdi
movq (%rsp), %rsi
callq 0x18519
cmpl $0x0, (%rbx)
jne 0x1b43b
movl %eax, %r12d
xorl %eax, %eax
movq (%rsp), %rdi
movl %r12d, %esi
movl %eax, %edx
callq *-0x8(%r15,%r14,4)
leaq 0x6487b(%rip), %rax     # 0x7fa20
incl -0x4(%r14,%rax)
movq 0x18(%rsp), %r15
movq 0x10(%rsp), %r12
movq 0x8(%rsp), %r14
movq 0x20(%rsp), %rdx
movq 0x50(%rdx), %rax
movl $0x0, %edx
testq %rax, %rax
je 0x1aab5
movq 0x10(%rax), %rdx
jmp 0x1aab5
cmpq $0x0, 0x10(%r14)
jne 0x1aeaf
jmp 0x1ae9b
movl 0x8(%r12), %ecx
cmpl $0x40, %ecx
jge 0x1b3c2
movq 0x40(%r14), %rax
pushq $0x1
popq %rdx
shll %cl, %edx
movslq %edx, %rcx
movq %rax, %rdx
andq %rcx, %rdx
sete %dl
movq 0x30(%rsp), %rsi
orb %dl, %sil
movq 0x50(%rsp), %rbx
jne 0x1b28d
cmpw $0x0, 0x4a(%r14)
je 0x1b28d
movq (%r12), %rdi
callq 0x125c7
movq %rax, (%r12)
andl $0x0, 0x8(%r12)
xorl %edi, %edi
cmpq $0x0, 0x64828(%rip)     # 0x7fa68
setne %dil
leaq 0x141df(%rip), %rsi     # 0x2f42a
callq 0x1225f
movq 0x64811(%rip), %rax     # 0x7fa68
movq 0x20(%rax), %rax
movq %rax, 0x64806(%rip)     # 0x7fa68
movq 0x6481f(%rip), %rax     # 0x7fa88
movq %rax, 0x20(%r12)
movq %r12, 0x64813(%rip)     # 0x7fa88
leaq 0x53bcc(%rip), %rax     # 0x6ee48
decl (%rax)
addq $0x58, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
orq %rcx, %rax
movq %rax, 0x40(%r14)
movw $0x1, 0x4a(%r14)
movq (%rbx), %rbx
testq %rbx, %rbx
je 0x1b223
cmpq $0x0, 0x10(%rbx)
je 0x1b223
movq (%rbx), %rsi
movq %r15, %rdi
callq 0x12791
testl %eax, %eax
jne 0x1b2ce
movq (%rbx), %rax
movq %rax, 0x18(%r12)
movq 0x10(%rbx), %rdi
callq 0x1a962
addq $0x18, %rbx
jmp 0x1b29b
incl 0x64796(%rip)           # 0x7fa70
movq 0x48(%rbp), %rdi
callq 0x4ac7
leaq 0x13fa7(%rip), %rdi     # 0x2f291
jmp 0x1b354
incl 0x6477e(%rip)           # 0x7fa70
callq 0x66b2
movq %rax, %rbx
movq %rbp, %rdi
callq 0x4ac7
leaq 0x13fa6(%rip), %rdi     # 0x2f2af
movq %rbx, %rsi
movq %rax, %rdx
xorl %eax, %eax
callq 0x3100
movq 0x40(%rbp), %rax
testq %rax, %rax
je 0x1b338
movl 0x1c(%rax), %edi
callq 0x66b2
leaq 0x13fa6(%rip), %rdi     # 0x2f2d4
movq %rax, %rsi
xorl %eax, %eax
callq 0x3100
movq 0x48(%rbp), %rax
testq %rax, %rax
je 0x1b433
movl 0x1c(%rax), %edi
callq 0x66b2
leaq 0x13f8a(%rip), %rdi     # 0x2f2de
movq %rax, %rsi
xorl %eax, %eax
callq 0x3100
jmp 0x1b433
incl 0x64707(%rip)           # 0x7fa70
movq 0x8(%rbp), %rbx
movl 0x10(%rbp), %r14d
callq 0x66b2
movq %rax, %r15
movq %rbp, %rdi
callq 0x4ac7
leaq 0x13f60(%rip), %rdi     # 0x2f2e8
movq %rbx, %rsi
movl %r14d, %edx
movq %r15, %rcx
movq %rax, %r8
xorl %eax, %eax
callq 0x3100
jmp 0x1b433
callq 0x66b2
leaq 0x13fd3(%rip), %rdi     # 0x2f37f
leaq 0x13b1e(%rip), %rsi     # 0x2eed1
movq %r12, %rdx
movq %rax, %rcx
xorl %eax, %eax
callq 0x3100
jmp 0x1b433
movq 0x1bc2f(%rip), %rax     # 0x36ff8
movq (%rax), %rdi
leaq 0x13c20(%rip), %rsi     # 0x2eff3
pushq $0x3f
popq %rdx
xorl %eax, %eax
callq 0x31a0
jmp 0x1b433
movq 0x1bc12(%rip), %rax     # 0x36ff8
movq (%rax), %r14
jmp 0x1b401
movq 0x48(%rbp), %rax
movq 0x1bc02(%rip), %rcx     # 0x36ff8
movq (%rcx), %r14
testq %rax, %rax
je 0x1b417
movl 0x1c(%rax), %edi
callq 0x66b2
movq %rax, 0x28(%rsp)
jmp 0x1b417
movq 0x1bbe4(%rip), %rax     # 0x36ff8
movq (%rax), %r14
leaq 0x13f2a(%rip), %rsi     # 0x2f348
movq %r14, %rdi
movq %rbx, %rdx
movq %rbx, %rcx
movq 0x28(%rsp), %r8
xorl %eax, %eax
callq 0x31a0
pushq $0x1
popq %rdi
callq 0x3270
movq 0x1bbb6(%rip), %rax     # 0x36ff8
movq (%rax), %rcx
leaq 0x13ee0(%rip), %rdi     # 0x2f32c
pushq $0x1b
popq %rsi
pushq $0x1
popq %rdx
callq 0x3280
jmp 0x1b433