// File: /workspace/github_c_makefile_star2_O2/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, %r13
movl %edi, %ebp
leaq 0x17ced(%rip), %rax     # 0x1c4e8
leaq 0x18(%rsp), %rdi
movq %rax, (%rdi)
leaq 0x1fb26(%rip), %rbx     # 0x24330
movq (%rbx), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%rdi)
movl $0xcd6, 0xc(%rdi)       # imm = 0xCD6
leaq 0x17b25(%rip), %rcx     # 0x1c34a
movq %rcx, 0x10(%rdi)
leaq 0x1f920(%rip), %r14     # 0x24150
movq %r14, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1b079
movq (%rbx), %rax
movq 0x18(%rax), %rcx
testq %rcx, %rcx
jne 0x4853
movq 0x1f7a8(%rip), %rcx     # 0x23ff8
movq (%rcx), %rcx
movq %rcx, 0x18(%rax)
callq 0x20b0
leaq 0x1facd(%rip), %rcx     # 0x24330
movq (%rcx), %rcx
movl %eax, 0x10(%rcx)
movq (%r13), %rax
movq %rax, 0x8(%rcx)
movb $0x1, %al
movl %eax, (%rsp)
movq $0x0, 0x8(%rsp)
leaq 0x17c67(%rip), %r15     # 0x1c4ed
movq 0x1f74b(%rip), %rbx     # 0x23fd8
pushq $0x1
popq %r12
movl %ebp, %edi
movq %r13, %rsi
movq %r15, %rdx
callq 0x2200
cmpl $0x23, %eax
je 0x48b8
cmpl $0x4d, %eax
jne 0x48d7
movq (%rbx), %rdi
callq 0x2220
movl %eax, 0x1f8ea(%rip)     # 0x241a0
jmp 0x4891
leaq 0x1fa71(%rip), %rax     # 0x24330
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0xcdd, 0xc(%rax)       # imm = 0xCDD
movq (%rbx), %rdi
callq 0x1a94d
jmp 0x4891
cmpl $0x69, %eax
je 0x48e8
cmpl $0x74, %eax
jne 0x48f1
movq %r12, 0x8(%rsp)
jmp 0x4891
movl $0x0, (%rsp)
jmp 0x4891
cmpl $-0x1, %eax
je 0x490f
cmpl $0x3f, %eax
je 0x490a
cmpl $0x56, %eax
jne 0x490a
callq 0x47be
jmp 0x5481
callq 0x4796
movl %ebp, 0x4(%rsp)
movq %r13, 0x10(%rsp)
callq 0x47be
movl $0x3e8, %edi            # imm = 0x3E8
callq 0x11d10
movq %rax, 0x1fa72(%rip)     # 0x243a0
leaq 0x17f41(%rip), %rax     # 0x1c876
leaq 0x40(%rsp), %rdi
movq %rax, (%rdi)
leaq 0x1f9ec(%rip), %rax     # 0x24330
movq (%rax), %rax
movq 0x50(%rax), %rax
movl 0x8(%rax), %ecx
movl %ecx, 0x8(%rdi)
movl $0xa2e, 0xc(%rdi)       # imm = 0xA2E
leaq 0x179eb(%rip), %rcx     # 0x1c34a
movq %rcx, 0x10(%rdi)
movq %r14, 0x18(%rdi)
movq %rax, 0x20(%rdi)
callq 0x1b079
leaq 0x1f929(%rip), %rbp     # 0x242a0
movq %rbp, %rdi
movq %rbp, %rsi
callq 0x19164
movq %rax, 0x1fa37(%rip)     # 0x243c0
movq 0x1fa10(%rip), %rdi     # 0x243a0
movq %rax, %rsi
callq 0x11ee3
movq 0x1fa01(%rip), %rdi     # 0x243a0
leaq 0xcde6(%rip), %rsi      # 0x1178c
movq %rbp, %rdx
callq 0x123b7
movq %rax, 0x1fa1b(%rip)     # 0x243d0
movq 0x1f9e4(%rip), %rdi     # 0x243a0
movq %rax, %rsi
callq 0x11ee3
movq 0x1f5fd(%rip), %rax     # 0x23fc8
movq (%rax), %rdi
movq %rdi, 0x1f9bb(%rip)     # 0x24390
movq 0x1f5dc(%rip), %rax     # 0x23fb8
movq (%rax), %rax
movq %rax, 0x1f992(%rip)     # 0x24378
callq 0x2d7d
movq %rax, 0x1f9e6(%rip)     # 0x243d8
movq 0x1f97f(%rip), %rdi     # 0x24378
callq 0x25e7
movq %rax, 0x1f9b3(%rip)     # 0x243b8
movq 0x1f994(%rip), %rdi     # 0x243a0
leaq 0x447d(%rip), %rsi      # 0x8e90
movq %rbp, %rdx
callq 0x123b7
movq %rax, 0x1f986(%rip)     # 0x243a8
movq 0x1f977(%rip), %rdi     # 0x243a0
movq %rax, %rsi
callq 0x11ee3
movq 0x1f968(%rip), %rdi     # 0x243a0
leaq 0x472f(%rip), %r14      # 0x916e
pushq $0x1
popq %rdx
movq %r14, %rsi
callq 0x123b7
movq %rax, 0x1f937(%rip)     # 0x24388
movq 0x1f948(%rip), %rdi     # 0x243a0
movq %rax, %rsi
callq 0x11ee3
movq 0x1f939(%rip), %rdi     # 0x243a0
movq %r14, %rsi
xorl %edx, %edx
callq 0x123b7
movq %rax, 0x1f908(%rip)     # 0x24380
movq 0x1f921(%rip), %rdi     # 0x243a0
movq %rax, %rsi
callq 0x11ee3
movq 0x1f912(%rip), %rdi     # 0x243a0
leaq 0x4b6b(%rip), %rsi      # 0x9600
movq %rbp, %rdx
callq 0x123b7
movq %rax, 0x1f8f4(%rip)     # 0x24398
movq 0x1f8f5(%rip), %rdi     # 0x243a0
movq %rax, %rsi
callq 0x11ee3
movq 0x1f8e6(%rip), %rdi     # 0x243a0
leaq 0x5082(%rip), %rsi      # 0x9b43
movq %rbp, %rdx
callq 0x123b7
movq %rax, 0x1f8e0(%rip)     # 0x243b0
movq 0x1f8c9(%rip), %rdi     # 0x243a0
movq %rax, %rsi
callq 0x11ee3
leaq 0x17d9c(%rip), %rdi     # 0x1c882
callq 0x1691f
movq %rax, %r14
movq 0x1f8ab(%rip), %rdi     # 0x243a0
leaq 0x534e(%rip), %rsi      # 0x9e4a
movq %rbp, %rdx
callq 0x123b7
movq %rbp, %rdi
movq %r14, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17d72(%rip), %rdi     # 0x1c88e
callq 0x1691f
movq %rax, %r12
movq 0x1f875(%rip), %r13     # 0x243a0
leaq 0x5e5c(%rip), %rax      # 0xa98e
leaq 0x3(,%rax,4), %rdx
leaq 0x5aab(%rip), %r15      # 0xa5ec
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
leaq 0x561f(%rip), %rbx      # 0xa172
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17a20(%rip), %rdi     # 0x1c599
callq 0x1691f
movq %rax, %r12
movq 0x1f818(%rip), %r13     # 0x243a0
leaq 0x611d(%rip), %rax      # 0xacac
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17cd7(%rip), %rdi     # 0x1c89f
callq 0x1691f
movq %rax, %r12
movq 0x1f7c9(%rip), %r13     # 0x243a0
leaq 0x6500(%rip), %rax      # 0xb0de
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17c9a(%rip), %rdi     # 0x1c8b1
callq 0x1691f
movq %rax, %r12
movq 0x1f77a(%rip), %r13     # 0x243a0
leaq 0x676f(%rip), %rax      # 0xb39c
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17c54(%rip), %rdi     # 0x1c8ba
callq 0x1691f
movq %rax, %r12
movq 0x1f72b(%rip), %r13     # 0x243a0
leaq 0x6b52(%rip), %rax      # 0xb7ce
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17c0e(%rip), %rdi     # 0x1c8c3
callq 0x1691f
movq %rax, %r12
movq 0x1f6dc(%rip), %r13     # 0x243a0
leaq 0x6f35(%rip), %rax      # 0xbc00
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x178cc(%rip), %rdi     # 0x1c5d0
callq 0x1691f
movq %rax, %r12
movq 0x1f68d(%rip), %r13     # 0x243a0
leaq 0x70ff(%rip), %rax      # 0xbe19
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x189af(%rip), %rdi     # 0x1d702
callq 0x1691f
movq %rax, %r12
movq 0x1f63e(%rip), %r13     # 0x243a0
leaq 0x736e(%rip), %rax      # 0xc0d7
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17b29(%rip), %rdi     # 0x1c8cb
callq 0x1691f
movq %rax, %r12
movq 0x1f5ef(%rip), %rdi     # 0x243a0
leaq 0x774c(%rip), %rax      # 0xc504
leaq 0x3(,%rax,4), %rdx
movq %r15, %rsi
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17aef(%rip), %rdi     # 0x1c8cf
callq 0x1691f
movq %rax, %r12
movq 0x1f5b1(%rip), %r13     # 0x243a0
leaq 0x7d5a(%rip), %rax      # 0xcb50
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17aa4(%rip), %rdi     # 0x1c8d3
callq 0x1691f
movq %rax, %r12
movq 0x1f562(%rip), %rdi     # 0x243a0
leaq 0x8041(%rip), %rsi      # 0xce86
movq %rbp, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17a76(%rip), %rdi     # 0x1c8db
callq 0x1691f
movq %rax, %r12
movq 0x1f52c(%rip), %r13     # 0x243a0
leaq 0x8358(%rip), %rax      # 0xd1d3
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17a29(%rip), %rdi     # 0x1c8dd
callq 0x1691f
movq %rax, %r12
movq 0x1f4dd(%rip), %r13     # 0x243a0
leaq 0x85c7(%rip), %rax      # 0xd491
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x179df(%rip), %rdi     # 0x1c8e2
callq 0x1691f
movq %rax, %r12
movq 0x1f48e(%rip), %rdi     # 0x243a0
leaq 0x8831(%rip), %rsi      # 0xd74a
movq %rbp, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x179ae(%rip), %rdi     # 0x1c8e7
callq 0x1691f
movq %rax, %r12
movq 0x1f458(%rip), %rdi     # 0x243a0
leaq 0x8b48(%rip), %rax      # 0xda97
leaq 0x3(,%rax,4), %rdx
movq %r15, %rsi
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17979(%rip), %rdi     # 0x1c8f0
callq 0x1691f
movq %rax, %r15
movq 0x1f41a(%rip), %rdi     # 0x243a0
leaq 0x9015(%rip), %rsi      # 0xdfa2
movq %rbp, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x19016(%rip), %rdi     # 0x1dfc3
callq 0x1691f
movq %rax, %r15
movq 0x1f3e4(%rip), %r12     # 0x243a0
leaq 0x933a(%rip), %rsi      # 0xe2fd
movq %r12, %rdi
movq %rbp, %rdx
callq 0x123b7
movq %r12, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r15, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17906(%rip), %rdi     # 0x1c8fa
callq 0x1691f
movq %rax, %r12
movq 0x1f39d(%rip), %r13     # 0x243a0
leaq 0x9995(%rip), %rax      # 0xe99f
leaq 0x3(,%rax,4), %rdx
leaq 0x95bb(%rip), %r15      # 0xe5d4
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x178bd(%rip), %rdi     # 0x1c907
callq 0x1691f
movq %rax, %r12
movq 0x1f347(%rip), %r13     # 0x243a0
leaq 0xa0e2(%rip), %rax      # 0xf142
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17879(%rip), %rdi     # 0x1c912
callq 0x1691f
movq %rax, %r12
movq 0x1f2f8(%rip), %r13     # 0x243a0
leaq 0x3(,%rbx,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x1783e(%rip), %rdi     # 0x1c91f
callq 0x1691f
movq %rax, %r12
movq 0x1f2b0(%rip), %r13     # 0x243a0
leaq 0x351b(%rip), %rax      # 0x8612
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x1723e(%rip), %rdi     # 0x1c36e
callq 0x1691f
movq %rax, %r12
movq 0x1f261(%rip), %r13     # 0x243a0
leaq 0x49fd(%rip), %rax      # 0x9b43
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x177a8(%rip), %rdi     # 0x1c927
callq 0x1691f
movq %rax, %r12
movq 0x1f212(%rip), %r13     # 0x243a0
leaq 0x3cfb(%rip), %rax      # 0x8e90
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17197(%rip), %rdi     # 0x1c365
callq 0x1691f
movq %rax, %r12
movq 0x1f1c3(%rip), %r13     # 0x243a0
leaq 0x3f8a(%rip), %rax      # 0x916e
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x17711(%rip), %rdi     # 0x1c92e
callq 0x1691f
movq %rax, %r12
movq 0x1f174(%rip), %r13     # 0x243a0
leaq -0x1bc8(%rip), %rax     # 0x366b
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq %rax, %r14
leaq 0x176c8(%rip), %rdi     # 0x1c934
callq 0x1691f
movq %rax, %r12
movq 0x1f125(%rip), %r13     # 0x243a0
leaq 0x437e(%rip), %rax      # 0x9600
leaq 0x3(,%rax,4), %rdx
movq %r13, %rdi
movq %r15, %rsi
callq 0x123b7
movq %r13, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %r14, %rdi
movq %r12, %rsi
movq %rax, %rdx
callq 0x197f9
movq 0x1f0e8(%rip), %r14     # 0x243a0
movq %rbp, %rdi
movq %rax, %rsi
callq 0x19164
movq %r14, %rdi
leaq 0x96d2(%rip), %rbx      # 0xe99f
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %rax, 0x1f101(%rip)     # 0x243e0
movq 0x1f0ba(%rip), %rdi     # 0x243a0
movq %rax, %rsi
callq 0x11ee3
movq 0x1f0ab(%rip), %r14     # 0x243a0
movq 0x1f0e4(%rip), %rdi     # 0x243e0
movq %rbp, %rsi
callq 0x19164
movq %r14, %rdi
movq %rbx, %rsi
movq %rax, %rdx
callq 0x123b7
movq %rax, 0x1f0af(%rip)     # 0x243c8
movq 0x1f080(%rip), %rdi     # 0x243a0
movq %rax, %rsi
callq 0x11ee3
leaq 0x40(%rsp), %rdi
movl $0xa96, 0xc(%rdi)       # imm = 0xA96
callq 0x1b1f2
cmpq $0x0, 0x8(%rsp)
je 0x5355
callq 0x3ff2
movq 0x1f02b(%rip), %rsi     # 0x24378
pushq $0xa
popq %rdi
callq 0x2130
movq 0x1ec74(%rip), %rbx     # 0x23fd0
leaq 0x1f5cd(%rip), %rbp     # 0x24930
leaq 0x19240(%rip), %r15     # 0x1e5aa
leaq 0x17190(%rip), %r12     # 0x1c501
movslq (%rbx), %rax
cmpl 0x4(%rsp), %eax
jge 0x541c
leal 0x1(%rax), %ecx
movl %ecx, (%rbx)
movq 0x10(%rsp), %rcx
movq (%rcx,%rax,8), %r14
cmpl $0x0, (%rbp)
je 0x53da
leaq 0x1ef97(%rip), %rax     # 0x24330
movq (%rax), %rax
movq 0x50(%rax), %rax
leaq 0x16fa3(%rip), %rdi     # 0x1c34a
movq %rdi, 0x10(%rax)
callq 0x1a7f4
testl %eax, %eax
je 0x53da
leaq 0x1ef75(%rip), %rax     # 0x24330
movq (%rax), %rax
movq 0x50(%rax), %rax
movl $0xcee, 0xc(%rax)       # imm = 0xCEE
leaq 0x17125(%rip), %rdi     # 0x1c4f5
movq %r14, %rsi
xorl %eax, %eax
callq 0x1b0f0
movq %r14, %rdi
movq %r15, %rsi
callq 0x21e0
testq %rax, %rax
je 0x5488
movq %rax, %r13
movq 0x1ef80(%rip), %rdi     # 0x24378
movq %r12, %rsi
movq %r14, %rdx
xorl %eax, %eax
callq 0x2180
movq %r13, %rdi
xorl %esi, %esi
callq 0x5498
movq %r13, %rdi
callq 0x20c0
jmp 0x5371
testb $0x1, (%rsp)
jne 0x546b
movq 0x1ef4f(%rip), %rcx     # 0x24378
leaq 0x170dd(%rip), %rdi     # 0x1c50d
pushq $0x1b
popq %rsi
pushq $0x1
popq %rbx
movq %rbx, %rdx
callq 0x2250
movq 0x1eb83(%rip), %rax     # 0x23fc8
movq (%rax), %rdi
movq %rbx, %rsi
callq 0x5498
movq 0x1ef21(%rip), %rsi     # 0x24378
pushq $0xa
popq %rdi
callq 0x2130
movq 0x1ef3a(%rip), %rdi     # 0x243a0
callq 0x13646
callq 0x11714
leaq 0x18(%rsp), %rdi
movl $0xcff, 0xc(%rdi)       # imm = 0xCFF
callq 0x1b1f2
xorl %edi, %edi
callq 0x2240
movq %r14, %rdi
callq 0x21f0
pushq $0x1
popq %rdi
callq 0x2240