// File: /workspace/github_c_makefile_star2_O3/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 0x177ea(%rip), %rax     # 0x1c4e8
leaq 0x18(%rsp), %rdi
movq %rax, (%rdi)
leaq 0x1e623(%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 0x17622(%rip), %rcx     # 0x1c34a
movq %rcx, 0x10(%rdi)
leaq 0x1e41d(%rip), %r14     # 0x23150
movq %r14, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1ba26
movq (%r15), %rax
movq 0x18(%rax), %rcx
movq 0x1e2aa(%rip), %r12     # 0x22ff8
testq %rcx, %rcx
jne 0x4d57
movq (%r12), %rcx
movq %rcx, 0x18(%rax)
callq 0x20b0
leaq 0x1e5c9(%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 0x17763(%rip), %r15     # 0x1c4ed
movq 0x1e247(%rip), %r13     # 0x22fd8
movl %ebp, %edi
movq %rbx, %rsi
movq %r15, %rdx
callq 0x21f0
cmpl $0x4c, %eax
jle 0x4dbe
cmpl $0x55, %eax
jg 0x4de3
cmpl $0x4d, %eax
jne 0x4e0b
movq (%r13), %rdi
callq 0x2210
movl %eax, 0x1e3e4(%rip)     # 0x231a0
jmp 0x4d91
cmpl $0x23, %eax
jne 0x4e03
leaq 0x1e566(%rip), %rax     # 0x23330
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0xcdd, 0xc(%rax)       # imm = 0xCDD
movq (%r13), %rdi
callq 0x1b2e5
jmp 0x4d91
cmpl $0x69, %eax
je 0x4df9
cmpl $0x74, %eax
jne 0x4e2e
movl $0x1, %eax
movq %rax, 0x10(%rsp)
jmp 0x4d91
movl $0x0, 0xc(%rsp)
jmp 0x4d91
cmpl $-0x1, %eax
je 0x4e3d
cmpl $0x3f, %eax
movq (%r12), %rdi
leaq 0x1768d(%rip), %rsi     # 0x1c4a3
leaq 0x1e343(%rip), %rdx     # 0x23160
xorl %eax, %eax
callq 0x2180
movl $0x1, %edi
callq 0x2230
cmpl $0x56, %eax
jne 0x4e0b
callq 0x4cc1
jmp 0x5a3c
leaq 0x17696(%rip), %rdi     # 0x1c4da
leaq 0x1e315(%rip), %rsi     # 0x23160
leaq 0x1e315(%rip), %rdx     # 0x23167
leaq 0x1e327(%rip), %rcx     # 0x23180
xorl %eax, %eax
callq 0x20e0
movl $0x3e8, %edi            # imm = 0x3E8
callq 0x121f9
movq %rax, 0x1e52f(%rip)     # 0x233a0
leaq 0x179fe(%rip), %rax     # 0x1c876
leaq 0x40(%rsp), %rdi
movq %rax, (%rdi)
leaq 0x1e4a9(%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 0x174a8(%rip), %rcx     # 0x1c34a
movq %rcx, 0x10(%rdi)
movq %r14, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1ba26
leaq 0x1e3e6(%rip), %r15     # 0x232a0
movq %r15, %rdi
movq %r15, %rsi
callq 0x19c50
movq %rax, 0x1e4f4(%rip)     # 0x233c0
movq 0x1e4cd(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x123d3
movq 0x1e4be(%rip), %rdi     # 0x233a0
leaq 0xceaf(%rip), %rsi      # 0x11d98
movq %r15, %rdx
callq 0x128be
movq %rax, 0x1e4d8(%rip)     # 0x233d0
movq 0x1e4a1(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x123d3
movq 0x1e0ba(%rip), %rax     # 0x22fc8
movq (%rax), %rdi
movq %rdi, 0x1e478(%rip)     # 0x23390
movq 0x1e099(%rip), %rax     # 0x22fb8
movq (%rax), %rax
movq %rax, 0x1e44f(%rip)     # 0x23378
callq 0x324b
movq %rax, 0x1e4a3(%rip)     # 0x233d8
movq 0x1e43c(%rip), %rdi     # 0x23378
callq 0x2aa9
movq %rax, 0x1e470(%rip)     # 0x233b8
movq 0x1e451(%rip), %rdi     # 0x233a0
leaq 0x44f5(%rip), %rsi      # 0x944b
movq %r15, %rdx
callq 0x128be
movq %rax, 0x1e443(%rip)     # 0x233a8
movq 0x1e434(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x123d3
movq 0x1e425(%rip), %rdi     # 0x233a0
leaq 0x47a7(%rip), %r14      # 0x9729
movl $0x1, %edx
movq %r14, %rsi
callq 0x128be
movq %rax, 0x1e3f2(%rip)     # 0x23388
movq 0x1e403(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x123d3
movq 0x1e3f4(%rip), %rdi     # 0x233a0
movq %r14, %rsi
xorl %edx, %edx
callq 0x128be
movq %rax, 0x1e3c3(%rip)     # 0x23380
movq 0x1e3dc(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x123d3
movq 0x1e3cd(%rip), %rdi     # 0x233a0
leaq 0x4be1(%rip), %rsi      # 0x9bbb
movq %r15, %rdx
callq 0x128be
movq %rax, 0x1e3af(%rip)     # 0x23398
movq 0x1e3b0(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x123d3
movq 0x1e3a1(%rip), %rdi     # 0x233a0
leaq 0x5119(%rip), %rsi      # 0xa11f
movq %r15, %rdx
callq 0x128be
movq %rax, 0x1e39b(%rip)     # 0x233b0
movq 0x1e384(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x123d3
leaq 0x17857(%rip), %rdi     # 0x1c882
callq 0x170ff
movq %rax, %r14
movq 0x1e366(%rip), %rdi     # 0x233a0
leaq 0x53e5(%rip), %rsi      # 0xa426
movq %r15, %rdx
callq 0x128be
movq %r15, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x1782d(%rip), %rdi     # 0x1c88e
callq 0x170ff
movq %rax, %r12
movq 0x1e330(%rip), %r13     # 0x233a0
leaq 0x5ef3(%rip), %rax      # 0xaf6a
leaq 0x3(,%rax,4), %rdx
leaq 0x5b42(%rip), %rsi      # 0xabc8
movq %r13, %rdi
callq 0x128be
leaq 0x56b9(%rip), %r15      # 0xa74e
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x174de(%rip), %rdi     # 0x1c599
callq 0x170ff
movq %rax, %r12
movq 0x1e2d6(%rip), %r13     # 0x233a0
leaq 0x61b7(%rip), %rax      # 0xb288
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x5ae5(%rip), %rsi      # 0xabc8
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x17791(%rip), %rdi     # 0x1c89f
callq 0x170ff
movq %rax, %r12
movq 0x1e283(%rip), %r13     # 0x233a0
leaq 0x6596(%rip), %rax      # 0xb6ba
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x5a92(%rip), %rsi      # 0xabc8
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x17750(%rip), %rdi     # 0x1c8b1
callq 0x170ff
movq %rax, %r12
movq 0x1e230(%rip), %r13     # 0x233a0
leaq 0x6801(%rip), %rax      # 0xb978
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x5a3f(%rip), %rsi      # 0xabc8
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x17706(%rip), %rdi     # 0x1c8ba
callq 0x170ff
movq %rax, %r12
movq 0x1e1dd(%rip), %r13     # 0x233a0
leaq 0x6be0(%rip), %rax      # 0xbdaa
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x59ec(%rip), %rsi      # 0xabc8
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x176bc(%rip), %rdi     # 0x1c8c3
callq 0x170ff
movq %rax, %r12
movq 0x1e18a(%rip), %r13     # 0x233a0
leaq 0x6fbf(%rip), %rax      # 0xc1dc
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x5999(%rip), %rsi      # 0xabc8
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x17376(%rip), %rdi     # 0x1c5d0
callq 0x170ff
movq %rax, %r12
movq 0x1e137(%rip), %r13     # 0x233a0
leaq 0x718a(%rip), %rax      # 0xc3fa
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x5946(%rip), %rsi      # 0xabc8
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x18475(%rip), %rdi     # 0x1d722
callq 0x170ff
movq %rax, %r12
movq 0x1e0e4(%rip), %r13     # 0x233a0
leaq 0x73f5(%rip), %rax      # 0xc6b8
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x58f3(%rip), %rsi      # 0xabc8
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x175cb(%rip), %rdi     # 0x1c8cb
callq 0x170ff
movq %rax, %r12
movq 0x1e091(%rip), %rdi     # 0x233a0
leaq 0x77cf(%rip), %rax      # 0xcae5
leaq 0x3(,%rax,4), %rdx
leaq 0x58a3(%rip), %r15      # 0xabc8
movq %r15, %rsi
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x1758a(%rip), %rdi     # 0x1c8cf
callq 0x170ff
movq %rax, %r12
movq 0x1e04c(%rip), %r13     # 0x233a0
leaq 0x7dd6(%rip), %rax      # 0xd131
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x128be
movq %r13, %rdi
leaq 0x53d6(%rip), %rsi      # 0xa74e
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x1753b(%rip), %rdi     # 0x1c8d3
callq 0x170ff
movq %rax, %r12
movq 0x1dff9(%rip), %rdi     # 0x233a0
leaq 0x80de(%rip), %rsi      # 0xd48c
leaq 0x1deeb(%rip), %rdx     # 0x232a0
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x17509(%rip), %rdi     # 0x1c8db
callq 0x170ff
movq %rax, %r12
movq 0x1dfbf(%rip), %r13     # 0x233a0
leaq 0x83f1(%rip), %rax      # 0xd7d9
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x128be
movq %r13, %rdi
leaq 0x5349(%rip), %rsi      # 0xa74e
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x174b8(%rip), %rdi     # 0x1c8dd
callq 0x170ff
movq %rax, %r12
movq 0x1df6c(%rip), %r13     # 0x233a0
leaq 0x865c(%rip), %rax      # 0xda97
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x128be
movq %r13, %rdi
leaq 0x52f6(%rip), %rsi      # 0xa74e
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x1746a(%rip), %rdi     # 0x1c8e2
callq 0x170ff
movq %rax, %r12
movq 0x1df19(%rip), %rdi     # 0x233a0
leaq 0x88c2(%rip), %rsi      # 0xdd50
leaq 0x1de0b(%rip), %r13     # 0x232a0
movq %r13, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x17432(%rip), %rdi     # 0x1c8e7
callq 0x170ff
movq %rax, %r12
movq 0x1dedc(%rip), %rdi     # 0x233a0
leaq 0x8bd2(%rip), %rax      # 0xe09d
leaq 0x3(,%rax,4), %rdx
movq %r15, %rsi
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x173fd(%rip), %rdi     # 0x1c8f0
callq 0x170ff
movq %rax, %r15
movq 0x1de9e(%rip), %rdi     # 0x233a0
leaq 0x909f(%rip), %rsi      # 0xe5a8
movq %r13, %rdx
callq 0x128be
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x18aba(%rip), %rdi     # 0x1dfe3
callq 0x170ff
movq %rax, %r15
movq 0x1de68(%rip), %r12     # 0x233a0
leaq 0x93c4(%rip), %rsi      # 0xe903
movq %r12, %rdi
movq %r13, %rdx
callq 0x128be
movq %r12, %rdi
leaq 0x51fa(%rip), %rsi      # 0xa74e
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x17386(%rip), %rdi     # 0x1c8fa
callq 0x170ff
movq %rax, %r12
movq 0x1de1d(%rip), %r13     # 0x233a0
leaq 0x9a1b(%rip), %rax      # 0xefa5
leaq 0x3(,%rax,4), %rdx
leaq 0x9641(%rip), %rsi      # 0xebda
movq %r13, %rdi
callq 0x128be
movq %r13, %rdi
leaq 0x51a3(%rip), %rsi      # 0xa74e
movq %rsi, %r15
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x17339(%rip), %rdi     # 0x1c907
callq 0x170ff
movq %rax, %r12
movq 0x1ddc3(%rip), %r13     # 0x233a0
leaq 0xa164(%rip), %rax      # 0xf748
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x95e4(%rip), %rsi      # 0xebda
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x172f1(%rip), %rdi     # 0x1c912
callq 0x170ff
movq %rax, %r12
movq 0x1dd70(%rip), %r13     # 0x233a0
leaq 0x3(,%r15,4), %rdx
movq %r13, %rdi
leaq 0x9598(%rip), %rsi      # 0xebda
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x172b2(%rip), %rdi     # 0x1c91f
callq 0x170ff
movq %rax, %r12
movq 0x1dd24(%rip), %r13     # 0x233a0
leaq 0x35a6(%rip), %rax      # 0x8c29
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x9545(%rip), %rsi      # 0xebda
movq %rsi, %r15
callq 0x128be
movq %r13, %rdi
leaq 0x50a7(%rip), %rsi      # 0xa74e
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x16ca7(%rip), %rdi     # 0x1c36e
callq 0x170ff
movq %rax, %r12
movq 0x1dcca(%rip), %r13     # 0x233a0
leaq 0x4a42(%rip), %rax      # 0xa11f
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x128be
movq %r13, %rdi
leaq 0x5054(%rip), %rsi      # 0xa74e
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x1720d(%rip), %rdi     # 0x1c927
callq 0x170ff
movq %rax, %r12
movq 0x1dc77(%rip), %r13     # 0x233a0
leaq 0x3d1b(%rip), %rax      # 0x944b
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x128be
movq %r13, %rdi
leaq 0x5001(%rip), %rsi      # 0xa74e
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x16bf8(%rip), %rdi     # 0x1c365
callq 0x170ff
movq %rax, %r12
movq 0x1dc24(%rip), %r13     # 0x233a0
leaq 0x3fa6(%rip), %rax      # 0x9729
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x128be
movq %r13, %rdi
leaq 0x4fae(%rip), %rsi      # 0xa74e
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x1716e(%rip), %rdi     # 0x1c92e
callq 0x170ff
movq %rax, %r12
movq 0x1dbd1(%rip), %r13     # 0x233a0
leaq -0x1c62(%rip), %rax     # 0x3b74
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x128be
movq %r13, %rdi
leaq 0x4f5b(%rip), %rsi      # 0xa74e
movq %rsi, %r15
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq %rax, %r14
leaq 0x1711e(%rip), %rdi     # 0x1c934
callq 0x170ff
movq %rax, %r12
movq 0x1db7b(%rip), %r13     # 0x233a0
leaq 0x438f(%rip), %rax      # 0x9bbb
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
leaq 0x939c(%rip), %rsi      # 0xebda
callq 0x128be
movq %r13, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x128be
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x1a1b8
movq 0x1db3a(%rip), %r14     # 0x233a0
leaq 0x1da33(%rip), %r15     # 0x232a0
movq %r15, %rdi
movq %rax, %rsi
callq 0x19c50
movq %r14, %rdi
leaq 0x9723(%rip), %r12      # 0xefa5
movq %r12, %rsi
movq %rax, %rdx
callq 0x128be
movq %rax, 0x1db4c(%rip)     # 0x233e0
movq 0x1db05(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x123d3
movq 0x1daf6(%rip), %r14     # 0x233a0
movq 0x1db2f(%rip), %rdi     # 0x233e0
movq %r15, %rsi
callq 0x19c50
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x128be
movq %rax, 0x1dafa(%rip)     # 0x233c8
movq 0x1dacb(%rip), %rdi     # 0x233a0
movq %rax, %rsi
callq 0x123d3
leaq 0x40(%rsp), %rdi
movl $0xa96, 0xc(%rdi)       # imm = 0xA96
callq 0x1bbab
cmpq $0x0, 0x10(%rsp)
je 0x590c
callq 0x44c5
movq 0x1da76(%rip), %rsi     # 0x23378
movl $0xa, %edi
callq 0x2130
movq 0x1d6bd(%rip), %r15     # 0x22fd0
movl (%r15), %eax
cmpl %ebp, %eax
jge 0x59d1
leaq 0x16bdc(%rip), %r12     # 0x1c501
leal 0x1(%rax), %ecx
movl %ecx, (%r15)
cltq
movq (%rbx,%rax,8), %r14
leaq 0x1dff8(%rip), %rax     # 0x23930
cmpl $0x0, (%rax)
je 0x5985
leaq 0x1d9ec(%rip), %rax     # 0x23330
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x169f8(%rip), %rdi     # 0x1c34a
movq %rdi, 0x10(%rax)
callq 0x1b188
testl %eax, %eax
je 0x5985
leaq 0x1d9ca(%rip), %rax     # 0x23330
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0xcee, 0xc(%rax)       # imm = 0xCEE
leaq 0x16b7a(%rip), %rdi     # 0x1c4f5
movq %r14, %rsi
xorl %eax, %eax
callq 0x1ba97
movq %r14, %rdi
leaq 0x18c3b(%rip), %rsi     # 0x1e5ca
callq 0x21d0
testq %rax, %rax
je 0x5a43
movq %rax, %r13
movq 0x1d9d1(%rip), %rdi     # 0x23378
movq %r12, %rsi
movq %r14, %rdx
xorl %eax, %eax
callq 0x2180
movq %r13, %rdi
xorl %esi, %esi
callq 0x5a50
movq %r13, %rdi
callq 0x20c0
movl (%r15), %eax
cmpl %ebp, %eax
jl 0x5925
testb $0x1, 0xc(%rsp)
jne 0x5a26
movq 0x1d999(%rip), %rcx     # 0x23378
leaq 0x16b27(%rip), %rdi     # 0x1c50d
movl $0x1b, %esi
movl $0x1, %edx
callq 0x2240
movq 0x1d5cc(%rip), %rax     # 0x22fc8
movq (%rax), %rdi
movl $0x1, %esi
callq 0x5a50
movq 0x1d968(%rip), %rsi     # 0x23378
movl $0xa, %edi
callq 0x2130
movq 0x1d97f(%rip), %rdi     # 0x233a0
callq 0x13b80
callq 0x11d1a
leaq 0x18(%rsp), %rdi
movl $0xcff, 0xc(%rdi)       # imm = 0xCFF
callq 0x1bbab
xorl %edi, %edi
callq 0x2230
movq %r14, %rdi
callq 0x21e0
jmp 0x4e24