// File: /workspace/github_c_makefile_star2_O1/dalnefre[P]kernel_abe/kernel.c
// Function: main
int
main(int argc, char** argv)
{
	int c;
	BOOL test_mode = FALSE;			/* flag to run unit tests */
	BOOL interactive = FALSE;		/* flag to run unit tests */

	DBUG_ENTER("main");
	DBUG_PROCESS(argv[0]);
	while ((c = getopt(argc, argv, "tiM:#:V")) != EOF) {
		switch(c) {
		case 't':	test_mode = TRUE;		break;
		case 'i':	interactive = TRUE;		break;
		case 'M':	M_limit = atoi(optarg);	break;
		case '#':	DBUG_PUSH(optarg);		break;
		case 'V':	banner();				exit(EXIT_SUCCESS);
		case '?':							usage();
		default:							usage();
		}
	}
	banner();
	CFG = new_configuration(1000);
	init_kernel();  /* ==== INITIALIZE GLOBAL CONFIGURATION ==== */
	if (test_mode) {
		test_kernel();	/* this test involves running the dispatch loop */
		fputc('\n', output_file);
	}
	while (optind < argc) {
		FILE* f;
		char* filename = argv[optind++];

		DBUG_PRINT("", ("filename=%s", filename));
		if ((f = fopen(filename, "r")) == NULL) {
			perror(filename);
			exit(EXIT_FAILURE);
		}
		fprintf(output_file, "Loading %s\n", filename);
		read_eval_print_loop(f, FALSE);
		fclose(f);
	}
	if (interactive) {
		fprintf(output_file, "Entering INTERACTIVE mode.\n");
		read_eval_print_loop(stdin, TRUE);
		fputc('\n', output_file);
		report_actor_usage(CFG);
	}
	report_cons_stats();

	DBUG_RETURN (exit(EXIT_SUCCESS), 0);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, %rbx
movl %edi, %ebp
leaq 0x1779d(%rip), %rax     # 0x1c4e8
leaq 0x18(%rsp), %rdi
movq %rax, (%rdi)
leaq 0x1e5d6(%rip), %r15     # 0x23330
movq (%r15), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%rdi)
movl $0xcd6, 0xc(%rdi)       # imm = 0xCD6
leaq 0x175d5(%rip), %rcx     # 0x1c34a
movq %rcx, 0x10(%rdi)
leaq 0x1e3d0(%rip), %r14     # 0x23150
movq %r14, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1b912
movq (%r15), %rax
movq 0x18(%rax), %rcx
movq 0x1e25d(%rip), %r12     # 0x22ff8
testq %rcx, %rcx
jne 0x4da4
movq (%r12), %rcx
movq %rcx, 0x18(%rax)
callq 0x20b0
leaq 0x1e57c(%rip), %rcx     # 0x23330
movq (%rcx), %rcx
movl %eax, 0x10(%rcx)
movq (%rbx), %rax
movq %rax, 0x8(%rcx)
movb $0x1, %al
movl %eax, 0xc(%rsp)
movq $0x0, 0x10(%rsp)
leaq 0x17716(%rip), %r15     # 0x1c4ed
movq 0x1e1fa(%rip), %r13     # 0x22fd8
movl %ebp, %edi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x21f0
cmpl $0x4c, %eax
jle 0x4e0b
cmpl $0x55, %eax
jg 0x4e30
cmpl $0x4d, %eax
jne 0x4e58
movq (%r13), %rdi
callq 0x2210
movl %eax, 0x1e397(%rip)     # 0x231a0
jmp 0x4dde
cmpl $0x23, %eax
jne 0x4e50
leaq 0x1e519(%rip), %rax     # 0x23330
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0xcdd, 0xc(%rax)       # imm = 0xCDD
movq (%r13), %rdi
callq 0x1b1e1
jmp 0x4dde
cmpl $0x69, %eax
je 0x4e46
cmpl $0x74, %eax
jne 0x4e7b
movl $0x1, %eax
movq %rax, 0x10(%rsp)
jmp 0x4dde
movl $0x0, 0xc(%rsp)
jmp 0x4dde
cmpl $-0x1, %eax
je 0x4e8a
cmpl $0x3f, %eax
movq (%r12), %rdi
leaq 0x17640(%rip), %rsi     # 0x1c4a3
leaq 0x1e2f6(%rip), %rdx     # 0x23160
xorl %eax, %eax
callq 0x2180
movl $0x1, %edi
callq 0x2230
cmpl $0x56, %eax
jne 0x4e58
callq 0x4d0e
jmp 0x5a89
leaq 0x17649(%rip), %rdi     # 0x1c4da
leaq 0x1e2c8(%rip), %rsi     # 0x23160
leaq 0x1e2c8(%rip), %rdx     # 0x23167
leaq 0x1e2da(%rip), %rcx     # 0x23180
xorl %eax, %eax
callq 0x20e0
movl $0x3e8, %edi            # imm = 0x3E8
callq 0x1215f
movq %rax, 0x1e4e2(%rip)     # 0x233a0
leaq 0x179b1(%rip), %rax     # 0x1c876
leaq 0x40(%rsp), %rdi
movq %rax, (%rdi)
leaq 0x1e45c(%rip), %rax     # 0x23330
movq (%rax), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%rdi)
movl $0xa2e, 0xc(%rdi)       # imm = 0xA2E
leaq 0x1745b(%rip), %rcx     # 0x1c34a
movq %rcx, 0x10(%rdi)
movq %r14, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1b912
leaq 0x1e399(%rip), %r15     # 0x232a0
movq %r15, %rdi
movq %r15, %rsi
callq 0x19b84
movq %rax, 0x1e4a7(%rip)     # 0x233c0
movq 0x1e480(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x1234f
movq 0x1e471(%rip), %rdi     # 0x233a0
leaq 0xce0e(%rip), %rsi      # 0x11d44
movq %r15, %rdx
callq 0x1283a
movq %rax, 0x1e48b(%rip)     # 0x233d0
movq 0x1e454(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x1234f
movq 0x1e06d(%rip), %rax     # 0x22fc8
movq (%rax), %rdi
movq %rdi, 0x1e42b(%rip)     # 0x23390
movq 0x1e04c(%rip), %rax     # 0x22fb8
movq (%rax), %rax
movq %rax, 0x1e402(%rip)     # 0x23378
callq 0x326b
movq %rax, 0x1e456(%rip)     # 0x233d8
movq 0x1e3ef(%rip), %rdi     # 0x23378
callq 0x2ac9
movq %rax, 0x1e423(%rip)     # 0x233b8
movq 0x1e404(%rip), %rdi     # 0x233a0
leaq 0x44d0(%rip), %rsi      # 0x9473
movq %r15, %rdx
callq 0x1283a
movq %rax, 0x1e3f6(%rip)     # 0x233a8
movq 0x1e3e7(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x1234f
movq 0x1e3d8(%rip), %rdi     # 0x233a0
leaq 0x477e(%rip), %r14      # 0x974d
movl $0x1, %edx
movq %r14, %rsi
callq 0x1283a
movq %rax, 0x1e3a5(%rip)     # 0x23388
movq 0x1e3b6(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x1234f
movq 0x1e3a7(%rip), %rdi     # 0x233a0
movq %r14, %rsi
xorl %edx, %edx
callq 0x1283a
movq %rax, 0x1e376(%rip)     # 0x23380
movq 0x1e38f(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x1234f
movq 0x1e380(%rip), %rdi     # 0x233a0
leaq 0x4bc4(%rip), %rsi      # 0x9beb
movq %r15, %rdx
callq 0x1283a
movq %rax, 0x1e362(%rip)     # 0x23398
movq 0x1e363(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x1234f
movq 0x1e354(%rip), %rdi     # 0x233a0
leaq 0x50db(%rip), %rsi      # 0xa12e
movq %r15, %rdx
callq 0x1283a
movq %rax, 0x1e34e(%rip)     # 0x233b0
movq 0x1e337(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x1234f
leaq 0x1780a(%rip), %rdi     # 0x1c882
callq 0x1707c
movq %rax, %r14
movq 0x1e319(%rip), %rdi     # 0x233a0
leaq 0x53b0(%rip), %rsi      # 0xa43e
movq %r15, %rdx
callq 0x1283a
movq %r15, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x177e0(%rip), %rdi     # 0x1c88e
callq 0x1707c
movq %rax, %r12
movq 0x1e2e3(%rip), %r13     # 0x233a0
leaq 0x5ec6(%rip), %rax      # 0xaf8a
leaq 0x3(,%rax,4), %rdx
leaq 0x5b19(%rip), %rsi      # 0xabec
movq %r13, %rdi
callq 0x1283a
leaq 0x5680(%rip), %r15      # 0xa762
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x17491(%rip), %rdi     # 0x1c599
callq 0x1707c
movq %rax, %r12
movq 0x1e289(%rip), %r13     # 0x233a0
leaq 0x618a(%rip), %rax      # 0xb2a8
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x5abc(%rip), %rsi      # 0xabec
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x17744(%rip), %rdi     # 0x1c89f
callq 0x1707c
movq %rax, %r12
movq 0x1e236(%rip), %r13     # 0x233a0
leaq 0x6565(%rip), %rax      # 0xb6d6
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x5a69(%rip), %rsi      # 0xabec
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x17703(%rip), %rdi     # 0x1c8b1
callq 0x1707c
movq %rax, %r12
movq 0x1e1e3(%rip), %r13     # 0x233a0
leaq 0x67d0(%rip), %rax      # 0xb994
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x5a16(%rip), %rsi      # 0xabec
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x176b9(%rip), %rdi     # 0x1c8ba
callq 0x1707c
movq %rax, %r12
movq 0x1e190(%rip), %r13     # 0x233a0
leaq 0x6bab(%rip), %rax      # 0xbdc2
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x59c3(%rip), %rsi      # 0xabec
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x1766f(%rip), %rdi     # 0x1c8c3
callq 0x1707c
movq %rax, %r12
movq 0x1e13d(%rip), %r13     # 0x233a0
leaq 0x6f86(%rip), %rax      # 0xc1f0
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x5970(%rip), %rsi      # 0xabec
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x17329(%rip), %rdi     # 0x1c5d0
callq 0x1707c
movq %rax, %r12
movq 0x1e0ea(%rip), %r13     # 0x233a0
leaq 0x7151(%rip), %rax      # 0xc40e
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x591d(%rip), %rsi      # 0xabec
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x18428(%rip), %rdi     # 0x1d722
callq 0x1707c
movq %rax, %r12
movq 0x1e097(%rip), %r13     # 0x233a0
leaq 0x73bc(%rip), %rax      # 0xc6cc
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x58ca(%rip), %rsi      # 0xabec
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x1757e(%rip), %rdi     # 0x1c8cb
callq 0x1707c
movq %rax, %r12
movq 0x1e044(%rip), %rdi     # 0x233a0
leaq 0x7792(%rip), %rax      # 0xcaf5
leaq 0x3(,%rax,4), %rdx
leaq 0x587a(%rip), %r15      # 0xabec
movq %r15, %rsi
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x1753d(%rip), %rdi     # 0x1c8cf
callq 0x1707c
movq %rax, %r12
movq 0x1dfff(%rip), %r13     # 0x233a0
leaq 0x7d8a(%rip), %rax      # 0xd132
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x1283a
movq %r13, %rdi
leaq 0x539d(%rip), %rsi      # 0xa762
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x174ee(%rip), %rdi     # 0x1c8d3
callq 0x1707c
movq %rax, %r12
movq 0x1dfac(%rip), %rdi     # 0x233a0
leaq 0x8092(%rip), %rsi      # 0xd48d
leaq 0x1de9e(%rip), %rdx     # 0x232a0
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x174bc(%rip), %rdi     # 0x1c8db
callq 0x1707c
movq %rax, %r12
movq 0x1df72(%rip), %r13     # 0x233a0
leaq 0x83a1(%rip), %rax      # 0xd7d6
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x1283a
movq %r13, %rdi
leaq 0x5310(%rip), %rsi      # 0xa762
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x1746b(%rip), %rdi     # 0x1c8dd
callq 0x1707c
movq %rax, %r12
movq 0x1df1f(%rip), %r13     # 0x233a0
leaq 0x860c(%rip), %rax      # 0xda94
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x1283a
movq %r13, %rdi
leaq 0x52bd(%rip), %rsi      # 0xa762
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x1741d(%rip), %rdi     # 0x1c8e2
callq 0x1707c
movq %rax, %r12
movq 0x1decc(%rip), %rdi     # 0x233a0
leaq 0x8872(%rip), %rsi      # 0xdd4d
leaq 0x1ddbe(%rip), %r13     # 0x232a0
movq %r13, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x173e5(%rip), %rdi     # 0x1c8e7
callq 0x1707c
movq %rax, %r12
movq 0x1de8f(%rip), %rdi     # 0x233a0
leaq 0x8b7e(%rip), %rax      # 0xe096
leaq 0x3(,%rax,4), %rdx
movq %r15, %rsi
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x173b0(%rip), %rdi     # 0x1c8f0
callq 0x1707c
movq %rax, %r15
movq 0x1de51(%rip), %rdi     # 0x233a0
leaq 0x9040(%rip), %rsi      # 0xe596
movq %r13, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x18a6d(%rip), %rdi     # 0x1dfe3
callq 0x1707c
movq %rax, %r15
movq 0x1de1b(%rip), %r12     # 0x233a0
leaq 0x9361(%rip), %rsi      # 0xe8ed
movq %r12, %rdi
movq %r13, %rdx
callq 0x1283a
movq %r12, %rdi
leaq 0x51c1(%rip), %rsi      # 0xa762
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x17339(%rip), %rdi     # 0x1c8fa
callq 0x1707c
movq %rax, %r12
movq 0x1ddd0(%rip), %r13     # 0x233a0
leaq 0x99b0(%rip), %rax      # 0xef87
leaq 0x3(,%rax,4), %rdx
leaq 0x95da(%rip), %rsi      # 0xebc0
movq %r13, %rdi
callq 0x1283a
movq %r13, %rdi
leaq 0x516a(%rip), %rsi      # 0xa762
movq %rsi, %r15
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x172ec(%rip), %rdi     # 0x1c907
callq 0x1707c
movq %rax, %r12
movq 0x1dd76(%rip), %r13     # 0x233a0
leaq 0xa0f3(%rip), %rax      # 0xf724
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x957d(%rip), %rsi      # 0xebc0
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x172a4(%rip), %rdi     # 0x1c912
callq 0x1707c
movq %rax, %r12
movq 0x1dd23(%rip), %r13     # 0x233a0
leaq 0x3(,%r15,4), %rdx
movq %r13, %rdi
leaq 0x9531(%rip), %rsi      # 0xebc0
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x17265(%rip), %rdi     # 0x1c91f
callq 0x1707c
movq %rax, %r12
movq 0x1dcd7(%rip), %r13     # 0x233a0
leaq 0x3570(%rip), %rax      # 0x8c40
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x94de(%rip), %rsi      # 0xebc0
movq %rsi, %r15
callq 0x1283a
movq %r13, %rdi
leaq 0x506e(%rip), %rsi      # 0xa762
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x16c5a(%rip), %rdi     # 0x1c36e
callq 0x1707c
movq %rax, %r12
movq 0x1dc7d(%rip), %r13     # 0x233a0
leaq 0x4a04(%rip), %rax      # 0xa12e
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x1283a
movq %r13, %rdi
leaq 0x501b(%rip), %rsi      # 0xa762
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x171c0(%rip), %rdi     # 0x1c927
callq 0x1707c
movq %rax, %r12
movq 0x1dc2a(%rip), %r13     # 0x233a0
leaq 0x3cf6(%rip), %rax      # 0x9473
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x1283a
movq %r13, %rdi
leaq 0x4fc8(%rip), %rsi      # 0xa762
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x16bab(%rip), %rdi     # 0x1c365
callq 0x1707c
movq %rax, %r12
movq 0x1dbd7(%rip), %r13     # 0x233a0
leaq 0x3f7d(%rip), %rax      # 0x974d
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x1283a
movq %r13, %rdi
leaq 0x4f75(%rip), %rsi      # 0xa762
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x17121(%rip), %rdi     # 0x1c92e
callq 0x1707c
movq %rax, %r12
movq 0x1db84(%rip), %r13     # 0x233a0
leaq -0x1cd1(%rip), %rax     # 0x3b52
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x1283a
movq %r13, %rdi
leaq 0x4f22(%rip), %rsi      # 0xa762
movq %rsi, %r15
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq %rax, %r14
leaq 0x170d1(%rip), %rdi     # 0x1c934
callq 0x1707c
movq %rax, %r12
movq 0x1db2e(%rip), %r13     # 0x233a0
leaq 0x4372(%rip), %rax      # 0x9beb
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x9335(%rip), %rsi      # 0xebc0
callq 0x1283a
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1283a
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a0ec
movq 0x1daed(%rip), %r14     # 0x233a0
leaq 0x1d9e6(%rip), %r15     # 0x232a0
movq %r15, %rdi
movq %rax, %rsi
callq 0x19b84
movq %r14, %rdi
leaq 0x96b8(%rip), %r12      # 0xef87
movq %r12, %rsi
movq %rax, %rdx
callq 0x1283a
movq %rax, 0x1daff(%rip)     # 0x233e0
movq 0x1dab8(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x1234f
movq 0x1daa9(%rip), %r14     # 0x233a0
movq 0x1dae2(%rip), %rdi     # 0x233e0
movq %r15, %rsi
callq 0x19b84
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1283a
movq %rax, 0x1daad(%rip)     # 0x233c8
movq 0x1da7e(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x1234f
leaq 0x40(%rsp), %rdi
movl $0xa96, 0xc(%rdi)       # imm = 0xA96
callq 0x1ba97
cmpq $0x0, 0x10(%rsp)
je 0x5959
callq 0x4512
movq 0x1da29(%rip), %rsi     # 0x23378
movl $0xa, %edi
callq 0x2130
movq 0x1d670(%rip), %r15     # 0x22fd0
movl (%r15), %eax
cmpl %ebp, %eax
jge 0x5a1e
leaq 0x16b8f(%rip), %r12     # 0x1c501
leal 0x1(%rax), %ecx
movl %ecx, (%r15)
cltq
movq (%rbx,%rax,8), %r14
leaq 0x1dfab(%rip), %rax     # 0x23930
cmpl $0x0, (%rax)
je 0x59d2
leaq 0x1d99f(%rip), %rax     # 0x23330
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x169ab(%rip), %rdi     # 0x1c34a
movq %rdi, 0x10(%rax)
callq 0x1b084
testl %eax, %eax
je 0x59d2
leaq 0x1d97d(%rip), %rax     # 0x23330
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0xcee, 0xc(%rax)       # imm = 0xCEE
leaq 0x16b2d(%rip), %rdi     # 0x1c4f5
movq %r14, %rsi
xorl %eax, %eax
callq 0x1b983
movq %r14, %rdi
leaq 0x18bee(%rip), %rsi     # 0x1e5ca
callq 0x21d0
testq %rax, %rax
je 0x5a90
movq %rax, %r13
movq 0x1d984(%rip), %rdi     # 0x23378
movq %r12, %rsi
movq %r14, %rdx
xorl %eax, %eax
callq 0x2180
movq %r13, %rdi
xorl %esi, %esi
callq 0x5a9d
movq %r13, %rdi
callq 0x20c0
movl (%r15), %eax
cmpl %ebp, %eax
jl 0x5972
testb $0x1, 0xc(%rsp)
jne 0x5a73
movq 0x1d94c(%rip), %rcx     # 0x23378
leaq 0x16ada(%rip), %rdi     # 0x1c50d
movl $0x1b, %esi
movl $0x1, %edx
callq 0x2240
movq 0x1d57f(%rip), %rax     # 0x22fc8
movq (%rax), %rdi
movl $0x1, %esi
callq 0x5a9d
movq 0x1d91b(%rip), %rsi     # 0x23378
movl $0xa, %edi
callq 0x2130
movq 0x1d932(%rip), %rdi     # 0x233a0
callq 0x13adb
callq 0x11cc8
leaq 0x18(%rsp), %rdi
movl $0xcff, 0xc(%rdi)       # imm = 0xCFF
callq 0x1ba97
xorl %edi, %edi
callq 0x2230
movq %r14, %rdi
callq 0x21e0
jmp 0x4e71