// File: /workspace/github_c_makefile_star2_O1/dalnefre[P]kernel_abe/emit.c
// Function: test_emit
void
test_emit()
{
	char* s;
	char tmp[256];
	SBUF* sbuf = new_sbuf(1024);	/* allocate 1K string buffer */
	CONS* zero_atom = ATOM("zero");
	CONS* zero_list = cons(NUMBER(0), NIL);
	CONS* list;

	DBUG_ENTER("test_emit");
	TRACE(printf("--test_emit--\n"));

	clear_sbuf(sbuf);
	emit_cons(TRUE, 0, sbuf_emit, sbuf);
	DBUG_PRINT("", ("TRUE = %s", sbuf->buf));
	assert(strcmp("-T-", sbuf->buf) == 0);
	
	clear_sbuf(sbuf);
	emit_cons(FALSE, 0, sbuf_emit, sbuf);
	DBUG_PRINT("", ("FALSE = %s", sbuf->buf));
	assert(strcmp("-F-", sbuf->buf) == 0);
	
	clear_sbuf(sbuf);
	emit_cons(NIL, 0, sbuf_emit, sbuf);
	DBUG_PRINT("", ("NIL = %s", sbuf->buf));
	assert(strcmp("NIL", sbuf->buf) == 0);
	
	clear_sbuf(sbuf);
	emit_cons(zero_atom, 0, sbuf_emit, sbuf);
	DBUG_PRINT("", ("zero = %s", sbuf->buf));
	assert(strcmp("zero", sbuf->buf) == 0);
	
	clear_sbuf(sbuf);
	emit_cons(zero_list, 0, sbuf_emit, sbuf);
	DBUG_PRINT("", ("(0) = %s", sbuf->buf));
	assert(strcmp("(0)", sbuf->buf) == 0);
	
	clear_sbuf(sbuf);
	emit_cons(cons(NIL, NIL), 1, sbuf_emit, sbuf);
	DBUG_PRINT("", ("(NIL) = %s", sbuf->buf));
	assert(strcmp("(NIL)", sbuf->buf) == 0);
	
	clear_sbuf(sbuf);
	emit_cons(cons(zero_atom, NUMBER(0)), 1, sbuf_emit, sbuf);
	DBUG_PRINT("", ("(zero . 0) = %s", sbuf->buf));
	assert(strcmp("(zero : 0)", sbuf->buf) == 0);
	
	clear_sbuf(sbuf);
	emit_cons(cons(zero_atom, zero_list), 1, sbuf_emit, sbuf);
	XDBUG_PRINT("", ("\n(zero\n 0) = \n%s\n", sbuf->buf));
	assert(strcmp("(zero\n 0)", sbuf->buf) == 0);

	clear_sbuf(sbuf);
	emit_cons(cons(zero_atom, zero_list), 0, sbuf_emit, sbuf);
	DBUG_PRINT("", ("(zero 0) = %s", sbuf->buf));
	assert(strcmp("(zero 0)", sbuf->buf) == 0);

	clear_sbuf(sbuf);
	emit_cons(cons(NUMBER(0), MK_FUNC(test_emit)), 0, sbuf_emit, sbuf);
#if NUMBER_IS_FUNC
	sprintf(tmp, "(0 : %d)", (int)test_emit);
#else
	sprintf(tmp, "(0 : @%p)", (void*)(ulint)test_emit);
#endif
	DBUG_PRINT("", ("%s = %s", tmp, sbuf->buf));
	assert(strcmp(tmp, sbuf->buf) == 0);

	list = ATOM("@ (:.)");
	s = xcons_to_str(list);
	DBUG_PRINT("", ("\"@ (:.)\" = %s", s));
	assert(strcmp("\"@ (:.)\"", s) == 0);
	
	list = ATOM("'x:y");
	s = xcons_to_str(list);
	DBUG_PRINT("", ("\"'x:y\" = %s", s));
	assert(strcmp("\"'x:y\"", s) == 0);
	
	list = NIL;
	list = cons(NUMBER(0), list);
	list = cons(NUMBER(1), list);
	list = cons(NUMBER(2), list);
	s = xcons_to_str(list);
	DBUG_PRINT("", ("(2 1 0) = %s", s));
	assert(strcmp("(2 1 0)", s) == 0);
	
	list = cons(zero_list, NIL);
	s = xcons_to_str(list);
	DBUG_PRINT("", ("((0)) = %s", s));
	assert(strcmp("((0))", s) == 0);
	
	list = map_put(NIL, zero_atom, NUMBER(0));
	s = xcons_to_str(list);
	DBUG_PRINT("", ("((zero : 0)) = %s", s));
	assert(strcmp("((zero : 0))", s) == 0);
	
	list = NIL;
	list = cons(cons(zero_atom, NUMBER(0)), list);
	list = cons(cons(ATOM("one"), NUMBER(1)), list);
	s = xcons_to_str(list);
	DBUG_PRINT("", ("((one : 1) (zero : 0)) = %s", s));
	assert(strcmp("((one : 1) (zero : 0))", s) == 0);
	
	list = NIL;
	list = map_put(list, zero_atom, NUMBER(0));
	list = map_put(list, ATOM("one"), NUMBER(1));
	s = xcons_to_str(list);
	DBUG_PRINT("", ("((one : 1) (zero : 0)) = %s", s));
	assert(strcmp("((one : 1) (zero : 0))", s) == 0);

	sbuf = free_sbuf(sbuf);
	test_cons_to_str();		/* chain to new tests */
	test_str_to_cons();		/* chain to reverse-direction tests */
	DBUG_RETURN;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x138, %rsp            # imm = 0x138
movl $0x400, %edi            # imm = 0x400
callq 0x1af78
movq %rax, %rbx
leaq 0x8952(%rip), %rdi      # 0x1d361
callq 0x1707c
movq %rax, %r15
leaq 0xe882(%rip), %r13      # 0x232a0
movl $0x3, %edi
movq %r13, %rsi
callq 0x19b84
movq %rax, (%rsp)
leaq 0x8930(%rip), %rax      # 0x1d366
leaq 0x8(%rsp), %rdi
movq %rax, (%rdi)
leaq 0xe8eb(%rip), %rbp      # 0x23330
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%rdi)
movl $0x16b, 0xc(%rdi)       # imm = 0x16B
leaq 0x78e9(%rip), %r14      # 0x1c34a
movq %r14, 0x10(%rdi)
leaq 0xe754(%rip), %rcx      # 0x231c0
movq %rcx, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1b912
leaq 0x8eb9(%rip), %rdi      # 0x1d939
callq 0x20a0
movq %rbx, %rdi
callq 0x1afd6
incl 0xed65(%rip)            # 0x237f8
leaq 0x31(%rsp), %r12
movl $0x2d542d, -0x1(%r12)   # imm = 0x2D542D
movb $0x0, 0xfe(%r12)
movb $0x2d, %al
movsbl %al, %edi
movq %rbx, %rsi
callq 0x1b008
movb (%r12), %al
incq %r12
testb %al, %al
jne 0x14aac
decl 0xed30(%rip)            # 0x237f8
leaq 0xee61(%rip), %rax      # 0x23930
cmpl $0x0, (%rax)
je 0x14b0d
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x14b0d
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x170, 0xc(%rax)       # imm = 0x170
movq 0x10(%rbx), %rsi
leaq 0x886a(%rip), %rdi      # 0x1d370
xorl %eax, %eax
callq 0x1b983
movq 0x10(%rbx), %rsi
leaq 0x8817(%rip), %rdi      # 0x1d32f
callq 0x2170
testl %eax, %eax
jne 0x1539e
movq %rbx, %rdi
callq 0x1afd6
incl 0xecc5(%rip)            # 0x237f8
leaq 0x31(%rsp), %r12
movl $0x2d462d, -0x1(%r12)   # imm = 0x2D462D
movb $0x0, 0xfe(%r12)
movb $0x2d, %al
movsbl %al, %edi
movq %rbx, %rsi
callq 0x1b008
movb (%r12), %al
incq %r12
testb %al, %al
jne 0x14b4c
decl 0xec90(%rip)            # 0x237f8
leaq 0xedc1(%rip), %rax      # 0x23930
cmpl $0x0, (%rax)
je 0x14bad
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x14bad
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x175, 0xc(%rax)       # imm = 0x175
movq 0x10(%rbx), %rsi
leaq 0x8803(%rip), %rdi      # 0x1d3a9
xorl %eax, %eax
callq 0x1b983
movq 0x10(%rbx), %rsi
leaq 0x877b(%rip), %rdi      # 0x1d333
callq 0x2170
testl %eax, %eax
jne 0x153bd
movq %rbx, %rdi
callq 0x1afd6
incl 0xec25(%rip)            # 0x237f8
cmpq $0x2, %r13
movl $0x2d542d, %ecx         # imm = 0x2D542D
movl $0x4c494e, %eax         # imm = 0x4C494E
cmovbl %ecx, %eax
movl %eax, 0x30(%rsp)
movb $0x0, 0x12f(%rsp)
testb %al, %al
je 0x14c0f
leaq 0x31(%rsp), %r12
movsbl %al, %edi
movq %rbx, %rsi
callq 0x1b008
movb (%r12), %al
incq %r12
testb %al, %al
jne 0x14bf9
decl 0xebe3(%rip)            # 0x237f8
leaq 0xed14(%rip), %r12      # 0x23930
cmpl $0x0, (%r12)
movq (%rsp), %r13
je 0x14c60
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x14c60
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x17a, 0xc(%rax)       # imm = 0x17A
movq 0x10(%rbx), %rsi
leaq 0x8779(%rip), %rdi      # 0x1d3d2
xorl %eax, %eax
callq 0x1b983
movq 0x10(%rbx), %rsi
leaq 0x981e(%rip), %rdi      # 0x1e489
callq 0x2170
testl %eax, %eax
jne 0x153dc
movq %rbx, %rdi
callq 0x1afd6
leaq 0x6381(%rip), %rdx      # 0x1b008
movq %r15, %rdi
xorl %esi, %esi
movq %rbx, %rcx
callq 0x14711
cmpl $0x0, (%r12)
je 0x14cd4
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x14cd4
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x17f, 0xc(%rax)       # imm = 0x17F
movq 0x10(%rbx), %rsi
leaq 0x872c(%rip), %rdi      # 0x1d3f9
xorl %eax, %eax
callq 0x1b983
movq 0x10(%rbx), %rsi
leaq 0x8682(%rip), %rdi      # 0x1d361
callq 0x2170
testl %eax, %eax
jne 0x153fb
movq %rbx, %rdi
callq 0x1afd6
leaq 0x630d(%rip), %rdx      # 0x1b008
movq %r13, %rdi
xorl %esi, %esi
movq %rbx, %rcx
callq 0x14711
cmpl $0x0, (%r12)
je 0x14d48
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x14d48
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x184, 0xc(%rax)       # imm = 0x184
movq 0x10(%rbx), %rsi
leaq 0x86e1(%rip), %rdi      # 0x1d422
xorl %eax, %eax
callq 0x1b983
movq 0x10(%rbx), %rsi
leaq 0x98cc(%rip), %rdi      # 0x1e61f
callq 0x2170
testl %eax, %eax
jne 0x1541a
movq %rbx, %rdi
callq 0x1afd6
leaq 0xe531(%rip), %rdi      # 0x232a0
movq %rdi, %rsi
callq 0x19b84
leaq 0x628a(%rip), %rdx      # 0x1b008
movq %rax, %rdi
movl $0x1, %esi
movq %rbx, %rcx
callq 0x14711
cmpl $0x0, (%r12)
je 0x14dce
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x14dce
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x189, 0xc(%rax)       # imm = 0x189
movq 0x10(%rbx), %rsi
leaq 0x8682(%rip), %rdi      # 0x1d449
xorl %eax, %eax
callq 0x1b983
movq 0x10(%rbx), %rsi
leaq 0x82b0(%rip), %rdi      # 0x1d089
callq 0x2170
testl %eax, %eax
jne 0x15439
movq %rbx, %rdi
callq 0x1afd6
movl $0x3, %esi
movq %r15, %rdi
callq 0x19b84
leaq 0x6206(%rip), %rdx      # 0x1b008
movq %rax, %rdi
movl $0x1, %esi
movq %rbx, %rcx
callq 0x14711
cmpl $0x0, (%r12)
je 0x14e52
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x14e52
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x18e, 0xc(%rax)       # imm = 0x18E
movq 0x10(%rbx), %rsi
leaq 0x8629(%rip), %rdi      # 0x1d474
xorl %eax, %eax
callq 0x1b983
movq 0x10(%rbx), %rsi
leaq 0x8627(%rip), %rdi      # 0x1d484
callq 0x2170
testl %eax, %eax
jne 0x15458
movq %rbx, %rdi
callq 0x1afd6
movq %r15, %rdi
movq %r13, %rsi
callq 0x19b84
leaq 0x6184(%rip), %rdx      # 0x1b008
movq %rax, %rdi
movl $0x1, %esi
movq %rbx, %rcx
callq 0x14711
movq 0x10(%rbx), %rsi
leaq 0x8615(%rip), %rdi      # 0x1d4b4
callq 0x2170
testl %eax, %eax
jne 0x15477
movq %rbx, %rdi
callq 0x1afd6
movq %r15, %rdi
movq %r13, %rsi
callq 0x19b84
leaq 0x6142(%rip), %rdx      # 0x1b008
movq %rax, %rdi
xorl %esi, %esi
movq %rbx, %rcx
callq 0x14711
cmpl $0x0, (%r12)
je 0x14f13
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x14f13
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x198, 0xc(%rax)       # imm = 0x198
movq 0x10(%rbx), %rsi
leaq 0x85d7(%rip), %rdi      # 0x1d4e3
xorl %eax, %eax
callq 0x1b983
movq 0x10(%rbx), %rsi
leaq 0x85d3(%rip), %rdi      # 0x1d4f1
callq 0x2170
testl %eax, %eax
jne 0x15496
movq %rbx, %rdi
callq 0x1afd6
leaq -0x550(%rip), %r13      # 0x149ea
leaq 0x3(,%r13,4), %rsi
movl $0x3, %edi
callq 0x19b84
leaq 0x60b5(%rip), %rdx      # 0x1b008
movq %rax, %rdi
xorl %esi, %esi
movq %rbx, %rcx
callq 0x14711
leaq 0x85b6(%rip), %rsi      # 0x1d51d
leaq 0x30(%rsp), %rdi
movl %r13d, %edx
xorl %eax, %eax
callq 0x2220
cmpl $0x0, (%r12)
je 0x14fbb
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x14fbb
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x1a2, 0xc(%rax)       # imm = 0x1A2
movq 0x10(%rbx), %rdx
leaq 0x81a2(%rip), %rdi      # 0x1d151
leaq 0x30(%rsp), %rsi
xorl %eax, %eax
callq 0x1b983
movq 0x10(%rbx), %rsi
leaq 0x30(%rsp), %rdi
callq 0x2170
testl %eax, %eax
jne 0x154b5
leaq 0x856a(%rip), %rdi      # 0x1d542
callq 0x1707c
movq %rax, %rdi
callq 0x146b4
movq %rax, %r13
cmpl $0x0, (%r12)
je 0x15027
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x15027
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x1a7, 0xc(%rax)       # imm = 0x1A7
leaq 0x852c(%rip), %rdi      # 0x1d549
movq %r13, %rsi
xorl %eax, %eax
callq 0x1b983
leaq 0x8529(%rip), %rdi      # 0x1d557
movq %r13, %rsi
callq 0x2170
testl %eax, %eax
jne 0x154d4
leaq 0x8538(%rip), %rdi      # 0x1d57d
callq 0x1707c
movq %rax, %rdi
callq 0x146b4
movq %rax, %r13
cmpl $0x0, (%r12)
je 0x15094
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x15094
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x1ac, 0xc(%rax)       # imm = 0x1AC
leaq 0x84f8(%rip), %rdi      # 0x1d582
movq %r13, %rsi
xorl %eax, %eax
callq 0x1b983
leaq 0x84f3(%rip), %rdi      # 0x1d58e
movq %r13, %rsi
callq 0x2170
testl %eax, %eax
jne 0x154f3
leaq 0xe1ee(%rip), %rsi      # 0x232a0
movl $0x3, %edi
callq 0x19b84
movl $0x7, %edi
movq %rax, %rsi
callq 0x19b84
movl $0xb, %edi
movq %rax, %rsi
callq 0x19b84
movq %rax, %rdi
callq 0x146b4
movq %rax, %r13
cmpl $0x0, (%r12)
je 0x15120
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x15120
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x1b4, 0xc(%rax)       # imm = 0x1B4
leaq 0x849a(%rip), %rdi      # 0x1d5b0
movq %r13, %rsi
xorl %eax, %eax
callq 0x1b983
leaq 0x8496(%rip), %rdi      # 0x1d5bd
movq %r13, %rsi
callq 0x2170
testl %eax, %eax
jne 0x15512
leaq 0xe162(%rip), %rsi      # 0x232a0
movq (%rsp), %rdi
callq 0x19b84
movq %rax, %rdi
callq 0x146b4
movq %rax, %r12
leaq 0xe7d7(%rip), %rax      # 0x23930
cmpl $0x0, (%rax)
je 0x15196
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x15196
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x1b9, 0xc(%rax)       # imm = 0x1B9
leaq 0x8453(%rip), %rdi      # 0x1d5df
movq %r12, %rsi
xorl %eax, %eax
callq 0x1b983
leaq 0x844d(%rip), %rdi      # 0x1d5ea
movq %r12, %rsi
callq 0x2170
testl %eax, %eax
jne 0x15531
leaq 0xe0ec(%rip), %rdi      # 0x232a0
movl $0x3, %edx
movq %r15, %rsi
callq 0x1a0ec
movq %rax, %rdi
callq 0x146b4
movq %rax, %r12
leaq 0xe75d(%rip), %rax      # 0x23930
cmpl $0x0, (%rax)
je 0x15210
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x15210
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x1be, 0xc(%rax)       # imm = 0x1BE
leaq 0x8402(%rip), %rdi      # 0x1d608
movq %r12, %rsi
xorl %eax, %eax
callq 0x1b983
leaq 0x8403(%rip), %rdi      # 0x1d61a
movq %r12, %rsi
callq 0x2170
testl %eax, %eax
jne 0x15550
movl $0x3, %esi
movq %r15, %rdi
callq 0x19b84
leaq 0xe065(%rip), %rsi      # 0x232a0
movq %rax, %rdi
callq 0x19b84
movq %rax, %r12
leaq 0x83f9(%rip), %rdi      # 0x1d646
callq 0x1707c
movl $0x7, %esi
movq %rax, %rdi
callq 0x19b84
movq %rax, %rdi
movq %r12, %rsi
callq 0x19b84
movq %rax, %rdi
callq 0x146b4
movq %rax, %r12
leaq 0xe6b4(%rip), %rax      # 0x23930
cmpl $0x0, (%rax)
je 0x152b9
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x152b9
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x1c5, 0xc(%rax)       # imm = 0x1C5
leaq 0x839b(%rip), %rdi      # 0x1d64a
movq %r12, %rsi
xorl %eax, %eax
callq 0x1b983
leaq 0x83a6(%rip), %rdi      # 0x1d666
movq %r12, %rsi
callq 0x2170
testl %eax, %eax
jne 0x1556f
leaq 0xdfc9(%rip), %rdi      # 0x232a0
movl $0x3, %edx
movq %r15, %rsi
callq 0x1a0ec
movq %rax, %r15
leaq 0x8358(%rip), %rdi      # 0x1d646
callq 0x1707c
movl $0x7, %edx
movq %r15, %rdi
movq %rax, %rsi
callq 0x1a0ec
movq %rax, %rdi
callq 0x146b4
movq %rax, %r15
leaq 0xe61b(%rip), %rax      # 0x23930
cmpl $0x0, (%rax)
je 0x15352
movq (%rbp), %rax
movq 0x50(%rax), %rax
movq %r14, 0x10(%rax)
movq %r14, %rdi
callq 0x1b084
testl %eax, %eax
je 0x15352
movq (%rbp), %rax
movq 0x50(%rax), %rax
movl $0x1cc, 0xc(%rax)       # imm = 0x1CC
leaq 0x8302(%rip), %rdi      # 0x1d64a
movq %r15, %rsi
xorl %eax, %eax
callq 0x1b983
leaq 0x830d(%rip), %rdi      # 0x1d666
movq %r15, %rsi
callq 0x2170
testl %eax, %eax
jne 0x1558e
movq %rbx, %rdi
callq 0x1afef
callq 0x13db5
callq 0x15bf1
leaq 0x8(%rsp), %rdi
movl $0x1d2, 0xc(%rdi)       # imm = 0x1D2
callq 0x1ba97
addq $0x138, %rsp            # imm = 0x138
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x7fd5(%rip), %rdi      # 0x1d37a
leaq 0x7dc8(%rip), %rsi      # 0x1d174
leaq 0x7fe5(%rip), %rcx      # 0x1d398
movl $0x171, %edx            # imm = 0x171
callq 0x2100
leaq 0x7ff0(%rip), %rdi      # 0x1d3b4
leaq 0x7da9(%rip), %rsi      # 0x1d174
leaq 0x7fc6(%rip), %rcx      # 0x1d398
movl $0x176, %edx            # imm = 0x176
callq 0x2100
leaq 0x7ff8(%rip), %rdi      # 0x1d3db
leaq 0x7d8a(%rip), %rsi      # 0x1d174
leaq 0x7fa7(%rip), %rcx      # 0x1d398
movl $0x17b, %edx            # imm = 0x17B
callq 0x2100
leaq 0x8001(%rip), %rdi      # 0x1d403
leaq 0x7d6b(%rip), %rsi      # 0x1d174
leaq 0x7f88(%rip), %rcx      # 0x1d398
movl $0x180, %edx            # imm = 0x180
callq 0x2100
leaq 0x800a(%rip), %rdi      # 0x1d42b
leaq 0x7d4c(%rip), %rsi      # 0x1d174
leaq 0x7f69(%rip), %rcx      # 0x1d398
movl $0x185, %edx            # imm = 0x185
callq 0x2100
leaq 0x8014(%rip), %rdi      # 0x1d454
leaq 0x7d2d(%rip), %rsi      # 0x1d174
leaq 0x7f4a(%rip), %rcx      # 0x1d398
movl $0x18a, %edx            # imm = 0x18A
callq 0x2100
leaq 0x8030(%rip), %rdi      # 0x1d48f
leaq 0x7d0e(%rip), %rsi      # 0x1d174
leaq 0x7f2b(%rip), %rcx      # 0x1d398
movl $0x18f, %edx            # imm = 0x18F
callq 0x2100
leaq 0x8040(%rip), %rdi      # 0x1d4be
leaq 0x7cef(%rip), %rsi      # 0x1d174
leaq 0x7f0c(%rip), %rcx      # 0x1d398
movl $0x194, %edx            # imm = 0x194
callq 0x2100
leaq 0x805d(%rip), %rdi      # 0x1d4fa
leaq 0x7cd0(%rip), %rsi      # 0x1d174
leaq 0x7eed(%rip), %rcx      # 0x1d398
movl $0x199, %edx            # imm = 0x199
callq 0x2100
leaq 0x806a(%rip), %rdi      # 0x1d526
leaq 0x7cb1(%rip), %rsi      # 0x1d174
leaq 0x7ece(%rip), %rcx      # 0x1d398
movl $0x1a3, %edx            # imm = 0x1A3
callq 0x2100
leaq 0x8085(%rip), %rdi      # 0x1d560
leaq 0x7c92(%rip), %rsi      # 0x1d174
leaq 0x7eaf(%rip), %rcx      # 0x1d398
movl $0x1a8, %edx            # imm = 0x1A8
callq 0x2100
leaq 0x809b(%rip), %rdi      # 0x1d595
leaq 0x7c73(%rip), %rsi      # 0x1d174
leaq 0x7e90(%rip), %rcx      # 0x1d398
movl $0x1ad, %edx            # imm = 0x1AD
callq 0x2100
leaq 0x80ac(%rip), %rdi      # 0x1d5c5
leaq 0x7c54(%rip), %rsi      # 0x1d174
leaq 0x7e71(%rip), %rcx      # 0x1d398
movl $0x1b5, %edx            # imm = 0x1B5
callq 0x2100
leaq 0x80b8(%rip), %rdi      # 0x1d5f0
leaq 0x7c35(%rip), %rsi      # 0x1d174
leaq 0x7e52(%rip), %rcx      # 0x1d398
movl $0x1ba, %edx            # imm = 0x1BA
callq 0x2100
leaq 0x80d0(%rip), %rdi      # 0x1d627
leaq 0x7c16(%rip), %rsi      # 0x1d174
leaq 0x7e33(%rip), %rcx      # 0x1d398
movl $0x1bf, %edx            # imm = 0x1BF
callq 0x2100
leaq 0x8107(%rip), %rdi      # 0x1d67d
leaq 0x7bf7(%rip), %rsi      # 0x1d174
leaq 0x7e14(%rip), %rcx      # 0x1d398
movl $0x1c6, %edx            # imm = 0x1C6
callq 0x2100
leaq 0x80e8(%rip), %rdi      # 0x1d67d
leaq 0x7bd8(%rip), %rsi      # 0x1d174
leaq 0x7df5(%rip), %rcx      # 0x1d398
movl $0x1cd, %edx            # imm = 0x1CD
callq 0x2100