// File: /workspace/github_c_makefile_star2_O1/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 0x7b10(%rip), %rax      # 0x1d716
leaq 0x10(%rsp), %rdi
movq %rax, (%rdi)
leaq 0xd71b(%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 0x6719(%rip), %rbx      # 0x1c34a
movq %rbx, 0x10(%rdi)
leaq 0xd584(%rip), %rcx      # 0x231c0
movq %rcx, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1b912
leaq 0x7cf7(%rip), %rdi      # 0x1d947
callq 0x20a0
leaq 0x7f1d(%rip), %rdi      # 0x1db79
callq 0x155ad
testq %rax, %rax
je 0x165e5
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x16604
cmpq $0x3, %rax
jne 0x16623
leaq 0x8(%rsp), %rdi
movq $0x54, (%rdi)
callq 0x155ad
testq %rax, %rax
je 0x16642
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16661
leaq 0x6883(%rip), %rdi      # 0x1c534
callq 0x1707c
cmpq %rax, %r14
jne 0x16680
leaq 0x769b(%rip), %rdi      # 0x1d361
callq 0x155ad
testq %rax, %rax
je 0x1669f
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x166be
leaq 0x7677(%rip), %rdi      # 0x1d361
callq 0x1707c
cmpq %rax, %r14
jne 0x166dd
leaq 0x878a(%rip), %rdi      # 0x1e489
callq 0x155ad
testq %rax, %rax
je 0x166fc
cmpq 0xd2ac(%rip), %rax      # 0x22fc0
jne 0x1671b
leaq 0x848a(%rip), %rdi      # 0x1e1ab
callq 0x155ad
testq %rax, %rax
je 0x1673a
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16759
leaq 0x8466(%rip), %rdi      # 0x1e1ab
callq 0x1707c
cmpq %rax, %r14
jne 0x16778
leaq 0x74f5(%rip), %rdi      # 0x1d24f
callq 0x155ad
testq %rax, %rax
je 0x16797
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x167b6
cmpq $-0x1, %rax
jne 0x167d5
leaq 0x7a1c(%rip), %rdi      # 0x1d7a2
callq 0x155ad
testq %rax, %rax
je 0x167f4
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16813
leaq 0x79f8(%rip), %rdi      # 0x1d7a2
callq 0x1707c
cmpq %rax, %r14
jne 0x16832
leaq 0x7798(%rip), %rdi      # 0x1d557
callq 0x155ad
testq %rax, %rax
je 0x16851
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16870
leaq 0x775f(%rip), %rdi      # 0x1d542
callq 0x1707c
cmpq %rax, %r14
jne 0x1688f
leaq 0x8827(%rip), %rdi      # 0x1e61f
callq 0x155ad
testq %rax, %rax
je 0x168ae
movq %rax, %r14
testb $0x3, %r14b
jne 0x168cd
cmpq 0xd1a6(%rip), %r14      # 0x22fc0
je 0x168ec
movq %r14, %rdi
callq 0x19c45
cmpq 0xd191(%rip), %rax      # 0x22fc0
jne 0x1690b
movq %r14, %rdi
callq 0x19ba6
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x1692a
cmpq $0x3, %rax
jne 0x16949
leaq 0x7974(%rip), %rdi      # 0x1d7cf
callq 0x155ad
testq %rax, %rax
je 0x16968
movq %rax, %r14
leaq 0xd42d(%rip), %rsi      # 0x232a0
movq $-0x1, %rdi
callq 0x19b84
movl $0x3, %edi
movq %rax, %rsi
callq 0x19b84
movq %r14, %rdi
movq %rax, %rsi
callq 0x19d00
testq %rax, %rax
je 0x16987
leaq 0x793b(%rip), %rdi      # 0x1d7e2
callq 0x155ad
movq %rax, %r14
leaq 0xda7a(%rip), %rbp      # 0x23930
cmpl $0x0, (%rbp)
je 0x15f0b
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x15f0b
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2cb, 0xc(%rax)       # imm = 0x2CB
leaq 0xd506(%rip), %r15      # 0x233f0
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
callq 0x13bb9
leaq 0x78ed(%rip), %rdi      # 0x1d7ee
movq %r15, %rsi
xorl %eax, %eax
callq 0x1b983
testq %r14, %r14
je 0x169a6
leaq 0xd385(%rip), %r15      # 0x232a0
movq $-0x1, %rdi
movq %r15, %rsi
callq 0x19b84
movl $0xab, %edi
movq %rax, %rsi
callq 0x19b84
movq %rax, %rdi
movq %r15, %rsi
callq 0x19b84
movl $0x3, %edi
movq %rax, %rsi
callq 0x19b84
movq %r14, %rdi
movq %rax, %rsi
callq 0x19d00
testq %rax, %rax
je 0x169c5
leaq 0x61f3(%rip), %rdi      # 0x1c15d
callq 0x155ad
testq %rax, %rax
je 0x169e4
cmpq 0xd041(%rip), %rax      # 0x22fc0
jne 0x16a03
leaq 0x7867(%rip), %rdi      # 0x1d7f3
callq 0x155ad
testq %rax, %rax
je 0x16a22
movq %rax, %r14
testb $0x3, %r14b
jne 0x16a41
cmpq 0xd012(%rip), %r14      # 0x22fc0
je 0x16a60
movq %r14, %rdi
callq 0x19c45
cmpq 0xcffd(%rip), %rax      # 0x22fc0
je 0x16a7f
movq %r14, %rdi
callq 0x19ba6
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x16a9e
cmpq $0x3, %rax
jne 0x16abd
movq %r14, %rdi
callq 0x19c45
movl %eax, %ecx
notl %ecx
testb $0x3, %cl
jne 0x16adc
cmpq $0x7, %rax
jne 0x16afb
leaq 0x7822(%rip), %rdi      # 0x1d830
callq 0x155ad
testq %rax, %rax
je 0x16b1a
movq %rax, %r14
testb $0x3, %r14b
jne 0x16b39
cmpq 0xcf90(%rip), %r14      # 0x22fc0
je 0x16b58
movq %r14, %rdi
callq 0x19c45
cmpq 0xcf7b(%rip), %rax      # 0x22fc0
je 0x16b77
movq %r14, %rdi
callq 0x19ba6
movq %rax, %r15
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16b96
leaq 0x77de(%rip), %rdi      # 0x1d847
callq 0x1707c
cmpq %rax, %r15
jne 0x16bb5
movq %r14, %rdi
callq 0x19c45
movq %rax, %r14
andl $0x3, %eax
cmpl $0x2, %eax
jne 0x16bd4
leaq 0x8032(%rip), %rdi      # 0x1e0c7
callq 0x1707c
cmpq %rax, %r14
jne 0x16bf3
leaq 0x77c7(%rip), %rdi      # 0x1d871
callq 0x155ad
movq %rax, %r14
cmpl $0x0, (%rbp)
je 0x16107
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x16107
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2ee, 0xc(%rax)       # imm = 0x2EE
leaq 0xd30a(%rip), %r15      # 0x233f0
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
callq 0x13bb9
leaq 0x76f1(%rip), %rdi      # 0x1d7ee
movq %r15, %rsi
xorl %eax, %eax
callq 0x1b983
testq %r14, %r14
je 0x16c12
leaq 0x7b0e(%rip), %rdi      # 0x1dc25
callq 0x1707c
movq %rax, %r15
leaq 0x7766(%rip), %rdi      # 0x1d88c
callq 0x1707c
movq %rax, %r12
leaq 0x775d(%rip), %rdi      # 0x1d892
callq 0x1707c
movq %r12, %rdi
movq %rax, %rsi
callq 0x19b84
movq %r15, %rdi
movq %rax, %rsi
callq 0x19b84
movq %r14, %rdi
movq %rax, %rsi
callq 0x19d00
testq %rax, %rax
je 0x16c31
leaq 0x777d(%rip), %rdi      # 0x1d8e8
callq 0x1707c
movq %rax, %r14
leaq 0x63ba(%rip), %rdi      # 0x1c534
callq 0x1707c
leaq 0xd11a(%rip), %r15      # 0x232a0
movq %rax, %rdi
movq %r15, %rsi
callq 0x19b84
movq %r14, %rdi
movq %rax, %rsi
callq 0x19b84
movq %rax, %r14
leaq 0x76f5(%rip), %rdi      # 0x1d89b
callq 0x1707c
movq %rax, %r12
movq %r14, %rdi
movq %r15, %rsi
callq 0x19b84
movq %r12, %rdi
movq %rax, %rsi
callq 0x19b84
movq %rax, %r14
leaq 0x76d3(%rip), %rdi      # 0x1d8a1
callq 0x155ad
movq %rax, %rdi
movq %r14, %rsi
callq 0x19d00
testq %rax, %rax
je 0x16c50
leaq 0x76c4(%rip), %rdi      # 0x1d8b2
callq 0x155ad
movq %rax, %rdi
movq %r14, %rsi
callq 0x19d00
testq %rax, %rax
je 0x16c6f
leaq 0xd092(%rip), %r14      # 0x232a0
movq %r14, %rdi
movq %r14, %rsi
callq 0x19b84
movq %rax, %rdi
movq %r14, %rsi
callq 0x19b84
movq %rax, %r15
leaq 0x769e(%rip), %rdi      # 0x1d8cc
callq 0x1707c
movq %rax, %rdi
movq %r14, %rsi
callq 0x19b84
movq %rax, %rdi
movq %r15, %rsi
callq 0x19b84
movq %rax, %r14
leaq 0x7680(%rip), %rdi      # 0x1d8d3
callq 0x155ad
movq %rax, %r15
cmpl $0x0, (%rbp)
je 0x162b0
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x162b0
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2fd, 0xc(%rax)       # imm = 0x2FD
leaq 0xd161(%rip), %r12      # 0x233f0
movl $0x3, %edi
movq %r12, %rsi
movq %r15, %rdx
callq 0x13bb9
leaq 0x7548(%rip), %rdi      # 0x1d7ee
movq %r12, %rsi
xorl %eax, %eax
callq 0x1b983
testq %r15, %r15
je 0x16c8e
cmpl $0x0, (%rbp)
je 0x1630e
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x1630e
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x2ff, 0xc(%rax)       # imm = 0x2FF
leaq 0xd103(%rip), %r12      # 0x233f0
movl $0x3, %edi
movq %r12, %rsi
movq %r14, %rdx
callq 0x13bb9
leaq 0x75de(%rip), %rdi      # 0x1d8e2
movq %r12, %rsi
xorl %eax, %eax
callq 0x1b983
movq %r15, %rdi
movq %r14, %rsi
callq 0x19d00
testq %rax, %rax
je 0x16cad
leaq 0x75be(%rip), %rdi      # 0x1d8e7
callq 0x155ad
movq %rax, %r14
cmpl $0x0, (%rbp)
je 0x16386
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x16386
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x303, 0xc(%rax)       # imm = 0x303
leaq 0xd08b(%rip), %r15      # 0x233f0
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
callq 0x13bb9
leaq 0x7472(%rip), %rdi      # 0x1d7ee
movq %r15, %rsi
xorl %eax, %eax
callq 0x1b983
testq %r14, %r14
je 0x16ccc
leaq 0x7552(%rip), %rdi      # 0x1d8e8
callq 0x1707c
leaq 0xcefe(%rip), %rsi      # 0x232a0
movq %rax, %rdi
callq 0x19b84
movq %rax, %r15
leaq 0x7317(%rip), %rdi      # 0x1d6cb
callq 0x1707c
movq %rax, %rdi
movq %r15, %rsi
callq 0x19b84
movq %r14, %rdi
movq %rax, %rsi
callq 0x19d00
testq %rax, %rax
je 0x16ceb
leaq 0x750e(%rip), %rdi      # 0x1d8ed
callq 0x155ad
movq %rax, %r14
cmpl $0x0, (%rbp)
je 0x1643c
movq (%r13), %rax
movq 0x50(%rax), %rax
movq %rbx, 0x10(%rax)
movq %rbx, %rdi
callq 0x1b084
testl %eax, %eax
je 0x1643c
movq (%r13), %rax
movq 0x50(%rax), %rax
movl $0x30a, 0xc(%rax)       # imm = 0x30A
leaq 0xcfd5(%rip), %r15      # 0x233f0
movl $0x3, %edi
movq %r15, %rsi
movq %r14, %rdx
callq 0x13bb9
leaq 0x73bc(%rip), %rdi      # 0x1d7ee
movq %r15, %rsi
xorl %eax, %eax
callq 0x1b983
testq %r14, %r14
je 0x16d0a
movq %rbx, %rbp
movq %r13, %rbx
leaq 0x7496(%rip), %rdi      # 0x1d8e8
callq 0x1707c
leaq 0xce42(%rip), %r15      # 0x232a0
movq %rax, %rdi
movq %r15, %rsi
callq 0x19b84
movq %rax, %r12
leaq 0x7428(%rip), %rdi      # 0x1d89b
callq 0x1707c
movq %rax, %rdi
movq %r12, %rsi
callq 0x19b84
movq %rax, %r12
leaq 0x723e(%rip), %rdi      # 0x1d6cb
callq 0x1707c
movq %rax, %r13
movq %r12, %rdi
movq %r15, %rsi
callq 0x19b84
movq %r13, %rdi
movq %rax, %rsi
callq 0x19b84
movq %r14, %rdi
movq %rax, %rsi
callq 0x19d00
testq %rax, %rax
je 0x16d29
leaq 0x7435(%rip), %rdi      # 0x1d8fb
callq 0x155ad
movq %rax, %r14
leaq 0xd45b(%rip), %rax      # 0x23930
cmpl $0x0, (%rax)
je 0x16527
movq (%rbx), %rax
movq 0x50(%rax), %rax
movq %rbp, 0x10(%rax)
movq %rbp, %rdi
callq 0x1b084
testl %eax, %eax
je 0x16527
movq (%rbx), %rax
movq 0x50(%rax), %rax
movl $0x312, 0xc(%rax)       # imm = 0x312
leaq 0xceea(%rip), %rbx      # 0x233f0
movl $0x3, %edi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x13bb9
leaq 0x72d1(%rip), %rdi      # 0x1d7ee
movq %rbx, %rsi
xorl %eax, %eax
callq 0x1b983
testq %r14, %r14
je 0x16d48
leaq 0x7194(%rip), %rbx      # 0x1d6cb
movq %rbx, %rdi
callq 0x1707c
movq %rax, %r12
leaq 0x5e1a(%rip), %rdi      # 0x1c363
callq 0x1707c
leaq 0xcd4b(%rip), %r15      # 0x232a0
movq %rax, %rdi
movq %r15, %rsi
callq 0x19b84
movq %r12, %rdi
movq %rax, %rsi
callq 0x19b84
movq %rax, %rdi
movq %r15, %rsi
callq 0x19b84
movq %rax, %r12
movq %rbx, %rdi
callq 0x1707c
movq %rax, %rbx
leaq 0x779b(%rip), %rdi      # 0x1dd26
callq 0x1707c
movq %rax, %rdi
movq %r15, %rsi
callq 0x19b84
movq %rbx, %rdi
movq %rax, %rsi
callq 0x19b84
movq %rax, %rdi
movq %r12, %rsi
callq 0x19b84
movq %r14, %rdi
movq %rax, %rsi
callq 0x19d00
testq %rax, %rax
je 0x16d67
leaq 0x10(%rsp), %rdi
movl $0x318, 0xc(%rdi)       # imm = 0x318
callq 0x1ba97
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x7d2f(%rip), %rdi      # 0x1e31b
leaq 0x6b81(%rip), %rsi      # 0x1d174
leaq 0x712d(%rip), %rcx      # 0x1d727
movl $0x295, %edx            # imm = 0x295
callq 0x2100
leaq 0x7134(%rip), %rdi      # 0x1d73f
leaq 0x6b62(%rip), %rsi      # 0x1d174
leaq 0x710e(%rip), %rcx      # 0x1d727
movl $0x296, %edx            # imm = 0x296
callq 0x2100
leaq 0x7120(%rip), %rdi      # 0x1d74a
leaq 0x6b43(%rip), %rsi      # 0x1d174
leaq 0x70ef(%rip), %rcx      # 0x1d727
movl $0x297, %edx            # imm = 0x297
callq 0x2100
leaq 0x7cd2(%rip), %rdi      # 0x1e31b
leaq 0x6b24(%rip), %rsi      # 0x1d174
leaq 0x70d0(%rip), %rcx      # 0x1d727
movl $0x29b, %edx            # imm = 0x29B
callq 0x2100
leaq 0x70f1(%rip), %rdi      # 0x1d759
leaq 0x6b05(%rip), %rsi      # 0x1d174
leaq 0x70b1(%rip), %rcx      # 0x1d727
movl $0x29c, %edx            # imm = 0x29C
callq 0x2100
leaq 0x70db(%rip), %rdi      # 0x1d762
leaq 0x6ae6(%rip), %rsi      # 0x1d174
leaq 0x7092(%rip), %rcx      # 0x1d727
movl $0x29d, %edx            # imm = 0x29D
callq 0x2100
leaq 0x7c75(%rip), %rdi      # 0x1e31b
leaq 0x6ac7(%rip), %rsi      # 0x1d174
leaq 0x7073(%rip), %rcx      # 0x1d727
movl $0x2a0, %edx            # imm = 0x2A0
callq 0x2100
leaq 0x7094(%rip), %rdi      # 0x1d759
leaq 0x6aa8(%rip), %rsi      # 0x1d174
leaq 0x7054(%rip), %rcx      # 0x1d727
movl $0x2a1, %edx            # imm = 0x2A1
callq 0x2100
leaq 0x708d(%rip), %rdi      # 0x1d771
leaq 0x6a89(%rip), %rsi      # 0x1d174
leaq 0x7035(%rip), %rcx      # 0x1d727
movl $0x2a2, %edx            # imm = 0x2A2
callq 0x2100
leaq 0x7c18(%rip), %rdi      # 0x1e31b
leaq 0x6a6a(%rip), %rsi      # 0x1d174
leaq 0x7016(%rip), %rcx      # 0x1d727
movl $0x2a5, %edx            # imm = 0x2A5
callq 0x2100
leaq 0x680f(%rip), %rdi      # 0x1cf31
leaq 0x6a4b(%rip), %rsi      # 0x1d174
leaq 0x6ff7(%rip), %rcx      # 0x1d727
movl $0x2a6, %edx            # imm = 0x2A6
callq 0x2100
leaq 0x7bda(%rip), %rdi      # 0x1e31b
leaq 0x6a2c(%rip), %rsi      # 0x1d174
leaq 0x6fd8(%rip), %rcx      # 0x1d727
movl $0x2a9, %edx            # imm = 0x2A9
callq 0x2100
leaq 0x6ff9(%rip), %rdi      # 0x1d759
leaq 0x6a0d(%rip), %rsi      # 0x1d174
leaq 0x6fb9(%rip), %rcx      # 0x1d727
movl $0x2aa, %edx            # imm = 0x2AA
callq 0x2100
leaq 0x7004(%rip), %rdi      # 0x1d783
leaq 0x69ee(%rip), %rsi      # 0x1d174
leaq 0x6f9a(%rip), %rcx      # 0x1d727
movl $0x2ab, %edx            # imm = 0x2AB
callq 0x2100
leaq 0x7b7d(%rip), %rdi      # 0x1e31b
leaq 0x69cf(%rip), %rsi      # 0x1d174
leaq 0x6f7b(%rip), %rcx      # 0x1d727
movl $0x2ae, %edx            # imm = 0x2AE
callq 0x2100
leaq 0x6f82(%rip), %rdi      # 0x1d73f
leaq 0x69b0(%rip), %rsi      # 0x1d174
leaq 0x6f5c(%rip), %rcx      # 0x1d727
movl $0x2af, %edx            # imm = 0x2AF
callq 0x2100
leaq 0x6fb6(%rip), %rdi      # 0x1d792
leaq 0x6991(%rip), %rsi      # 0x1d174
leaq 0x6f3d(%rip), %rcx      # 0x1d727
movl $0x2b0, %edx            # imm = 0x2B0
callq 0x2100
leaq 0x7b20(%rip), %rdi      # 0x1e31b
leaq 0x6972(%rip), %rsi      # 0x1d174
leaq 0x6f1e(%rip), %rcx      # 0x1d727
movl $0x2b3, %edx            # imm = 0x2B3
callq 0x2100
leaq 0x6f3f(%rip), %rdi      # 0x1d759
leaq 0x6953(%rip), %rsi      # 0x1d174
leaq 0x6eff(%rip), %rcx      # 0x1d727
movl $0x2b4, %edx            # imm = 0x2B4
callq 0x2100
leaq 0x6f6f(%rip), %rdi      # 0x1d7a8
leaq 0x6934(%rip), %rsi      # 0x1d174
leaq 0x6ee0(%rip), %rcx      # 0x1d727
movl $0x2b5, %edx            # imm = 0x2B5
callq 0x2100
leaq 0x7ac3(%rip), %rdi      # 0x1e31b
leaq 0x6915(%rip), %rsi      # 0x1d174
leaq 0x6ec1(%rip), %rcx      # 0x1d727
movl $0x2b8, %edx            # imm = 0x2B8
callq 0x2100
leaq 0x6ee2(%rip), %rdi      # 0x1d759
leaq 0x68f6(%rip), %rsi      # 0x1d174
leaq 0x6ea2(%rip), %rcx      # 0x1d727
movl $0x2b9, %edx            # imm = 0x2B9
callq 0x2100
leaq 0x6f25(%rip), %rdi      # 0x1d7bb
leaq 0x68d7(%rip), %rsi      # 0x1d174
leaq 0x6e83(%rip), %rcx      # 0x1d727
movl $0x2ba, %edx            # imm = 0x2BA
callq 0x2100
leaq 0x7a66(%rip), %rdi      # 0x1e31b
leaq 0x68b8(%rip), %rsi      # 0x1d174
leaq 0x6e64(%rip), %rcx      # 0x1d727
movl $0x2bd, %edx            # imm = 0x2BD
callq 0x2100
leaq 0x662f(%rip), %rdi      # 0x1cf03
leaq 0x6899(%rip), %rsi      # 0x1d174
leaq 0x6e45(%rip), %rcx      # 0x1d727
movl $0x2be, %edx            # imm = 0x2BE
callq 0x2100
leaq 0x663d(%rip), %rdi      # 0x1cf30
leaq 0x687a(%rip), %rsi      # 0x1d174
leaq 0x6e26(%rip), %rcx      # 0x1d727
movl $0x2bf, %edx            # imm = 0x2BF
callq 0x2100
leaq 0x6ee8(%rip), %rdi      # 0x1d7fa
leaq 0x685b(%rip), %rsi      # 0x1d174
leaq 0x6e07(%rip), %rcx      # 0x1d727
movl $0x2c0, %edx            # imm = 0x2C0
callq 0x2100
leaq 0x6e0e(%rip), %rdi      # 0x1d73f
leaq 0x683c(%rip), %rsi      # 0x1d174
leaq 0x6de8(%rip), %rcx      # 0x1d727
movl $0x2c2, %edx            # imm = 0x2C2
callq 0x2100
leaq 0x6dfa(%rip), %rdi      # 0x1d74a
leaq 0x681d(%rip), %rsi      # 0x1d174
leaq 0x6dc9(%rip), %rcx      # 0x1d727
movl $0x2c3, %edx            # imm = 0x2C3
callq 0x2100
leaq 0x79ac(%rip), %rdi      # 0x1e31b
leaq 0x67fe(%rip), %rsi      # 0x1d174
leaq 0x6daa(%rip), %rcx      # 0x1d727
movl $0x2c6, %edx            # imm = 0x2C6
callq 0x2100
leaq 0x6e48(%rip), %rdi      # 0x1d7d6
leaq 0x67df(%rip), %rsi      # 0x1d174
leaq 0x6d8b(%rip), %rcx      # 0x1d727
movl $0x2c8, %edx            # imm = 0x2C8
callq 0x2100
leaq 0x796e(%rip), %rdi      # 0x1e31b
leaq 0x67c0(%rip), %rsi      # 0x1d174
leaq 0x6d6c(%rip), %rcx      # 0x1d727
movl $0x2cc, %edx            # imm = 0x2CC
callq 0x2100
leaq 0x6e0a(%rip), %rdi      # 0x1d7d6
leaq 0x67a1(%rip), %rsi      # 0x1d174
leaq 0x6d4d(%rip), %rcx      # 0x1d727
movl $0x2cf, %edx            # imm = 0x2CF
callq 0x2100
leaq 0x7930(%rip), %rdi      # 0x1e31b
leaq 0x6782(%rip), %rsi      # 0x1d174
leaq 0x6d2e(%rip), %rcx      # 0x1d727
movl $0x2d2, %edx            # imm = 0x2D2
callq 0x2100
leaq 0x6527(%rip), %rdi      # 0x1cf31
leaq 0x6763(%rip), %rsi      # 0x1d174
leaq 0x6d0f(%rip), %rcx      # 0x1d727
movl $0x2d3, %edx            # imm = 0x2D3
callq 0x2100
leaq 0x78f2(%rip), %rdi      # 0x1e31b
leaq 0x6744(%rip), %rsi      # 0x1d174
leaq 0x6cf0(%rip), %rcx      # 0x1d727
movl $0x2d6, %edx            # imm = 0x2D6
callq 0x2100
leaq 0x64bb(%rip), %rdi      # 0x1cf03
leaq 0x6725(%rip), %rsi      # 0x1d174
leaq 0x6cd1(%rip), %rcx      # 0x1d727
movl $0x2d7, %edx            # imm = 0x2D7
callq 0x2100
leaq 0x64c9(%rip), %rdi      # 0x1cf30
leaq 0x6706(%rip), %rsi      # 0x1d174
leaq 0x6cb2(%rip), %rcx      # 0x1d727
movl $0x2d8, %edx            # imm = 0x2D8
callq 0x2100
leaq 0x6d73(%rip), %rdi      # 0x1d7f9
leaq 0x66e7(%rip), %rsi      # 0x1d174
leaq 0x6c93(%rip), %rcx      # 0x1d727
movl $0x2d9, %edx            # imm = 0x2D9
callq 0x2100
leaq 0x6d62(%rip), %rdi      # 0x1d807
leaq 0x66c8(%rip), %rsi      # 0x1d174
leaq 0x6c74(%rip), %rcx      # 0x1d727
movl $0x2db, %edx            # imm = 0x2DB
callq 0x2100
leaq 0x6d4e(%rip), %rdi      # 0x1d812
leaq 0x66a9(%rip), %rsi      # 0x1d174
leaq 0x6c55(%rip), %rcx      # 0x1d727
movl $0x2dc, %edx            # imm = 0x2DC
callq 0x2100
leaq 0x6d24(%rip), %rdi      # 0x1d807
leaq 0x668a(%rip), %rsi      # 0x1d174
leaq 0x6c36(%rip), %rcx      # 0x1d727
movl $0x2de, %edx            # imm = 0x2DE
callq 0x2100
leaq 0x6d1f(%rip), %rdi      # 0x1d821
leaq 0x666b(%rip), %rsi      # 0x1d174
leaq 0x6c17(%rip), %rcx      # 0x1d727
movl $0x2df, %edx            # imm = 0x2DF
callq 0x2100
leaq 0x77fa(%rip), %rdi      # 0x1e31b
leaq 0x664c(%rip), %rsi      # 0x1d174
leaq 0x6bf8(%rip), %rcx      # 0x1d727
movl $0x2e2, %edx            # imm = 0x2E2
callq 0x2100
leaq 0x63c3(%rip), %rdi      # 0x1cf03
leaq 0x662d(%rip), %rsi      # 0x1d174
leaq 0x6bd9(%rip), %rcx      # 0x1d727
movl $0x2e3, %edx            # imm = 0x2E3
callq 0x2100
leaq 0x63d1(%rip), %rdi      # 0x1cf30
leaq 0x660e(%rip), %rsi      # 0x1d174
leaq 0x6bba(%rip), %rcx      # 0x1d727
movl $0x2e4, %edx            # imm = 0x2E4
callq 0x2100
leaq 0x6c7b(%rip), %rdi      # 0x1d7f9
leaq 0x65ef(%rip), %rsi      # 0x1d174
leaq 0x6b9b(%rip), %rcx      # 0x1d727
movl $0x2e5, %edx            # imm = 0x2E5
callq 0x2100
leaq 0x6ca1(%rip), %rdi      # 0x1d83e
leaq 0x65d0(%rip), %rsi      # 0x1d174
leaq 0x6b7c(%rip), %rcx      # 0x1d727
movl $0x2e7, %edx            # imm = 0x2E7
callq 0x2100
leaq 0x6c90(%rip), %rdi      # 0x1d84c
leaq 0x65b1(%rip), %rsi      # 0x1d174
leaq 0x6b5d(%rip), %rcx      # 0x1d727
movl $0x2e8, %edx            # imm = 0x2E8
callq 0x2100
leaq 0x6c63(%rip), %rdi      # 0x1d83e
leaq 0x6592(%rip), %rsi      # 0x1d174
leaq 0x6b3e(%rip), %rcx      # 0x1d727
movl $0x2ea, %edx            # imm = 0x2EA
callq 0x2100
leaq 0x6c64(%rip), %rdi      # 0x1d85e
leaq 0x6573(%rip), %rsi      # 0x1d174
leaq 0x6b1f(%rip), %rcx      # 0x1d727
movl $0x2eb, %edx            # imm = 0x2EB
callq 0x2100
leaq 0x7702(%rip), %rdi      # 0x1e31b
leaq 0x6554(%rip), %rsi      # 0x1d174
leaq 0x6b00(%rip), %rcx      # 0x1d727
movl $0x2ef, %edx            # imm = 0x2EF
callq 0x2100
leaq 0x6b9e(%rip), %rdi      # 0x1d7d6
leaq 0x6535(%rip), %rsi      # 0x1d174
leaq 0x6ae1(%rip), %rcx      # 0x1d727
movl $0x2f1, %edx            # imm = 0x2F1
callq 0x2100
leaq 0x6b7f(%rip), %rdi      # 0x1d7d6
leaq 0x6516(%rip), %rsi      # 0x1d174
leaq 0x6ac2(%rip), %rcx      # 0x1d727
movl $0x2f6, %edx            # imm = 0x2F6
callq 0x2100
leaq 0x6b60(%rip), %rdi      # 0x1d7d6
leaq 0x64f7(%rip), %rsi      # 0x1d174
leaq 0x6aa3(%rip), %rcx      # 0x1d727
movl $0x2f8, %edx            # imm = 0x2F8
callq 0x2100
leaq 0x7686(%rip), %rdi      # 0x1e31b
leaq 0x64d8(%rip), %rsi      # 0x1d174
leaq 0x6a84(%rip), %rcx      # 0x1d727
movl $0x2fe, %edx            # imm = 0x2FE
callq 0x2100
leaq 0x6b22(%rip), %rdi      # 0x1d7d6
leaq 0x64b9(%rip), %rsi      # 0x1d174
leaq 0x6a65(%rip), %rcx      # 0x1d727
movl $0x300, %edx            # imm = 0x300
callq 0x2100
leaq 0x7648(%rip), %rdi      # 0x1e31b
leaq 0x649a(%rip), %rsi      # 0x1d174
leaq 0x6a46(%rip), %rcx      # 0x1d727
movl $0x304, %edx            # imm = 0x304
callq 0x2100
leaq 0x6ae4(%rip), %rdi      # 0x1d7d6
leaq 0x647b(%rip), %rsi      # 0x1d174
leaq 0x6a27(%rip), %rcx      # 0x1d727
movl $0x307, %edx            # imm = 0x307
callq 0x2100
leaq 0x760a(%rip), %rdi      # 0x1e31b
leaq 0x645c(%rip), %rsi      # 0x1d174
leaq 0x6a08(%rip), %rcx      # 0x1d727
movl $0x30b, %edx            # imm = 0x30B
callq 0x2100
leaq 0x6aa6(%rip), %rdi      # 0x1d7d6
leaq 0x643d(%rip), %rsi      # 0x1d174
leaq 0x69e9(%rip), %rcx      # 0x1d727
movl $0x30f, %edx            # imm = 0x30F
callq 0x2100
leaq 0x75cc(%rip), %rdi      # 0x1e31b
leaq 0x641e(%rip), %rsi      # 0x1d174
leaq 0x69ca(%rip), %rcx      # 0x1d727
movl $0x313, %edx            # imm = 0x313
callq 0x2100
leaq 0x6a68(%rip), %rdi      # 0x1d7d6
leaq 0x63ff(%rip), %rsi      # 0x1d174
leaq 0x69ab(%rip), %rcx      # 0x1d727
movl $0x316, %edx            # imm = 0x316
callq 0x2100