// File: /workspace/github_c_makefile_star2_O3/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 0x7a99(%rip), %rax      # 0x1d716
leaq 0x10(%rsp), %rdi
movq %rax, (%rdi)
leaq 0xd6a4(%rip), %r13      # 0x23330
movq (%r13), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%rdi)
movl $0x291, 0xc(%rdi)       # imm = 0x291
leaq 0x66a2(%rip), %rbx      # 0x1c34a
movq %rbx, 0x10(%rdi)
leaq 0xd50d(%rip), %rcx      # 0x231c0
movq %rcx, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1ba26
leaq 0x7c80(%rip), %rdi      # 0x1d947
callq 0x20a0
leaq 0x7ea6(%rip), %rdi      # 0x1db79
callq 0x15666
testq %rax, %rax
je 0x1665c
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x1667b
cmpq $0x3, %rax
jne 0x1669a
leaq 0x8(%rsp), %rdi
movq $0x54, (%rdi)
callq 0x15666
testq %rax, %rax
je 0x166b9
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x166d8
leaq 0x680c(%rip), %rdi      # 0x1c534
callq 0x170ff
cmpq %rax, %r14
jne 0x166f7
leaq 0x7624(%rip), %rdi      # 0x1d361
callq 0x15666
testq %rax, %rax
je 0x16716
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16735
leaq 0x7600(%rip), %rdi      # 0x1d361
callq 0x170ff
cmpq %rax, %r14
jne 0x16754
leaq 0x8713(%rip), %rdi      # 0x1e489
callq 0x15666
testq %rax, %rax
je 0x16773
cmpq 0xd235(%rip), %rax      # 0x22fc0
jne 0x16792
leaq 0x8413(%rip), %rdi      # 0x1e1ab
callq 0x15666
testq %rax, %rax
je 0x167b1
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x167d0
leaq 0x83ef(%rip), %rdi      # 0x1e1ab
callq 0x170ff
cmpq %rax, %r14
jne 0x167ef
leaq 0x747e(%rip), %rdi      # 0x1d24f
callq 0x15666
testq %rax, %rax
je 0x1680e
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x1682d
cmpq $-0x1, %rax
jne 0x1684c
leaq 0x79a5(%rip), %rdi      # 0x1d7a2
callq 0x15666
testq %rax, %rax
je 0x1686b
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x1688a
leaq 0x7981(%rip), %rdi      # 0x1d7a2
callq 0x170ff
cmpq %rax, %r14
jne 0x168a9
leaq 0x7721(%rip), %rdi      # 0x1d557
callq 0x15666
testq %rax, %rax
je 0x168c8
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x168e7
leaq 0x76e8(%rip), %rdi      # 0x1d542
callq 0x170ff
cmpq %rax, %r14
jne 0x16906
leaq 0x87b0(%rip), %rdi      # 0x1e61f
callq 0x15666
testq %rax, %rax
je 0x16925
movq %rax, %r14
testb $0x3, %r14b
jne 0x16944
cmpq 0xd12f(%rip), %r14      # 0x22fc0
je 0x16963
movq %r14, %rdi
callq 0x19d11
cmpq 0xd11a(%rip), %rax      # 0x22fc0
jne 0x16982
movq %r14, %rdi
callq 0x19c72
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x169a1
cmpq $0x3, %rax
jne 0x169c0
leaq 0x78fd(%rip), %rdi      # 0x1d7cf
callq 0x15666
testq %rax, %rax
je 0x169df
movq %rax, %r14
leaq 0xd3b6(%rip), %rsi      # 0x232a0
movq $-0x1, %rdi
callq 0x19c50
movl $0x3, %edi
movq %rax, %rsi
callq 0x19c50
movq %r14, %rdi
movq %rax, %rsi
callq 0x19dcc
testq %rax, %rax
je 0x169fe
leaq 0x78c4(%rip), %rdi      # 0x1d7e2
callq 0x15666
movq %rax, %r14
leaq 0xda03(%rip), %rbp      # 0x23930
cmpl $0x0, (%rbp)
je 0x15f82
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x15f82
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2cb, 0xc(%rax)       # imm = 0x2CB
leaq 0xd48f(%rip), %r15      # 0x233f0
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
callq 0x13c5d
leaq 0x7876(%rip), %rdi      # 0x1d7ee
movq %r15, %rsi
xorl %eax, %eax
callq 0x1ba97
testq %r14, %r14
je 0x16a1d
leaq 0xd30e(%rip), %r15      # 0x232a0
movq $-0x1, %rdi
movq %r15, %rsi
callq 0x19c50
movl $0xab, %edi
movq %rax, %rsi
callq 0x19c50
movq %rax, %rdi
movq %r15, %rsi
callq 0x19c50
movl $0x3, %edi
movq %rax, %rsi
callq 0x19c50
movq %r14, %rdi
movq %rax, %rsi
callq 0x19dcc
testq %rax, %rax
je 0x16a3c
leaq 0x617c(%rip), %rdi      # 0x1c15d
callq 0x15666
testq %rax, %rax
je 0x16a5b
cmpq 0xcfca(%rip), %rax      # 0x22fc0
jne 0x16a7a
leaq 0x77f0(%rip), %rdi      # 0x1d7f3
callq 0x15666
testq %rax, %rax
je 0x16a99
movq %rax, %r14
testb $0x3, %r14b
jne 0x16ab8
cmpq 0xcf9b(%rip), %r14      # 0x22fc0
je 0x16ad7
movq %r14, %rdi
callq 0x19d11
cmpq 0xcf86(%rip), %rax      # 0x22fc0
je 0x16af6
movq %r14, %rdi
callq 0x19c72
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x16b15
cmpq $0x3, %rax
jne 0x16b34
movq %r14, %rdi
callq 0x19d11
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x16b53
cmpq $0x7, %rax
jne 0x16b72
leaq 0x77ab(%rip), %rdi      # 0x1d830
callq 0x15666
testq %rax, %rax
je 0x16b91
movq %rax, %r14
testb $0x3, %r14b
jne 0x16bb0
cmpq 0xcf19(%rip), %r14      # 0x22fc0
je 0x16bcf
movq %r14, %rdi
callq 0x19d11
cmpq 0xcf04(%rip), %rax      # 0x22fc0
je 0x16bee
movq %r14, %rdi
callq 0x19c72
movq %rax, %r15
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16c0d
leaq 0x7767(%rip), %rdi      # 0x1d847
callq 0x170ff
cmpq %rax, %r15
jne 0x16c2c
movq %r14, %rdi
callq 0x19d11
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16c4b
leaq 0x7fbb(%rip), %rdi      # 0x1e0c7
callq 0x170ff
cmpq %rax, %r14
jne 0x16c6a
leaq 0x7750(%rip), %rdi      # 0x1d871
callq 0x15666
movq %rax, %r14
cmpl $0x0, (%rbp)
je 0x1617e
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x1617e
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2ee, 0xc(%rax)       # imm = 0x2EE
leaq 0xd293(%rip), %r15      # 0x233f0
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
callq 0x13c5d
leaq 0x767a(%rip), %rdi      # 0x1d7ee
movq %r15, %rsi
xorl %eax, %eax
callq 0x1ba97
testq %r14, %r14
je 0x16c89
leaq 0x7a97(%rip), %rdi      # 0x1dc25
callq 0x170ff
movq %rax, %r15
leaq 0x76ef(%rip), %rdi      # 0x1d88c
callq 0x170ff
movq %rax, %r12
leaq 0x76e6(%rip), %rdi      # 0x1d892
callq 0x170ff
movq %r12, %rdi
movq %rax, %rsi
callq 0x19c50
movq %r15, %rdi
movq %rax, %rsi
callq 0x19c50
movq %r14, %rdi
movq %rax, %rsi
callq 0x19dcc
testq %rax, %rax
je 0x16ca8
leaq 0x7706(%rip), %rdi      # 0x1d8e8
callq 0x170ff
movq %rax, %r14
leaq 0x6343(%rip), %rdi      # 0x1c534
callq 0x170ff
leaq 0xd0a3(%rip), %r15      # 0x232a0
movq %rax, %rdi
movq %r15, %rsi
callq 0x19c50
movq %r14, %rdi
movq %rax, %rsi
callq 0x19c50
movq %rax, %r14
leaq 0x767e(%rip), %rdi      # 0x1d89b
callq 0x170ff
movq %rax, %r12
movq %r14, %rdi
movq %r15, %rsi
callq 0x19c50
movq %r12, %rdi
movq %rax, %rsi
callq 0x19c50
movq %rax, %r14
leaq 0x765c(%rip), %rdi      # 0x1d8a1
callq 0x15666
movq %rax, %rdi
movq %r14, %rsi
callq 0x19dcc
testq %rax, %rax
je 0x16cc7
leaq 0x764d(%rip), %rdi      # 0x1d8b2
callq 0x15666
movq %rax, %rdi
movq %r14, %rsi
callq 0x19dcc
testq %rax, %rax
je 0x16ce6
leaq 0xd01b(%rip), %r14      # 0x232a0
movq %r14, %rdi
movq %r14, %rsi
callq 0x19c50
movq %rax, %rdi
movq %r14, %rsi
callq 0x19c50
movq %rax, %r15
leaq 0x7627(%rip), %rdi      # 0x1d8cc
callq 0x170ff
movq %rax, %rdi
movq %r14, %rsi
callq 0x19c50
movq %rax, %rdi
movq %r15, %rsi
callq 0x19c50
movq %rax, %r14
leaq 0x7609(%rip), %rdi      # 0x1d8d3
callq 0x15666
movq %rax, %r15
cmpl $0x0, (%rbp)
je 0x16327
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x16327
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2fd, 0xc(%rax)       # imm = 0x2FD
leaq 0xd0ea(%rip), %r12      # 0x233f0
movl $0x3, %edi
movq %r12, %rsi
movq %r15, %rdx
callq 0x13c5d
leaq 0x74d1(%rip), %rdi      # 0x1d7ee
movq %r12, %rsi
xorl %eax, %eax
callq 0x1ba97
testq %r15, %r15
je 0x16d05
cmpl $0x0, (%rbp)
je 0x16385
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x16385
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2ff, 0xc(%rax)       # imm = 0x2FF
leaq 0xd08c(%rip), %r12      # 0x233f0
movl $0x3, %edi
movq %r12, %rsi
movq %r14, %rdx
callq 0x13c5d
leaq 0x7567(%rip), %rdi      # 0x1d8e2
movq %r12, %rsi
xorl %eax, %eax
callq 0x1ba97
movq %r15, %rdi
movq %r14, %rsi
callq 0x19dcc
testq %rax, %rax
je 0x16d24
leaq 0x7547(%rip), %rdi      # 0x1d8e7
callq 0x15666
movq %rax, %r14
cmpl $0x0, (%rbp)
je 0x163fd
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x163fd
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x303, 0xc(%rax)       # imm = 0x303
leaq 0xd014(%rip), %r15      # 0x233f0
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
callq 0x13c5d
leaq 0x73fb(%rip), %rdi      # 0x1d7ee
movq %r15, %rsi
xorl %eax, %eax
callq 0x1ba97
testq %r14, %r14
je 0x16d43
leaq 0x74db(%rip), %rdi      # 0x1d8e8
callq 0x170ff
leaq 0xce87(%rip), %rsi      # 0x232a0
movq %rax, %rdi
callq 0x19c50
movq %rax, %r15
leaq 0x72a0(%rip), %rdi      # 0x1d6cb
callq 0x170ff
movq %rax, %rdi
movq %r15, %rsi
callq 0x19c50
movq %r14, %rdi
movq %rax, %rsi
callq 0x19dcc
testq %rax, %rax
je 0x16d62
leaq 0x7497(%rip), %rdi      # 0x1d8ed
callq 0x15666
movq %rax, %r14
cmpl $0x0, (%rbp)
je 0x164b3
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b188
testl %eax, %eax
je 0x164b3
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x30a, 0xc(%rax)       # imm = 0x30A
leaq 0xcf5e(%rip), %r15      # 0x233f0
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
callq 0x13c5d
leaq 0x7345(%rip), %rdi      # 0x1d7ee
movq %r15, %rsi
xorl %eax, %eax
callq 0x1ba97
testq %r14, %r14
je 0x16d81
movq %rbx, %rbp
movq %r13, %rbx
leaq 0x741f(%rip), %rdi      # 0x1d8e8
callq 0x170ff
leaq 0xcdcb(%rip), %r15      # 0x232a0
movq %rax, %rdi
movq %r15, %rsi
callq 0x19c50
movq %rax, %r12
leaq 0x73b1(%rip), %rdi      # 0x1d89b
callq 0x170ff
movq %rax, %rdi
movq %r12, %rsi
callq 0x19c50
movq %rax, %r12
leaq 0x71c7(%rip), %rdi      # 0x1d6cb
callq 0x170ff
movq %rax, %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x19c50
movq %r13, %rdi
movq %rax, %rsi
callq 0x19c50
movq %r14, %rdi
movq %rax, %rsi
callq 0x19dcc
testq %rax, %rax
je 0x16da0
leaq 0x73be(%rip), %rdi      # 0x1d8fb
callq 0x15666
movq %rax, %r14
leaq 0xd3e4(%rip), %rax      # 0x23930
cmpl $0x0, (%rax)
je 0x1659e
movq (%rbx), %rax
movq 0x50(%rax), %rax
movq %rbp, 0x10(%rax)
movq %rbp, %rdi
callq 0x1b188
testl %eax, %eax
je 0x1659e
movq (%rbx), %rax
movq 0x50(%rax), %rax
movl $0x312, 0xc(%rax)       # imm = 0x312
leaq 0xce73(%rip), %rbx      # 0x233f0
movl $0x3, %edi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x13c5d
leaq 0x725a(%rip), %rdi      # 0x1d7ee
movq %rbx, %rsi
xorl %eax, %eax
callq 0x1ba97
testq %r14, %r14
je 0x16dbf
leaq 0x711d(%rip), %rbx      # 0x1d6cb
movq %rbx, %rdi
callq 0x170ff
movq %rax, %r12
leaq 0x5da3(%rip), %rdi      # 0x1c363
callq 0x170ff
leaq 0xccd4(%rip), %r15      # 0x232a0
movq %rax, %rdi
movq %r15, %rsi
callq 0x19c50
movq %r12, %rdi
movq %rax, %rsi
callq 0x19c50
movq %rax, %rdi
movq %r15, %rsi
callq 0x19c50
movq %rax, %r12
movq %rbx, %rdi
callq 0x170ff
movq %rax, %rbx
leaq 0x7724(%rip), %rdi      # 0x1dd26
callq 0x170ff
movq %rax, %rdi
movq %r15, %rsi
callq 0x19c50
movq %rbx, %rdi
movq %rax, %rsi
callq 0x19c50
movq %rax, %rdi
movq %r12, %rsi
callq 0x19c50
movq %r14, %rdi
movq %rax, %rsi
callq 0x19dcc
testq %rax, %rax
je 0x16dde
leaq 0x10(%rsp), %rdi
movl $0x318, 0xc(%rdi)       # imm = 0x318
callq 0x1bbab
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x7cb8(%rip), %rdi      # 0x1e31b
leaq 0x6b0a(%rip), %rsi      # 0x1d174
leaq 0x70b6(%rip), %rcx      # 0x1d727
movl $0x295, %edx            # imm = 0x295
callq 0x2100
leaq 0x70bd(%rip), %rdi      # 0x1d73f
leaq 0x6aeb(%rip), %rsi      # 0x1d174
leaq 0x7097(%rip), %rcx      # 0x1d727
movl $0x296, %edx            # imm = 0x296
callq 0x2100
leaq 0x70a9(%rip), %rdi      # 0x1d74a
leaq 0x6acc(%rip), %rsi      # 0x1d174
leaq 0x7078(%rip), %rcx      # 0x1d727
movl $0x297, %edx            # imm = 0x297
callq 0x2100
leaq 0x7c5b(%rip), %rdi      # 0x1e31b
leaq 0x6aad(%rip), %rsi      # 0x1d174
leaq 0x7059(%rip), %rcx      # 0x1d727
movl $0x29b, %edx            # imm = 0x29B
callq 0x2100
leaq 0x707a(%rip), %rdi      # 0x1d759
leaq 0x6a8e(%rip), %rsi      # 0x1d174
leaq 0x703a(%rip), %rcx      # 0x1d727
movl $0x29c, %edx            # imm = 0x29C
callq 0x2100
leaq 0x7064(%rip), %rdi      # 0x1d762
leaq 0x6a6f(%rip), %rsi      # 0x1d174
leaq 0x701b(%rip), %rcx      # 0x1d727
movl $0x29d, %edx            # imm = 0x29D
callq 0x2100
leaq 0x7bfe(%rip), %rdi      # 0x1e31b
leaq 0x6a50(%rip), %rsi      # 0x1d174
leaq 0x6ffc(%rip), %rcx      # 0x1d727
movl $0x2a0, %edx            # imm = 0x2A0
callq 0x2100
leaq 0x701d(%rip), %rdi      # 0x1d759
leaq 0x6a31(%rip), %rsi      # 0x1d174
leaq 0x6fdd(%rip), %rcx      # 0x1d727
movl $0x2a1, %edx            # imm = 0x2A1
callq 0x2100
leaq 0x7016(%rip), %rdi      # 0x1d771
leaq 0x6a12(%rip), %rsi      # 0x1d174
leaq 0x6fbe(%rip), %rcx      # 0x1d727
movl $0x2a2, %edx            # imm = 0x2A2
callq 0x2100
leaq 0x7ba1(%rip), %rdi      # 0x1e31b
leaq 0x69f3(%rip), %rsi      # 0x1d174
leaq 0x6f9f(%rip), %rcx      # 0x1d727
movl $0x2a5, %edx            # imm = 0x2A5
callq 0x2100
leaq 0x6798(%rip), %rdi      # 0x1cf31
leaq 0x69d4(%rip), %rsi      # 0x1d174
leaq 0x6f80(%rip), %rcx      # 0x1d727
movl $0x2a6, %edx            # imm = 0x2A6
callq 0x2100
leaq 0x7b63(%rip), %rdi      # 0x1e31b
leaq 0x69b5(%rip), %rsi      # 0x1d174
leaq 0x6f61(%rip), %rcx      # 0x1d727
movl $0x2a9, %edx            # imm = 0x2A9
callq 0x2100
leaq 0x6f82(%rip), %rdi      # 0x1d759
leaq 0x6996(%rip), %rsi      # 0x1d174
leaq 0x6f42(%rip), %rcx      # 0x1d727
movl $0x2aa, %edx            # imm = 0x2AA
callq 0x2100
leaq 0x6f8d(%rip), %rdi      # 0x1d783
leaq 0x6977(%rip), %rsi      # 0x1d174
leaq 0x6f23(%rip), %rcx      # 0x1d727
movl $0x2ab, %edx            # imm = 0x2AB
callq 0x2100
leaq 0x7b06(%rip), %rdi      # 0x1e31b
leaq 0x6958(%rip), %rsi      # 0x1d174
leaq 0x6f04(%rip), %rcx      # 0x1d727
movl $0x2ae, %edx            # imm = 0x2AE
callq 0x2100
leaq 0x6f0b(%rip), %rdi      # 0x1d73f
leaq 0x6939(%rip), %rsi      # 0x1d174
leaq 0x6ee5(%rip), %rcx      # 0x1d727
movl $0x2af, %edx            # imm = 0x2AF
callq 0x2100
leaq 0x6f3f(%rip), %rdi      # 0x1d792
leaq 0x691a(%rip), %rsi      # 0x1d174
leaq 0x6ec6(%rip), %rcx      # 0x1d727
movl $0x2b0, %edx            # imm = 0x2B0
callq 0x2100
leaq 0x7aa9(%rip), %rdi      # 0x1e31b
leaq 0x68fb(%rip), %rsi      # 0x1d174
leaq 0x6ea7(%rip), %rcx      # 0x1d727
movl $0x2b3, %edx            # imm = 0x2B3
callq 0x2100
leaq 0x6ec8(%rip), %rdi      # 0x1d759
leaq 0x68dc(%rip), %rsi      # 0x1d174
leaq 0x6e88(%rip), %rcx      # 0x1d727
movl $0x2b4, %edx            # imm = 0x2B4
callq 0x2100
leaq 0x6ef8(%rip), %rdi      # 0x1d7a8
leaq 0x68bd(%rip), %rsi      # 0x1d174
leaq 0x6e69(%rip), %rcx      # 0x1d727
movl $0x2b5, %edx            # imm = 0x2B5
callq 0x2100
leaq 0x7a4c(%rip), %rdi      # 0x1e31b
leaq 0x689e(%rip), %rsi      # 0x1d174
leaq 0x6e4a(%rip), %rcx      # 0x1d727
movl $0x2b8, %edx            # imm = 0x2B8
callq 0x2100
leaq 0x6e6b(%rip), %rdi      # 0x1d759
leaq 0x687f(%rip), %rsi      # 0x1d174
leaq 0x6e2b(%rip), %rcx      # 0x1d727
movl $0x2b9, %edx            # imm = 0x2B9
callq 0x2100
leaq 0x6eae(%rip), %rdi      # 0x1d7bb
leaq 0x6860(%rip), %rsi      # 0x1d174
leaq 0x6e0c(%rip), %rcx      # 0x1d727
movl $0x2ba, %edx            # imm = 0x2BA
callq 0x2100
leaq 0x79ef(%rip), %rdi      # 0x1e31b
leaq 0x6841(%rip), %rsi      # 0x1d174
leaq 0x6ded(%rip), %rcx      # 0x1d727
movl $0x2bd, %edx            # imm = 0x2BD
callq 0x2100
leaq 0x65b8(%rip), %rdi      # 0x1cf03
leaq 0x6822(%rip), %rsi      # 0x1d174
leaq 0x6dce(%rip), %rcx      # 0x1d727
movl $0x2be, %edx            # imm = 0x2BE
callq 0x2100
leaq 0x65c6(%rip), %rdi      # 0x1cf30
leaq 0x6803(%rip), %rsi      # 0x1d174
leaq 0x6daf(%rip), %rcx      # 0x1d727
movl $0x2bf, %edx            # imm = 0x2BF
callq 0x2100
leaq 0x6e71(%rip), %rdi      # 0x1d7fa
leaq 0x67e4(%rip), %rsi      # 0x1d174
leaq 0x6d90(%rip), %rcx      # 0x1d727
movl $0x2c0, %edx            # imm = 0x2C0
callq 0x2100
leaq 0x6d97(%rip), %rdi      # 0x1d73f
leaq 0x67c5(%rip), %rsi      # 0x1d174
leaq 0x6d71(%rip), %rcx      # 0x1d727
movl $0x2c2, %edx            # imm = 0x2C2
callq 0x2100
leaq 0x6d83(%rip), %rdi      # 0x1d74a
leaq 0x67a6(%rip), %rsi      # 0x1d174
leaq 0x6d52(%rip), %rcx      # 0x1d727
movl $0x2c3, %edx            # imm = 0x2C3
callq 0x2100
leaq 0x7935(%rip), %rdi      # 0x1e31b
leaq 0x6787(%rip), %rsi      # 0x1d174
leaq 0x6d33(%rip), %rcx      # 0x1d727
movl $0x2c6, %edx            # imm = 0x2C6
callq 0x2100
leaq 0x6dd1(%rip), %rdi      # 0x1d7d6
leaq 0x6768(%rip), %rsi      # 0x1d174
leaq 0x6d14(%rip), %rcx      # 0x1d727
movl $0x2c8, %edx            # imm = 0x2C8
callq 0x2100
leaq 0x78f7(%rip), %rdi      # 0x1e31b
leaq 0x6749(%rip), %rsi      # 0x1d174
leaq 0x6cf5(%rip), %rcx      # 0x1d727
movl $0x2cc, %edx            # imm = 0x2CC
callq 0x2100
leaq 0x6d93(%rip), %rdi      # 0x1d7d6
leaq 0x672a(%rip), %rsi      # 0x1d174
leaq 0x6cd6(%rip), %rcx      # 0x1d727
movl $0x2cf, %edx            # imm = 0x2CF
callq 0x2100
leaq 0x78b9(%rip), %rdi      # 0x1e31b
leaq 0x670b(%rip), %rsi      # 0x1d174
leaq 0x6cb7(%rip), %rcx      # 0x1d727
movl $0x2d2, %edx            # imm = 0x2D2
callq 0x2100
leaq 0x64b0(%rip), %rdi      # 0x1cf31
leaq 0x66ec(%rip), %rsi      # 0x1d174
leaq 0x6c98(%rip), %rcx      # 0x1d727
movl $0x2d3, %edx            # imm = 0x2D3
callq 0x2100
leaq 0x787b(%rip), %rdi      # 0x1e31b
leaq 0x66cd(%rip), %rsi      # 0x1d174
leaq 0x6c79(%rip), %rcx      # 0x1d727
movl $0x2d6, %edx            # imm = 0x2D6
callq 0x2100
leaq 0x6444(%rip), %rdi      # 0x1cf03
leaq 0x66ae(%rip), %rsi      # 0x1d174
leaq 0x6c5a(%rip), %rcx      # 0x1d727
movl $0x2d7, %edx            # imm = 0x2D7
callq 0x2100
leaq 0x6452(%rip), %rdi      # 0x1cf30
leaq 0x668f(%rip), %rsi      # 0x1d174
leaq 0x6c3b(%rip), %rcx      # 0x1d727
movl $0x2d8, %edx            # imm = 0x2D8
callq 0x2100
leaq 0x6cfc(%rip), %rdi      # 0x1d7f9
leaq 0x6670(%rip), %rsi      # 0x1d174
leaq 0x6c1c(%rip), %rcx      # 0x1d727
movl $0x2d9, %edx            # imm = 0x2D9
callq 0x2100
leaq 0x6ceb(%rip), %rdi      # 0x1d807
leaq 0x6651(%rip), %rsi      # 0x1d174
leaq 0x6bfd(%rip), %rcx      # 0x1d727
movl $0x2db, %edx            # imm = 0x2DB
callq 0x2100
leaq 0x6cd7(%rip), %rdi      # 0x1d812
leaq 0x6632(%rip), %rsi      # 0x1d174
leaq 0x6bde(%rip), %rcx      # 0x1d727
movl $0x2dc, %edx            # imm = 0x2DC
callq 0x2100
leaq 0x6cad(%rip), %rdi      # 0x1d807
leaq 0x6613(%rip), %rsi      # 0x1d174
leaq 0x6bbf(%rip), %rcx      # 0x1d727
movl $0x2de, %edx            # imm = 0x2DE
callq 0x2100
leaq 0x6ca8(%rip), %rdi      # 0x1d821
leaq 0x65f4(%rip), %rsi      # 0x1d174
leaq 0x6ba0(%rip), %rcx      # 0x1d727
movl $0x2df, %edx            # imm = 0x2DF
callq 0x2100
leaq 0x7783(%rip), %rdi      # 0x1e31b
leaq 0x65d5(%rip), %rsi      # 0x1d174
leaq 0x6b81(%rip), %rcx      # 0x1d727
movl $0x2e2, %edx            # imm = 0x2E2
callq 0x2100
leaq 0x634c(%rip), %rdi      # 0x1cf03
leaq 0x65b6(%rip), %rsi      # 0x1d174
leaq 0x6b62(%rip), %rcx      # 0x1d727
movl $0x2e3, %edx            # imm = 0x2E3
callq 0x2100
leaq 0x635a(%rip), %rdi      # 0x1cf30
leaq 0x6597(%rip), %rsi      # 0x1d174
leaq 0x6b43(%rip), %rcx      # 0x1d727
movl $0x2e4, %edx            # imm = 0x2E4
callq 0x2100
leaq 0x6c04(%rip), %rdi      # 0x1d7f9
leaq 0x6578(%rip), %rsi      # 0x1d174
leaq 0x6b24(%rip), %rcx      # 0x1d727
movl $0x2e5, %edx            # imm = 0x2E5
callq 0x2100
leaq 0x6c2a(%rip), %rdi      # 0x1d83e
leaq 0x6559(%rip), %rsi      # 0x1d174
leaq 0x6b05(%rip), %rcx      # 0x1d727
movl $0x2e7, %edx            # imm = 0x2E7
callq 0x2100
leaq 0x6c19(%rip), %rdi      # 0x1d84c
leaq 0x653a(%rip), %rsi      # 0x1d174
leaq 0x6ae6(%rip), %rcx      # 0x1d727
movl $0x2e8, %edx            # imm = 0x2E8
callq 0x2100
leaq 0x6bec(%rip), %rdi      # 0x1d83e
leaq 0x651b(%rip), %rsi      # 0x1d174
leaq 0x6ac7(%rip), %rcx      # 0x1d727
movl $0x2ea, %edx            # imm = 0x2EA
callq 0x2100
leaq 0x6bed(%rip), %rdi      # 0x1d85e
leaq 0x64fc(%rip), %rsi      # 0x1d174
leaq 0x6aa8(%rip), %rcx      # 0x1d727
movl $0x2eb, %edx            # imm = 0x2EB
callq 0x2100
leaq 0x768b(%rip), %rdi      # 0x1e31b
leaq 0x64dd(%rip), %rsi      # 0x1d174
leaq 0x6a89(%rip), %rcx      # 0x1d727
movl $0x2ef, %edx            # imm = 0x2EF
callq 0x2100
leaq 0x6b27(%rip), %rdi      # 0x1d7d6
leaq 0x64be(%rip), %rsi      # 0x1d174
leaq 0x6a6a(%rip), %rcx      # 0x1d727
movl $0x2f1, %edx            # imm = 0x2F1
callq 0x2100
leaq 0x6b08(%rip), %rdi      # 0x1d7d6
leaq 0x649f(%rip), %rsi      # 0x1d174
leaq 0x6a4b(%rip), %rcx      # 0x1d727
movl $0x2f6, %edx            # imm = 0x2F6
callq 0x2100
leaq 0x6ae9(%rip), %rdi      # 0x1d7d6
leaq 0x6480(%rip), %rsi      # 0x1d174
leaq 0x6a2c(%rip), %rcx      # 0x1d727
movl $0x2f8, %edx            # imm = 0x2F8
callq 0x2100
leaq 0x760f(%rip), %rdi      # 0x1e31b
leaq 0x6461(%rip), %rsi      # 0x1d174
leaq 0x6a0d(%rip), %rcx      # 0x1d727
movl $0x2fe, %edx            # imm = 0x2FE
callq 0x2100
leaq 0x6aab(%rip), %rdi      # 0x1d7d6
leaq 0x6442(%rip), %rsi      # 0x1d174
leaq 0x69ee(%rip), %rcx      # 0x1d727
movl $0x300, %edx            # imm = 0x300
callq 0x2100
leaq 0x75d1(%rip), %rdi      # 0x1e31b
leaq 0x6423(%rip), %rsi      # 0x1d174
leaq 0x69cf(%rip), %rcx      # 0x1d727
movl $0x304, %edx            # imm = 0x304
callq 0x2100
leaq 0x6a6d(%rip), %rdi      # 0x1d7d6
leaq 0x6404(%rip), %rsi      # 0x1d174
leaq 0x69b0(%rip), %rcx      # 0x1d727
movl $0x307, %edx            # imm = 0x307
callq 0x2100
leaq 0x7593(%rip), %rdi      # 0x1e31b
leaq 0x63e5(%rip), %rsi      # 0x1d174
leaq 0x6991(%rip), %rcx      # 0x1d727
movl $0x30b, %edx            # imm = 0x30B
callq 0x2100
leaq 0x6a2f(%rip), %rdi      # 0x1d7d6
leaq 0x63c6(%rip), %rsi      # 0x1d174
leaq 0x6972(%rip), %rcx      # 0x1d727
movl $0x30f, %edx            # imm = 0x30F
callq 0x2100
leaq 0x7555(%rip), %rdi      # 0x1e31b
leaq 0x63a7(%rip), %rsi      # 0x1d174
leaq 0x6953(%rip), %rcx      # 0x1d727
movl $0x313, %edx            # imm = 0x313
callq 0x2100
leaq 0x69f1(%rip), %rdi      # 0x1d7d6
leaq 0x6388(%rip), %rsi      # 0x1d174
leaq 0x6934(%rip), %rcx      # 0x1d727
movl $0x316, %edx            # imm = 0x316
callq 0x2100