// File: /workspace/github_c_makefile_star2_O2/dalnefre[P]kernel_abe/emit.c
// Function: test_str_to_cons
void
test_str_to_cons()
{
	CONS* p;
	CONS* q;
	char buf[8];

	DBUG_ENTER("test_str_to_cons");
	TRACE(printf("--test_str_to_cons--\n"));

	p = str_to_cons("0");
	assert(p != NULL);
	assert(numberp(p));
	assert(p == NUMBER(0));

	strncpy(buf, "T", sizeof(buf));
	p = str_to_cons(buf);
	assert(p != NULL);
	assert(atomp(p));
	assert(p == ATOM("T"));

	p = str_to_cons("zero");
	assert(p != NULL);
	assert(atomp(p));
	assert(p == ATOM("zero"));
	
	p = str_to_cons("NIL");
	assert(p != NULL);
	assert(nilp(p));

	p = str_to_cons("-");
	assert(p != NULL);
	assert(atomp(p));
	assert(p == ATOM("-"));
	
	p = str_to_cons("-1");
	assert(p != NULL);
	assert(numberp(p));
	assert(p == NUMBER(-1));

	p = str_to_cons("-0_!?");
	assert(p != NULL);
	assert(atomp(p));
	assert(p == ATOM("-0_!?"));
	
	p = str_to_cons("\"@ (:.)\"");
	assert(p != NULL);
	assert(atomp(p));
	assert(p == ATOM("@ (:.)"));
	
	p = str_to_cons("(0)");
	assert(p != NULL);
	assert(consp(p));
	assert(!nilp(p));
	assert(nilp(cdr(p)));
	p = car(p);
	assert(numberp(p));
	assert(p == NUMBER(0));

	p = str_to_cons("(0 -1)");
	assert(p != NULL);
	q = cons(NUMBER(0), cons(NUMBER(-1), NIL));
	assert(equal(p, q));

	p = str_to_cons("(0 (42 -1))");
	DBUG_PRINT("", ("p=%s", cons_to_str(p)));
	assert(p != NULL);
	q = cons(NUMBER(42), cons(NUMBER(-1), NIL));
	q = cons(NUMBER(0), cons(q, NIL));
	assert(equal(p, q));
	
	p = str_to_cons("()");
	assert(p != NULL);
	assert(nilp(p));
	
	p = str_to_cons("(0:1)");
	assert(p != NULL);
	assert(consp(p));
	assert(!nilp(p));
	assert(!nilp(cdr(p)));
	q = car(p);
	assert(numberp(q));
	assert(q == NUMBER(0));
	q = cdr(p);
	assert(numberp(q));
	assert(q == NUMBER(1));

	p = str_to_cons("(NAME :value)");
	assert(p != NULL);
	assert(consp(p));
	assert(!nilp(p));
	assert(!nilp(cdr(p)));
	q = car(p);
	assert(atomp(q));
	assert(q == ATOM("NAME"));
	q = cdr(p);
	assert(atomp(q));
	assert(q == ATOM("value"));

	p = str_to_cons("( actor  state: behavior )");
	DBUG_PRINT("", ("p=%s", cons_to_str(p)));
	assert(p != NULL);
	q = cons(ATOM("actor"), cons(ATOM("state"), ATOM("behavior")));
	assert(equal(p, q));

	q = cons(ATOM("ATOM"), cons(ATOM("T"), NIL));
	q = cons(ATOM("QUOTE"), cons(q, NIL));
	p = str_to_cons("(QUOTE (ATOM T))");
	assert(equal(p, q));
	p = str_to_cons("  ( QUOTE( \r\nATOM  T\t)  )");
	assert(equal(p, q));
	
	q = cons(cons(NIL, NIL), NIL);
	q = cons(cons(ATOM("ACTORS"), NIL), q);
	p = str_to_cons("((ACTORS)(()))");
	DBUG_PRINT("", ("p=%s", cons_to_str(p)));
	assert(p != NULL);
	DBUG_PRINT("", ("q=%s", cons_to_str(q)));
	assert(equal(p, q));
	
	p = str_to_cons("'ATOM");
	DBUG_PRINT("", ("p=%s", cons_to_str(p)));
	assert(p != NULL);
	q = cons(ATOM("ATOM"), NIL);
	q = cons(ATOM("literal"), q);
	assert(equal(p, q));
	
	p = str_to_cons("'(QUOTE ATOM)");
	DBUG_PRINT("", ("p=%s", cons_to_str(p)));
	assert(p != NULL);
	q = cons(ATOM("ATOM"), NIL);
	q = cons(ATOM("QUOTE"), q);
	q = cons(ATOM("literal"), cons(q, NIL));
	assert(equal(p, q));
	
	p = str_to_cons("('x 'y)");
	DBUG_PRINT("", ("p=%s", cons_to_str(p)));
	assert(p != NULL);
	q = cons(cons(ATOM("literal"), cons(ATOM("y"), NIL)), NIL);
	q = cons(cons(ATOM("literal"), cons(ATOM("x"), NIL)), q);
	assert(equal(p, q));
	
	DBUG_RETURN;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
leaq 0x81c4(%rip), %rax      # 0x1d6f6
leaq 0x10(%rsp), %rdi
movq %rax, (%rdi)
leaq 0xedef(%rip), %r13      # 0x24330
movq (%r13), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%rdi)
movl $0x291, 0xc(%rdi)       # imm = 0x291
leaq 0x6ded(%rip), %rbx      # 0x1c34a
movq %rbx, 0x10(%rdi)
leaq 0xec58(%rip), %rcx      # 0x241c0
movq %rcx, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1b079
leaq 0x83ab(%rip), %rdi      # 0x1d927
callq 0x20a0
leaq 0x85d1(%rip), %rdi      # 0x1db59
callq 0x14f02
testq %rax, %rax
je 0x15eb8
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x15ed7
cmpq $0x3, %rax
jne 0x15ef6
leaq 0x8(%rsp), %rdi
movq $0x54, (%rdi)
callq 0x14f02
testq %rax, %rax
je 0x15f15
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x15f34
leaq 0x6f57(%rip), %rdi      # 0x1c534
callq 0x1691f
cmpq %rax, %r14
jne 0x15f53
leaq 0x7d4f(%rip), %rdi      # 0x1d341
callq 0x14f02
testq %rax, %rax
je 0x15f72
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x15f91
leaq 0x7d2b(%rip), %rdi      # 0x1d341
callq 0x1691f
cmpq %rax, %r14
jne 0x15fb0
leaq 0x8e3e(%rip), %rdi      # 0x1e469
callq 0x14f02
testq %rax, %rax
je 0x15fcf
cmpq 0xe980(%rip), %rax      # 0x23fc0
jne 0x15fee
leaq 0x8b3e(%rip), %rdi      # 0x1e18b
callq 0x14f02
testq %rax, %rax
je 0x1600d
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x1602c
leaq 0x8b1a(%rip), %rdi      # 0x1e18b
callq 0x1691f
cmpq %rax, %r14
jne 0x1604b
leaq 0x7ba9(%rip), %rdi      # 0x1d22f
callq 0x14f02
testq %rax, %rax
je 0x1606a
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x16089
cmpq $-0x1, %rax
jne 0x160a8
leaq 0x80d0(%rip), %rdi      # 0x1d782
callq 0x14f02
testq %rax, %rax
je 0x160c7
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x160e6
leaq 0x80ac(%rip), %rdi      # 0x1d782
callq 0x1691f
cmpq %rax, %r14
jne 0x16105
leaq 0x7e4c(%rip), %rdi      # 0x1d537
callq 0x14f02
testq %rax, %rax
je 0x16124
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16143
leaq 0x7e13(%rip), %rdi      # 0x1d522
callq 0x1691f
cmpq %rax, %r14
jne 0x16162
leaq 0x8edb(%rip), %rdi      # 0x1e5ff
callq 0x14f02
testq %rax, %rax
je 0x16181
movq %rax, %r14
testb $0x3, %r14b
jne 0x161a0
cmpq 0xe87a(%rip), %r14      # 0x23fc0
je 0x161bf
movq %r14, %rdi
callq 0x19306
cmpq 0xe865(%rip), %rax      # 0x23fc0
jne 0x161de
movq %r14, %rdi
callq 0x191fb
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x161fd
cmpq $0x3, %rax
jne 0x1621c
leaq 0x8028(%rip), %rdi      # 0x1d7af
callq 0x14f02
testq %rax, %rax
je 0x1623b
movq %rax, %r14
leaq 0xeb01(%rip), %rsi      # 0x242a0
pushq $-0x1
popq %rdi
callq 0x19164
pushq $0x3
popq %rdi
movq %rax, %rsi
callq 0x19164
movq %r14, %rdi
movq %rax, %rsi
callq 0x1942d
testq %rax, %rax
je 0x1625a
leaq 0x7ff5(%rip), %rdi      # 0x1d7c2
callq 0x14f02
movq %rax, %r14
leaq 0xf154(%rip), %rbp      # 0x24930
cmpl $0x0, (%rbp)
je 0x15826
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1a7f4
testl %eax, %eax
je 0x15826
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2cb, 0xc(%rax)       # imm = 0x2CB
movq %r14, %rdi
callq 0x13708
leaq 0x7fb6(%rip), %rdi      # 0x1d7ce
leaq 0xebd1(%rip), %rsi      # 0x243f0
xorl %eax, %eax
callq 0x1b0f0
testq %r14, %r14
je 0x16279
leaq 0xea6a(%rip), %r15      # 0x242a0
pushq $-0x1
popq %rdi
movq %r15, %rsi
callq 0x19164
movl $0xab, %edi
movq %rax, %rsi
callq 0x19164
movq %rax, %rdi
movq %r15, %rsi
callq 0x19164
pushq $0x3
popq %rdi
movq %rax, %rsi
callq 0x19164
movq %r14, %rdi
movq %rax, %rsi
callq 0x1942d
testq %rax, %rax
je 0x16298
leaq 0x68de(%rip), %rdi      # 0x1c15d
callq 0x14f02
testq %rax, %rax
je 0x162b7
cmpq 0xe72c(%rip), %rax      # 0x23fc0
jne 0x162d6
leaq 0x7f32(%rip), %rdi      # 0x1d7d3
callq 0x14f02
testq %rax, %rax
je 0x162f5
movq %rax, %r14
testb $0x3, %r14b
jne 0x16314
cmpq 0xe6fd(%rip), %r14      # 0x23fc0
je 0x16333
movq %r14, %rdi
callq 0x19306
cmpq 0xe6e8(%rip), %rax      # 0x23fc0
je 0x16352
movq %r14, %rdi
callq 0x191fb
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x16371
cmpq $0x3, %rax
jne 0x16390
movq %r14, %rdi
callq 0x19306
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x163af
cmpq $0x7, %rax
jne 0x163ce
leaq 0x7eed(%rip), %rdi      # 0x1d810
callq 0x14f02
testq %rax, %rax
je 0x163ed
movq %rax, %r14
testb $0x3, %r14b
jne 0x1640c
cmpq 0xe67b(%rip), %r14      # 0x23fc0
je 0x1642b
movq %r14, %rdi
callq 0x19306
cmpq 0xe666(%rip), %rax      # 0x23fc0
je 0x1644a
movq %r14, %rdi
callq 0x191fb
movq %rax, %r15
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16469
leaq 0x7ea9(%rip), %rdi      # 0x1d827
callq 0x1691f
cmpq %rax, %r15
jne 0x16488
movq %r14, %rdi
callq 0x19306
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x164a7
leaq 0x86fd(%rip), %rdi      # 0x1e0a7
callq 0x1691f
cmpq %rax, %r14
jne 0x164c6
leaq 0x7e92(%rip), %rdi      # 0x1d851
callq 0x14f02
movq %rax, %r14
cmpl $0x0, (%rbp)
je 0x15a11
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1a7f4
testl %eax, %eax
je 0x15a11
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2ee, 0xc(%rax)       # imm = 0x2EE
movq %r14, %rdi
callq 0x13708
leaq 0x7dcb(%rip), %rdi      # 0x1d7ce
leaq 0xe9e6(%rip), %rsi      # 0x243f0
xorl %eax, %eax
callq 0x1b0f0
testq %r14, %r14
je 0x164e5
leaq 0x81e4(%rip), %rdi      # 0x1dc05
callq 0x1691f
movq %rax, %r15
leaq 0x7e3c(%rip), %rdi      # 0x1d86c
callq 0x1691f
movq %rax, %r12
leaq 0x7e33(%rip), %rdi      # 0x1d872
callq 0x1691f
movq %r12, %rdi
movq %rax, %rsi
callq 0x19164
movq %r15, %rdi
movq %rax, %rsi
callq 0x19164
movq %r14, %rdi
movq %rax, %rsi
callq 0x1942d
testq %rax, %rax
je 0x16504
leaq 0x7e53(%rip), %rdi      # 0x1d8c8
callq 0x1691f
movq %rax, %r14
leaq 0x6ab0(%rip), %rdi      # 0x1c534
callq 0x1691f
leaq 0xe810(%rip), %r15      # 0x242a0
movq %rax, %rdi
movq %r15, %rsi
callq 0x19164
movq %r14, %rdi
movq %rax, %rsi
callq 0x19164
movq %rax, %r14
leaq 0x7dcb(%rip), %rdi      # 0x1d87b
callq 0x1691f
movq %rax, %r12
movq %r14, %rdi
movq %r15, %rsi
callq 0x19164
movq %r12, %rdi
movq %rax, %rsi
callq 0x19164
movq %rax, %r14
leaq 0x7da9(%rip), %rdi      # 0x1d881
callq 0x14f02
movq %rax, %rdi
movq %r14, %rsi
callq 0x1942d
testq %rax, %rax
je 0x16523
leaq 0x7d9a(%rip), %rdi      # 0x1d892
callq 0x14f02
movq %rax, %rdi
movq %r14, %rsi
callq 0x1942d
testq %rax, %rax
je 0x16542
leaq 0xe788(%rip), %r14      # 0x242a0
movq %r14, %rdi
movq %r14, %rsi
callq 0x19164
movq %rax, %rdi
movq %r14, %rsi
callq 0x19164
movq %rax, %r15
leaq 0x7d74(%rip), %rdi      # 0x1d8ac
callq 0x1691f
movq %rax, %rdi
movq %r14, %rsi
callq 0x19164
movq %rax, %rdi
movq %r15, %rsi
callq 0x19164
movq %rax, %r14
leaq 0x7d56(%rip), %rdi      # 0x1d8b3
callq 0x14f02
movq %rax, %r15
cmpl $0x0, (%rbp)
je 0x15baf
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1a7f4
testl %eax, %eax
je 0x15baf
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2fd, 0xc(%rax)       # imm = 0x2FD
movq %r15, %rdi
callq 0x13708
leaq 0x7c2d(%rip), %rdi      # 0x1d7ce
leaq 0xe848(%rip), %rsi      # 0x243f0
xorl %eax, %eax
callq 0x1b0f0
testq %r15, %r15
je 0x16561
cmpl $0x0, (%rbp)
je 0x15c02
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1a7f4
testl %eax, %eax
je 0x15c02
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2ff, 0xc(%rax)       # imm = 0x2FF
movq %r14, %rdi
callq 0x13708
leaq 0x7cce(%rip), %rdi      # 0x1d8c2
leaq 0xe7f5(%rip), %rsi      # 0x243f0
xorl %eax, %eax
callq 0x1b0f0
movq %r15, %rdi
movq %r14, %rsi
callq 0x1942d
testq %rax, %rax
je 0x16580
leaq 0x7caa(%rip), %rdi      # 0x1d8c7
callq 0x14f02
movq %rax, %r14
cmpl $0x0, (%rbp)
je 0x15c6f
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1a7f4
testl %eax, %eax
je 0x15c6f
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x303, 0xc(%rax)       # imm = 0x303
movq %r14, %rdi
callq 0x13708
leaq 0x7b6d(%rip), %rdi      # 0x1d7ce
leaq 0xe788(%rip), %rsi      # 0x243f0
xorl %eax, %eax
callq 0x1b0f0
testq %r14, %r14
je 0x1659f
leaq 0x7c49(%rip), %rdi      # 0x1d8c8
callq 0x1691f
leaq 0xe615(%rip), %rsi      # 0x242a0
movq %rax, %rdi
callq 0x19164
movq %rax, %r15
leaq 0x7a0e(%rip), %rdi      # 0x1d6ab
callq 0x1691f
movq %rax, %rdi
movq %r15, %rsi
callq 0x19164
movq %r14, %rdi
movq %rax, %rsi
callq 0x1942d
testq %rax, %rax
je 0x165be
leaq 0x7c05(%rip), %rdi      # 0x1d8cd
callq 0x14f02
movq %rax, %r14
cmpl $0x0, (%rbp)
je 0x15d1a
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1a7f4
testl %eax, %eax
je 0x15d1a
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x30a, 0xc(%rax)       # imm = 0x30A
movq %r14, %rdi
callq 0x13708
leaq 0x7ac2(%rip), %rdi      # 0x1d7ce
leaq 0xe6dd(%rip), %rsi      # 0x243f0
xorl %eax, %eax
callq 0x1b0f0
testq %r14, %r14
je 0x165dd
movq %rbx, %rbp
movq %r13, %rbx
leaq 0x7b98(%rip), %rdi      # 0x1d8c8
callq 0x1691f
leaq 0xe564(%rip), %r15      # 0x242a0
movq %rax, %rdi
movq %r15, %rsi
callq 0x19164
movq %rax, %r12
leaq 0x7b2a(%rip), %rdi      # 0x1d87b
callq 0x1691f
movq %rax, %rdi
movq %r12, %rsi
callq 0x19164
movq %rax, %r12
leaq 0x7940(%rip), %rdi      # 0x1d6ab
callq 0x1691f
movq %rax, %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x19164
movq %r13, %rdi
movq %rax, %rsi
callq 0x19164
movq %r14, %rdi
movq %rax, %rsi
callq 0x1942d
testq %rax, %rax
je 0x165fc
leaq 0x7b37(%rip), %rdi      # 0x1d8db
callq 0x14f02
movq %rax, %r14
leaq 0xeb7d(%rip), %rax      # 0x24930
cmpl $0x0, (%rax)
je 0x15dfa
movq (%rbx), %rax
movq 0x50(%rax), %rax
movq %rbp, 0x10(%rax)
movq %rbp, %rdi
callq 0x1a7f4
testl %eax, %eax
je 0x15dfa
movq (%rbx), %rax
movq 0x50(%rax), %rax
movl $0x312, 0xc(%rax)       # imm = 0x312
movq %r14, %rdi
callq 0x13708
leaq 0x79e2(%rip), %rdi      # 0x1d7ce
leaq 0xe5fd(%rip), %rsi      # 0x243f0
xorl %eax, %eax
callq 0x1b0f0
testq %r14, %r14
je 0x1661b
leaq 0x78a1(%rip), %rbx      # 0x1d6ab
movq %rbx, %rdi
callq 0x1691f
movq %rax, %r12
leaq 0x6547(%rip), %rdi      # 0x1c363
callq 0x1691f
leaq 0xe478(%rip), %r15      # 0x242a0
movq %rax, %rdi
movq %r15, %rsi
callq 0x19164
movq %r12, %rdi
movq %rax, %rsi
callq 0x19164
movq %rax, %rdi
movq %r15, %rsi
callq 0x19164
movq %rax, %r12
movq %rbx, %rdi
callq 0x1691f
movq %rax, %rbx
leaq 0x7ea8(%rip), %rdi      # 0x1dd06
callq 0x1691f
movq %rax, %rdi
movq %r15, %rsi
callq 0x19164
movq %rbx, %rdi
movq %rax, %rsi
callq 0x19164
movq %rax, %rdi
movq %r12, %rsi
callq 0x19164
movq %r14, %rdi
movq %rax, %rsi
callq 0x1942d
testq %rax, %rax
je 0x1663a
leaq 0x10(%rsp), %rdi
movl $0x318, 0xc(%rdi)       # imm = 0x318
callq 0x1b1f2
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x843c(%rip), %rdi      # 0x1e2fb
leaq 0x728e(%rip), %rsi      # 0x1d154
leaq 0x783a(%rip), %rcx      # 0x1d707
movl $0x295, %edx            # imm = 0x295
callq 0x2100
leaq 0x7841(%rip), %rdi      # 0x1d71f
leaq 0x726f(%rip), %rsi      # 0x1d154
leaq 0x781b(%rip), %rcx      # 0x1d707
movl $0x296, %edx            # imm = 0x296
callq 0x2100
leaq 0x782d(%rip), %rdi      # 0x1d72a
leaq 0x7250(%rip), %rsi      # 0x1d154
leaq 0x77fc(%rip), %rcx      # 0x1d707
movl $0x297, %edx            # imm = 0x297
callq 0x2100
leaq 0x83df(%rip), %rdi      # 0x1e2fb
leaq 0x7231(%rip), %rsi      # 0x1d154
leaq 0x77dd(%rip), %rcx      # 0x1d707
movl $0x29b, %edx            # imm = 0x29B
callq 0x2100
leaq 0x77fe(%rip), %rdi      # 0x1d739
leaq 0x7212(%rip), %rsi      # 0x1d154
leaq 0x77be(%rip), %rcx      # 0x1d707
movl $0x29c, %edx            # imm = 0x29C
callq 0x2100
leaq 0x77e8(%rip), %rdi      # 0x1d742
leaq 0x71f3(%rip), %rsi      # 0x1d154
leaq 0x779f(%rip), %rcx      # 0x1d707
movl $0x29d, %edx            # imm = 0x29D
callq 0x2100
leaq 0x8382(%rip), %rdi      # 0x1e2fb
leaq 0x71d4(%rip), %rsi      # 0x1d154
leaq 0x7780(%rip), %rcx      # 0x1d707
movl $0x2a0, %edx            # imm = 0x2A0
callq 0x2100
leaq 0x77a1(%rip), %rdi      # 0x1d739
leaq 0x71b5(%rip), %rsi      # 0x1d154
leaq 0x7761(%rip), %rcx      # 0x1d707
movl $0x2a1, %edx            # imm = 0x2A1
callq 0x2100
leaq 0x779a(%rip), %rdi      # 0x1d751
leaq 0x7196(%rip), %rsi      # 0x1d154
leaq 0x7742(%rip), %rcx      # 0x1d707
movl $0x2a2, %edx            # imm = 0x2A2
callq 0x2100
leaq 0x8325(%rip), %rdi      # 0x1e2fb
leaq 0x7177(%rip), %rsi      # 0x1d154
leaq 0x7723(%rip), %rcx      # 0x1d707
movl $0x2a5, %edx            # imm = 0x2A5
callq 0x2100
leaq 0x6f3c(%rip), %rdi      # 0x1cf31
leaq 0x7158(%rip), %rsi      # 0x1d154
leaq 0x7704(%rip), %rcx      # 0x1d707
movl $0x2a6, %edx            # imm = 0x2A6
callq 0x2100
leaq 0x82e7(%rip), %rdi      # 0x1e2fb
leaq 0x7139(%rip), %rsi      # 0x1d154
leaq 0x76e5(%rip), %rcx      # 0x1d707
movl $0x2a9, %edx            # imm = 0x2A9
callq 0x2100
leaq 0x7706(%rip), %rdi      # 0x1d739
leaq 0x711a(%rip), %rsi      # 0x1d154
leaq 0x76c6(%rip), %rcx      # 0x1d707
movl $0x2aa, %edx            # imm = 0x2AA
callq 0x2100
leaq 0x7711(%rip), %rdi      # 0x1d763
leaq 0x70fb(%rip), %rsi      # 0x1d154
leaq 0x76a7(%rip), %rcx      # 0x1d707
movl $0x2ab, %edx            # imm = 0x2AB
callq 0x2100
leaq 0x828a(%rip), %rdi      # 0x1e2fb
leaq 0x70dc(%rip), %rsi      # 0x1d154
leaq 0x7688(%rip), %rcx      # 0x1d707
movl $0x2ae, %edx            # imm = 0x2AE
callq 0x2100
leaq 0x768f(%rip), %rdi      # 0x1d71f
leaq 0x70bd(%rip), %rsi      # 0x1d154
leaq 0x7669(%rip), %rcx      # 0x1d707
movl $0x2af, %edx            # imm = 0x2AF
callq 0x2100
leaq 0x76c3(%rip), %rdi      # 0x1d772
leaq 0x709e(%rip), %rsi      # 0x1d154
leaq 0x764a(%rip), %rcx      # 0x1d707
movl $0x2b0, %edx            # imm = 0x2B0
callq 0x2100
leaq 0x822d(%rip), %rdi      # 0x1e2fb
leaq 0x707f(%rip), %rsi      # 0x1d154
leaq 0x762b(%rip), %rcx      # 0x1d707
movl $0x2b3, %edx            # imm = 0x2B3
callq 0x2100
leaq 0x764c(%rip), %rdi      # 0x1d739
leaq 0x7060(%rip), %rsi      # 0x1d154
leaq 0x760c(%rip), %rcx      # 0x1d707
movl $0x2b4, %edx            # imm = 0x2B4
callq 0x2100
leaq 0x767c(%rip), %rdi      # 0x1d788
leaq 0x7041(%rip), %rsi      # 0x1d154
leaq 0x75ed(%rip), %rcx      # 0x1d707
movl $0x2b5, %edx            # imm = 0x2B5
callq 0x2100
leaq 0x81d0(%rip), %rdi      # 0x1e2fb
leaq 0x7022(%rip), %rsi      # 0x1d154
leaq 0x75ce(%rip), %rcx      # 0x1d707
movl $0x2b8, %edx            # imm = 0x2B8
callq 0x2100
leaq 0x75ef(%rip), %rdi      # 0x1d739
leaq 0x7003(%rip), %rsi      # 0x1d154
leaq 0x75af(%rip), %rcx      # 0x1d707
movl $0x2b9, %edx            # imm = 0x2B9
callq 0x2100
leaq 0x7632(%rip), %rdi      # 0x1d79b
leaq 0x6fe4(%rip), %rsi      # 0x1d154
leaq 0x7590(%rip), %rcx      # 0x1d707
movl $0x2ba, %edx            # imm = 0x2BA
callq 0x2100
leaq 0x8173(%rip), %rdi      # 0x1e2fb
leaq 0x6fc5(%rip), %rsi      # 0x1d154
leaq 0x7571(%rip), %rcx      # 0x1d707
movl $0x2bd, %edx            # imm = 0x2BD
callq 0x2100
leaq 0x6d5c(%rip), %rdi      # 0x1cf03
leaq 0x6fa6(%rip), %rsi      # 0x1d154
leaq 0x7552(%rip), %rcx      # 0x1d707
movl $0x2be, %edx            # imm = 0x2BE
callq 0x2100
leaq 0x6d6a(%rip), %rdi      # 0x1cf30
leaq 0x6f87(%rip), %rsi      # 0x1d154
leaq 0x7533(%rip), %rcx      # 0x1d707
movl $0x2bf, %edx            # imm = 0x2BF
callq 0x2100
leaq 0x75f5(%rip), %rdi      # 0x1d7da
leaq 0x6f68(%rip), %rsi      # 0x1d154
leaq 0x7514(%rip), %rcx      # 0x1d707
movl $0x2c0, %edx            # imm = 0x2C0
callq 0x2100
leaq 0x751b(%rip), %rdi      # 0x1d71f
leaq 0x6f49(%rip), %rsi      # 0x1d154
leaq 0x74f5(%rip), %rcx      # 0x1d707
movl $0x2c2, %edx            # imm = 0x2C2
callq 0x2100
leaq 0x7507(%rip), %rdi      # 0x1d72a
leaq 0x6f2a(%rip), %rsi      # 0x1d154
leaq 0x74d6(%rip), %rcx      # 0x1d707
movl $0x2c3, %edx            # imm = 0x2C3
callq 0x2100
leaq 0x80b9(%rip), %rdi      # 0x1e2fb
leaq 0x6f0b(%rip), %rsi      # 0x1d154
leaq 0x74b7(%rip), %rcx      # 0x1d707
movl $0x2c6, %edx            # imm = 0x2C6
callq 0x2100
leaq 0x7555(%rip), %rdi      # 0x1d7b6
leaq 0x6eec(%rip), %rsi      # 0x1d154
leaq 0x7498(%rip), %rcx      # 0x1d707
movl $0x2c8, %edx            # imm = 0x2C8
callq 0x2100
leaq 0x807b(%rip), %rdi      # 0x1e2fb
leaq 0x6ecd(%rip), %rsi      # 0x1d154
leaq 0x7479(%rip), %rcx      # 0x1d707
movl $0x2cc, %edx            # imm = 0x2CC
callq 0x2100
leaq 0x7517(%rip), %rdi      # 0x1d7b6
leaq 0x6eae(%rip), %rsi      # 0x1d154
leaq 0x745a(%rip), %rcx      # 0x1d707
movl $0x2cf, %edx            # imm = 0x2CF
callq 0x2100
leaq 0x803d(%rip), %rdi      # 0x1e2fb
leaq 0x6e8f(%rip), %rsi      # 0x1d154
leaq 0x743b(%rip), %rcx      # 0x1d707
movl $0x2d2, %edx            # imm = 0x2D2
callq 0x2100
leaq 0x6c54(%rip), %rdi      # 0x1cf31
leaq 0x6e70(%rip), %rsi      # 0x1d154
leaq 0x741c(%rip), %rcx      # 0x1d707
movl $0x2d3, %edx            # imm = 0x2D3
callq 0x2100
leaq 0x7fff(%rip), %rdi      # 0x1e2fb
leaq 0x6e51(%rip), %rsi      # 0x1d154
leaq 0x73fd(%rip), %rcx      # 0x1d707
movl $0x2d6, %edx            # imm = 0x2D6
callq 0x2100
leaq 0x6be8(%rip), %rdi      # 0x1cf03
leaq 0x6e32(%rip), %rsi      # 0x1d154
leaq 0x73de(%rip), %rcx      # 0x1d707
movl $0x2d7, %edx            # imm = 0x2D7
callq 0x2100
leaq 0x6bf6(%rip), %rdi      # 0x1cf30
leaq 0x6e13(%rip), %rsi      # 0x1d154
leaq 0x73bf(%rip), %rcx      # 0x1d707
movl $0x2d8, %edx            # imm = 0x2D8
callq 0x2100
leaq 0x7480(%rip), %rdi      # 0x1d7d9
leaq 0x6df4(%rip), %rsi      # 0x1d154
leaq 0x73a0(%rip), %rcx      # 0x1d707
movl $0x2d9, %edx            # imm = 0x2D9
callq 0x2100
leaq 0x746f(%rip), %rdi      # 0x1d7e7
leaq 0x6dd5(%rip), %rsi      # 0x1d154
leaq 0x7381(%rip), %rcx      # 0x1d707
movl $0x2db, %edx            # imm = 0x2DB
callq 0x2100
leaq 0x745b(%rip), %rdi      # 0x1d7f2
leaq 0x6db6(%rip), %rsi      # 0x1d154
leaq 0x7362(%rip), %rcx      # 0x1d707
movl $0x2dc, %edx            # imm = 0x2DC
callq 0x2100
leaq 0x7431(%rip), %rdi      # 0x1d7e7
leaq 0x6d97(%rip), %rsi      # 0x1d154
leaq 0x7343(%rip), %rcx      # 0x1d707
movl $0x2de, %edx            # imm = 0x2DE
callq 0x2100
leaq 0x742c(%rip), %rdi      # 0x1d801
leaq 0x6d78(%rip), %rsi      # 0x1d154
leaq 0x7324(%rip), %rcx      # 0x1d707
movl $0x2df, %edx            # imm = 0x2DF
callq 0x2100
leaq 0x7f07(%rip), %rdi      # 0x1e2fb
leaq 0x6d59(%rip), %rsi      # 0x1d154
leaq 0x7305(%rip), %rcx      # 0x1d707
movl $0x2e2, %edx            # imm = 0x2E2
callq 0x2100
leaq 0x6af0(%rip), %rdi      # 0x1cf03
leaq 0x6d3a(%rip), %rsi      # 0x1d154
leaq 0x72e6(%rip), %rcx      # 0x1d707
movl $0x2e3, %edx            # imm = 0x2E3
callq 0x2100
leaq 0x6afe(%rip), %rdi      # 0x1cf30
leaq 0x6d1b(%rip), %rsi      # 0x1d154
leaq 0x72c7(%rip), %rcx      # 0x1d707
movl $0x2e4, %edx            # imm = 0x2E4
callq 0x2100
leaq 0x7388(%rip), %rdi      # 0x1d7d9
leaq 0x6cfc(%rip), %rsi      # 0x1d154
leaq 0x72a8(%rip), %rcx      # 0x1d707
movl $0x2e5, %edx            # imm = 0x2E5
callq 0x2100
leaq 0x73ae(%rip), %rdi      # 0x1d81e
leaq 0x6cdd(%rip), %rsi      # 0x1d154
leaq 0x7289(%rip), %rcx      # 0x1d707
movl $0x2e7, %edx            # imm = 0x2E7
callq 0x2100
leaq 0x739d(%rip), %rdi      # 0x1d82c
leaq 0x6cbe(%rip), %rsi      # 0x1d154
leaq 0x726a(%rip), %rcx      # 0x1d707
movl $0x2e8, %edx            # imm = 0x2E8
callq 0x2100
leaq 0x7370(%rip), %rdi      # 0x1d81e
leaq 0x6c9f(%rip), %rsi      # 0x1d154
leaq 0x724b(%rip), %rcx      # 0x1d707
movl $0x2ea, %edx            # imm = 0x2EA
callq 0x2100
leaq 0x7371(%rip), %rdi      # 0x1d83e
leaq 0x6c80(%rip), %rsi      # 0x1d154
leaq 0x722c(%rip), %rcx      # 0x1d707
movl $0x2eb, %edx            # imm = 0x2EB
callq 0x2100
leaq 0x7e0f(%rip), %rdi      # 0x1e2fb
leaq 0x6c61(%rip), %rsi      # 0x1d154
leaq 0x720d(%rip), %rcx      # 0x1d707
movl $0x2ef, %edx            # imm = 0x2EF
callq 0x2100
leaq 0x72ab(%rip), %rdi      # 0x1d7b6
leaq 0x6c42(%rip), %rsi      # 0x1d154
leaq 0x71ee(%rip), %rcx      # 0x1d707
movl $0x2f1, %edx            # imm = 0x2F1
callq 0x2100
leaq 0x728c(%rip), %rdi      # 0x1d7b6
leaq 0x6c23(%rip), %rsi      # 0x1d154
leaq 0x71cf(%rip), %rcx      # 0x1d707
movl $0x2f6, %edx            # imm = 0x2F6
callq 0x2100
leaq 0x726d(%rip), %rdi      # 0x1d7b6
leaq 0x6c04(%rip), %rsi      # 0x1d154
leaq 0x71b0(%rip), %rcx      # 0x1d707
movl $0x2f8, %edx            # imm = 0x2F8
callq 0x2100
leaq 0x7d93(%rip), %rdi      # 0x1e2fb
leaq 0x6be5(%rip), %rsi      # 0x1d154
leaq 0x7191(%rip), %rcx      # 0x1d707
movl $0x2fe, %edx            # imm = 0x2FE
callq 0x2100
leaq 0x722f(%rip), %rdi      # 0x1d7b6
leaq 0x6bc6(%rip), %rsi      # 0x1d154
leaq 0x7172(%rip), %rcx      # 0x1d707
movl $0x300, %edx            # imm = 0x300
callq 0x2100
leaq 0x7d55(%rip), %rdi      # 0x1e2fb
leaq 0x6ba7(%rip), %rsi      # 0x1d154
leaq 0x7153(%rip), %rcx      # 0x1d707
movl $0x304, %edx            # imm = 0x304
callq 0x2100
leaq 0x71f1(%rip), %rdi      # 0x1d7b6
leaq 0x6b88(%rip), %rsi      # 0x1d154
leaq 0x7134(%rip), %rcx      # 0x1d707
movl $0x307, %edx            # imm = 0x307
callq 0x2100
leaq 0x7d17(%rip), %rdi      # 0x1e2fb
leaq 0x6b69(%rip), %rsi      # 0x1d154
leaq 0x7115(%rip), %rcx      # 0x1d707
movl $0x30b, %edx            # imm = 0x30B
callq 0x2100
leaq 0x71b3(%rip), %rdi      # 0x1d7b6
leaq 0x6b4a(%rip), %rsi      # 0x1d154
leaq 0x70f6(%rip), %rcx      # 0x1d707
movl $0x30f, %edx            # imm = 0x30F
callq 0x2100
leaq 0x7cd9(%rip), %rdi      # 0x1e2fb
leaq 0x6b2b(%rip), %rsi      # 0x1d154
leaq 0x70d7(%rip), %rcx      # 0x1d707
movl $0x313, %edx            # imm = 0x313
callq 0x2100
leaq 0x7175(%rip), %rdi      # 0x1d7b6
leaq 0x6b0c(%rip), %rsi      # 0x1d154
leaq 0x70b8(%rip), %rcx      # 0x1d707
movl $0x316, %edx            # imm = 0x316
callq 0x2100