// File: /workspace/github_c_makefile_star2_O0/nimble-code[P]Modex/Src/modex.c
// Function: checkprx
void
checkprx(char *f)	/* pick up the arguments from a .prx file */
{	FILE *fd;
	char buf[2048];
	char *mnm, *z, *pz;

	if ((z = strstr(f, ".prx")) == NULL
	&&  (z = strstr(f, ".c")) == NULL)
		return;

	Argv[0] = "modex_prex";
	Arg_Add("-m", "");
	Arg_Add(modelname, "");
	Arg_Add("-L", "");
	Arg_Add(modelname, ".lut");

	*z = '\0';
	sprintf(buf, "%s.prx", f);
	*z = '.';	/* restore */
	if ((fd = fopen(buf, "r")) == NULL)	/* no .prx file */
	{	if (Verbose
		||  Verbose_cmds)
		{	fprintf(stderr, "modex: no prx file '%s', default rules apply\n", buf);
		}
		if (no_explicits())		/* no explicit extract command given */
		{	Arg_Add("-xe", "");	/* default model extraction of all fcts */
		}
		add_imported("_all_", "_all_", 2);	/* 1? */
		goto go_here;
	}

if (debug_io) fprintf(stderr, "Open %s -> %p\n", ".prx", fd);

	while (fgets(buf, sizeof(buf), fd))
	{
		if ((z = strstr(buf, "//")) != NULL)
		{	*z = '\0';	/* comment delimiter */
		}
		if (buf[0] == '\0')
		{	continue;
		}
		while (buf[strlen(buf)-1] == '\n'
		||     buf[strlen(buf)-1] == '\r'
		||     buf[strlen(buf)-1] == ' '
		||     buf[strlen(buf)-1] == '\t')
		{	buf[strlen(buf)-1] = '\0';
		}

		if (buf[0] != '\0' && buf[0] != '%')
			add_to_file(buf);
		else
		{	switch (buf[1]) {
			case 'A':	/* add something to the model text */
				header(modelname, ".ltl");
				incode = hasltl = inltl = 1;
				fprintf(fo, "/* added stuff */\n");
				break;
			case 'C':
				header(modelname, ".drv");
				incode = 1;
				fprintf(fo, "c_code {\n");
				break;
			case 'D':	/* after globals */
				header(modelname, ".drv");
				incode = 1;
				fprintf(fo, "c_decl {\n");
				break;
			case 'B':	/* before globals */
				header(modelname, ".b4g");
				incode = 1;
				fprintf(fo, "c_decl {\n");
				break;
			case 'F':
				Arg_Add("-b", "");
				z = &buf[2];
				while (*z == ' ' || *z == '\t')
					z++;
				Arg_Add(z, "");
				sawFile = 1;
				break;
			case 'G':	/* %GUI definitions */
				ingui = 1;
				close_file();
				break;
			case 'H':
				header(modelname, ".dfn");
				indfn = 1;
				break;
			case 'L':
				z = &buf[2];
				while (*z == ' ' || *z == '\t')
					z++;
				if (*z == '\0')
					mnm = modelname;
				else
				{	mnm = (char *) e_malloc(strlen(z)+1);
					strcpy(mnm, z);
				}
				header(mnm, ".lut");
				fprintf(fo, "# Modex %s\n", file_name);
				fprintf(fo, "%s for target <%s>\n", Banner, mnm);

				inlut  = 1;
				break;
			case 'N':
				pz = &buf[2];
				while (*pz == ' ' || *pz == '\t')
				{	pz++;
				}
				if (isdigit((int) *pz))
				{	nrprocs = atoi(pz);
				} else
				{	nrprocs = 1;
				}
				nrprocs_default = nrprocs;
				break;
			case 'O':
				z = &buf[2];
				while (*z == ' ' || *z == '\t')
					z++;
				lnkage_info = (char *) e_malloc(strlen(z)+1);
				strcpy(lnkage_info, z);
				break;
			case 'P':
				header(modelname, ".drv");
				haspml = inspn  = 1;
				break;
			case 'Q':
				z = &buf[2];
				while (*z == ' ' || *z == '\t')
					z++;
				preproc_info = (char *) e_malloc(strlen(z)+1);
				strcpy(preproc_info, z);
				break;
			case 'R':
				z = &buf[2];
				while (*z == ' ' || *z == '\t')
					z++;
				runtime = (char *) e_malloc(strlen(z)+2);
				strcpy(runtime, z);
				strcat(runtime, " ");
				break;
			case 'T':	// %T sed "s/replace/with/"
				z = &buf[2];
				while (*z == ' ' || *z == '\t')
					z++;
				add_sed(z);
				break;
			case '%':
				close_file();
				break;
			case 'X':
				hasaction = 1;
				Add_Args(&buf[2]);
				break;
			default:
				add_to_file(buf);
				break;
			}

			if (buf[1] == 'L' || buf[1] == 'H'
			||  buf[1] == 'D' || buf[1] == 'C'
			||  buf[1] == 'P')
				check_param(buf);
	}	}
if (debug_io) fprintf(stderr, "close A %p\n", fd);
	Fclose(fd);

go_here:
	mkruncmd();
	Arg_Add(file_name, "");
	if (!BldCmds(Argc, Argv))
	{	fprintf(stderr, "modex: checkprx: error in .prx file\n");
		exit(1);
	}
	if (no_explicits())
	{	new_cmd('x', "-xe", 10);
		add_imported("_all_", "_all_", 2);	/* 1? */
		if (Verbose_cmds)
		{	printf("modex: saw no explicit extraction commands -- assuming -xe\n");
	}	}

	if (fo && fo != fdrv)
	{
if (debug_io) fprintf(stderr, "close B %p\n", fo);
		Fclose(fo);
		fo = NULL;
	}
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x840, %rsp            # imm = 0x840
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rdi
leaq 0x2af42(%rip), %rsi     # 0x34a3c
callq 0x4280
movq %rax, -0x820(%rbp)
cmpq $0x0, %rax
jne 0x9b2e
movq -0x8(%rbp), %rdi
leaq 0x29532(%rip), %rsi     # 0x33049
callq 0x4280
movq %rax, -0x820(%rbp)
cmpq $0x0, %rax
jne 0x9b2e
jmp 0xa561
leaq 0x2aef4(%rip), %rax     # 0x34a29
movq %rax, 0x3e3a4(%rip)     # 0x47ee0
leaq 0x2aef1(%rip), %rdi     # 0x34a34
leaq 0x2d974(%rip), %rsi     # 0x374be
callq 0x8a50
movq 0x3b63a(%rip), %rdi     # 0x45190
leaq 0x2d961(%rip), %rsi     # 0x374be
callq 0x8a50
leaq 0x2aece(%rip), %rdi     # 0x34a37
leaq 0x2d94e(%rip), %rsi     # 0x374be
callq 0x8a50
movq 0x3b614(%rip), %rdi     # 0x45190
leaq 0x2c22e(%rip), %rsi     # 0x35db1
callq 0x8a50
movq -0x820(%rbp), %rax
movb $0x0, (%rax)
leaq -0x810(%rbp), %rdi
movq -0x8(%rbp), %rdx
leaq 0x2ae96(%rip), %rsi     # 0x34a3a
movb $0x0, %al
callq 0x4260
movq -0x820(%rbp), %rax
movb $0x2e, (%rax)
leaq -0x810(%rbp), %rdi
leaq 0x2c4e0(%rip), %rsi     # 0x360a3
callq 0x4230
movq %rax, -0x10(%rbp)
cmpq $0x0, %rax
jne 0x9c39
cmpl $0x0, 0x3e073(%rip)     # 0x47c4c
jne 0x9be4
cmpl $0x0, 0x3e00a(%rip)     # 0x47bec
je 0x9c03
movq 0x3b40d(%rip), %rax     # 0x44ff8
movq (%rax), %rdi
leaq -0x810(%rbp), %rdx
leaq 0x2ae45(%rip), %rsi     # 0x34a41
movb $0x0, %al
callq 0x4190
callq 0x8c70
cmpl $0x0, %eax
je 0x9c20
leaq 0x2ae5b(%rip), %rdi     # 0x34a6f
leaq 0x2d8a3(%rip), %rsi     # 0x374be
callq 0x8a50
leaq 0x2ae4c(%rip), %rsi     # 0x34a73
movl $0x2, %edx
movq %rsi, %rdi
callq 0x11750
jmp 0xa46a
cmpl $0x0, 0x3dfa8(%rip)     # 0x47be8
je 0x9c65
movq 0x3b3af(%rip), %rax     # 0x44ff8
movq (%rax), %rdi
movq -0x10(%rbp), %rcx
leaq 0x2a7c6(%rip), %rsi     # 0x3441d
leaq 0x2adde(%rip), %rdx     # 0x34a3c
movb $0x0, %al
callq 0x4190
jmp 0x9c67
leaq -0x810(%rbp), %rdi
movq -0x10(%rbp), %rdx
movl $0x800, %esi            # imm = 0x800
callq 0x4170
cmpq $0x0, %rax
je 0xa43c
leaq -0x810(%rbp), %rdi
leaq 0x2ade5(%rip), %rsi     # 0x34a79
callq 0x4280
movq %rax, -0x820(%rbp)
cmpq $0x0, %rax
je 0x9cb0
movq -0x820(%rbp), %rax
movb $0x0, (%rax)
movsbl -0x810(%rbp), %eax
cmpl $0x0, %eax
jne 0x9cbe
jmp 0x9c67
jmp 0x9cc0
leaq -0x810(%rbp), %rdi
callq 0x40f0
subq $0x1, %rax
movsbl -0x810(%rbp,%rax), %ecx
movb $0x1, %al
cmpl $0xa, %ecx
movb %al, -0x829(%rbp)
je 0x9d53
leaq -0x810(%rbp), %rdi
callq 0x40f0
subq $0x1, %rax
movsbl -0x810(%rbp,%rax), %ecx
movb $0x1, %al
cmpl $0xd, %ecx
movb %al, -0x829(%rbp)
je 0x9d53
leaq -0x810(%rbp), %rdi
callq 0x40f0
subq $0x1, %rax
movsbl -0x810(%rbp,%rax), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, -0x829(%rbp)
je 0x9d53
leaq -0x810(%rbp), %rdi
callq 0x40f0
subq $0x1, %rax
movsbl -0x810(%rbp,%rax), %eax
cmpl $0x9, %eax
sete %al
movb %al, -0x829(%rbp)
movb -0x829(%rbp), %al
testb $0x1, %al
jne 0x9d5f
jmp 0x9d7c
leaq -0x810(%rbp), %rdi
callq 0x40f0
subq $0x1, %rax
movb $0x0, -0x810(%rbp,%rax)
jmp 0x9cc0
movsbl -0x810(%rbp), %eax
cmpl $0x0, %eax
je 0x9da5
movsbl -0x810(%rbp), %eax
cmpl $0x25, %eax
je 0x9da5
leaq -0x810(%rbp), %rdi
callq 0x96d0
jmp 0xa437
movsbl -0x80f(%rbp), %eax
addl $-0x25, %eax
movl %eax, %ecx
movq %rcx, -0x838(%rbp)
subl $0x33, %eax
ja 0xa3e1
movq -0x838(%rbp), %rax
leaq 0x296fd(%rip), %rcx     # 0x334cc
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x3b3b1(%rip), %rdi     # 0x45190
leaq 0x2ac96(%rip), %rsi     # 0x34a7c
callq 0x88c0
movl $0x1, 0x3e0bb(%rip)     # 0x47eb0
movl $0x1, 0x3e509(%rip)     # 0x48308
movl $0x1, 0x3e0a3(%rip)     # 0x47eac
movq 0x3e090(%rip), %rdi     # 0x47ea0
leaq 0x2ac6a(%rip), %rsi     # 0x34a81
movb $0x0, %al
callq 0x4190
jmp 0xa3ed
movq 0x3b366(%rip), %rdi     # 0x45190
leaq 0x2a607(%rip), %rsi     # 0x34438
callq 0x88c0
movl $0x1, 0x3e06c(%rip)     # 0x47eac
movq 0x3e059(%rip), %rdi     # 0x47ea0
leaq 0x2b80f(%rip), %rsi     # 0x3565d
movb $0x0, %al
callq 0x4190
jmp 0xa3ed
movq 0x3b32f(%rip), %rdi     # 0x45190
leaq 0x2a5d0(%rip), %rsi     # 0x34438
callq 0x88c0
movl $0x1, 0x3e035(%rip)     # 0x47eac
movq 0x3e022(%rip), %rdi     # 0x47ea0
leaq 0x2ac0f(%rip), %rsi     # 0x34a94
movb $0x0, %al
callq 0x4190
jmp 0xa3ed
movq 0x3b2f8(%rip), %rdi     # 0x45190
leaq 0x2abff(%rip), %rsi     # 0x34a9e
callq 0x88c0
movl $0x1, 0x3dffe(%rip)     # 0x47eac
movq 0x3dfeb(%rip), %rdi     # 0x47ea0
leaq 0x2abd8(%rip), %rsi     # 0x34a94
movb $0x0, %al
callq 0x4190
jmp 0xa3ed
leaq 0x2abd4(%rip), %rdi     # 0x34aa3
leaq 0x2d5e8(%rip), %rsi     # 0x374be
callq 0x8a50
leaq -0x810(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x820(%rbp)
movq -0x820(%rbp), %rax
movsbl (%rax), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, -0x839(%rbp)
je 0x9f1a
movq -0x820(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x9, %eax
sete %al
movb %al, -0x839(%rbp)
movb -0x839(%rbp), %al
testb $0x1, %al
jne 0x9f26
jmp 0x9f3a
movq -0x820(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x820(%rbp)
jmp 0x9eed
movq -0x820(%rbp), %rdi
leaq 0x2d576(%rip), %rsi     # 0x374be
callq 0x8a50
movl $0x1, 0x3e3b5(%rip)     # 0x4830c
jmp 0xa3ed
movl $0x1, 0x3df5a(%rip)     # 0x47ec0
callq 0x9820
jmp 0xa3ed
movq 0x3b219(%rip), %rdi     # 0x45190
leaq 0x2ac23(%rip), %rsi     # 0x34ba1
callq 0x88c0
movl $0x1, 0x3df37(%rip)     # 0x47ec4
jmp 0xa3ed
leaq -0x810(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x820(%rbp)
movq -0x820(%rbp), %rax
movsbl (%rax), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, -0x83a(%rbp)
je 0x9fd1
movq -0x820(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x9, %eax
sete %al
movb %al, -0x83a(%rbp)
movb -0x83a(%rbp), %al
testb $0x1, %al
jne 0x9fdd
jmp 0x9ff1
movq -0x820(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x820(%rbp)
jmp 0x9fa4
movq -0x820(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x0, %eax
jne 0xa010
movq 0x3b189(%rip), %rax     # 0x45190
movq %rax, -0x818(%rbp)
jmp 0xa041
movq -0x820(%rbp), %rdi
callq 0x40f0
addq $0x1, %rax
movl %eax, %edi
callq 0x4a70
movq %rax, -0x818(%rbp)
movq -0x818(%rbp), %rdi
movq -0x820(%rbp), %rsi
callq 0x40a0
movq -0x818(%rbp), %rdi
leaq 0x2bd62(%rip), %rsi     # 0x35db1
callq 0x88c0
movq 0x3de45(%rip), %rdi     # 0x47ea0
movq 0x3dbf6(%rip), %rdx     # 0x47c58
leaq 0x2aa3d(%rip), %rsi     # 0x34aa6
movb $0x0, %al
callq 0x4190
movq 0x3de29(%rip), %rdi     # 0x47ea0
movq -0x818(%rbp), %rcx
leaq 0x2aa2d(%rip), %rsi     # 0x34ab2
leaq 0x2aa3a(%rip), %rdx     # 0x34ac6
movb $0x0, %al
callq 0x4190
movl $0x1, 0x3de2f(%rip)     # 0x47ecc
jmp 0xa3ed
leaq -0x810(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x828(%rbp)
movq -0x828(%rbp), %rax
movsbl (%rax), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, -0x83b(%rbp)
je 0xa0e1
movq -0x828(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x9, %eax
sete %al
movb %al, -0x83b(%rbp)
movb -0x83b(%rbp), %al
testb $0x1, %al
jne 0xa0ed
jmp 0xa101
movq -0x828(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x828(%rbp)
jmp 0xa0b4
callq 0x4290
movq (%rax), %rax
movq -0x828(%rbp), %rcx
movsbl (%rcx), %ecx
movslq %ecx, %rcx
movzwl (%rax,%rcx,2), %eax
andl $0x800, %eax            # imm = 0x800
cmpl $0x0, %eax
je 0xa138
movq -0x828(%rbp), %rdi
callq 0x4240
movl %eax, 0x3b09a(%rip)     # 0x451d0
jmp 0xa142
movl $0x1, 0x3b08e(%rip)     # 0x451d0
movl 0x3b088(%rip), %eax     # 0x451d0
movl %eax, 0x3b086(%rip)     # 0x451d4
jmp 0xa3ed
leaq -0x810(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x820(%rbp)
movq -0x820(%rbp), %rax
movsbl (%rax), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, -0x83c(%rbp)
je 0xa192
movq -0x820(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x9, %eax
sete %al
movb %al, -0x83c(%rbp)
movb -0x83c(%rbp), %al
testb $0x1, %al
jne 0xa19e
jmp 0xa1b2
movq -0x820(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x820(%rbp)
jmp 0xa165
movq -0x820(%rbp), %rdi
callq 0x40f0
addq $0x1, %rax
movl %eax, %edi
callq 0x4a70
movq %rax, 0x3e130(%rip)     # 0x48300
movq 0x3e129(%rip), %rdi     # 0x48300
movq -0x820(%rbp), %rsi
callq 0x40a0
jmp 0xa3ed
movq 0x3afa1(%rip), %rdi     # 0x45190
leaq 0x2a242(%rip), %rsi     # 0x34438
callq 0x88c0
movl $0x1, 0x3dcc3(%rip)     # 0x47ec8
movl $0x1, 0x3e101(%rip)     # 0x48310
jmp 0xa3ed
leaq -0x810(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x820(%rbp)
movq -0x820(%rbp), %rax
movsbl (%rax), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, -0x83d(%rbp)
je 0xa253
movq -0x820(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x9, %eax
sete %al
movb %al, -0x83d(%rbp)
movb -0x83d(%rbp), %al
testb $0x1, %al
jne 0xa25f
jmp 0xa273
movq -0x820(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x820(%rbp)
jmp 0xa226
movq -0x820(%rbp), %rdi
callq 0x40f0
addq $0x1, %rax
movl %eax, %edi
callq 0x4a70
movq %rax, 0x3af07(%rip)     # 0x45198
movq 0x3af00(%rip), %rdi     # 0x45198
movq -0x820(%rbp), %rsi
callq 0x40a0
jmp 0xa3ed
leaq -0x810(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x820(%rbp)
movq -0x820(%rbp), %rax
movsbl (%rax), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, -0x83e(%rbp)
je 0xa2e8
movq -0x820(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x9, %eax
sete %al
movb %al, -0x83e(%rbp)
movb -0x83e(%rbp), %al
testb $0x1, %al
jne 0xa2f4
jmp 0xa308
movq -0x820(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x820(%rbp)
jmp 0xa2bb
movq -0x820(%rbp), %rdi
callq 0x40f0
addq $0x2, %rax
movl %eax, %edi
callq 0x4a70
movq %rax, 0x3ae7a(%rip)     # 0x451a0
movq 0x3ae73(%rip), %rdi     # 0x451a0
movq -0x820(%rbp), %rsi
callq 0x40a0
movq 0x3ae60(%rip), %rdi     # 0x451a0
leaq 0x2bd19(%rip), %rsi     # 0x36060
callq 0x4250
jmp 0xa3ed
leaq -0x810(%rbp), %rax
addq $0x2, %rax
movq %rax, -0x820(%rbp)
movq -0x820(%rbp), %rax
movsbl (%rax), %ecx
movb $0x1, %al
cmpl $0x20, %ecx
movb %al, -0x83f(%rbp)
je 0xa390
movq -0x820(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x9, %eax
sete %al
movb %al, -0x83f(%rbp)
movb -0x83f(%rbp), %al
testb $0x1, %al
jne 0xa39c
jmp 0xa3b0
movq -0x820(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x820(%rbp)
jmp 0xa363
movq -0x820(%rbp), %rdi
callq 0x9a30
jmp 0xa3ed
callq 0x9820
jmp 0xa3ed
movl $0x1, 0x3d865(%rip)     # 0x47c34
leaq -0x810(%rbp), %rdi
addq $0x2, %rdi
callq 0x8b80
jmp 0xa3ed
leaq -0x810(%rbp), %rdi
callq 0x96d0
movsbl -0x80f(%rbp), %eax
cmpl $0x4c, %eax
je 0xa429
movsbl -0x80f(%rbp), %eax
cmpl $0x48, %eax
je 0xa429
movsbl -0x80f(%rbp), %eax
cmpl $0x44, %eax
je 0xa429
movsbl -0x80f(%rbp), %eax
cmpl $0x43, %eax
je 0xa429
movsbl -0x80f(%rbp), %eax
cmpl $0x50, %eax
jne 0xa435
leaq -0x810(%rbp), %rdi
callq 0x98d0
jmp 0xa437
jmp 0x9c67
cmpl $0x0, 0x3d7a5(%rip)     # 0x47be8
je 0xa461
movq 0x3abac(%rip), %rax     # 0x44ff8
movq (%rax), %rdi
movq -0x10(%rbp), %rdx
leaq 0x2a681(%rip), %rsi     # 0x34adb
movb $0x0, %al
callq 0x4190
movq -0x10(%rbp), %rdi
callq 0x6d20
callq 0x8e40
movq 0x3d7e2(%rip), %rdi     # 0x47c58
leaq 0x2d041(%rip), %rsi     # 0x374be
callq 0x8a50
movl 0x3ad60(%rip), %edi     # 0x451e8
leaq 0x3da51(%rip), %rsi     # 0x47ee0
callq 0x7410
cmpl $0x0, %eax
jne 0xa4bb
movq 0x3ab58(%rip), %rax     # 0x44ff8
movq (%rax), %rdi
leaq 0x2a63d(%rip), %rsi     # 0x34ae7
movb $0x0, %al
callq 0x4190
movl $0x1, %edi
callq 0x4270
callq 0x8c70
cmpl $0x0, %eax
je 0xa508
movl $0x78, %edi
leaq 0x2a59e(%rip), %rsi     # 0x34a6f
movl $0xa, %edx
callq 0x7230
leaq 0x2a591(%rip), %rsi     # 0x34a73
movl $0x2, %edx
movq %rsi, %rdi
callq 0x11750
cmpl $0x0, 0x3d6f6(%rip)     # 0x47bec
je 0xa506
leaq 0x2a60d(%rip), %rdi     # 0x34b0c
movb $0x0, %al
callq 0x4120
jmp 0xa508
cmpq $0x0, 0x3d990(%rip)     # 0x47ea0
je 0xa561
movq 0x3d987(%rip), %rax     # 0x47ea0
cmpq 0x3d998(%rip), %rax     # 0x47eb8
je 0xa561
cmpl $0x0, 0x3d6bf(%rip)     # 0x47be8
je 0xa54a
movq 0x3aac6(%rip), %rax     # 0x44ff8
movq (%rax), %rdi
movq 0x3d964(%rip), %rdx     # 0x47ea0
leaq 0x2a605(%rip), %rsi     # 0x34b48
movb $0x0, %al
callq 0x4190
movq 0x3d94f(%rip), %rdi     # 0x47ea0
callq 0x6d20
movq $0x0, 0x3d93f(%rip) # 0x47ea0
addq $0x840, %rsp            # imm = 0x840
popq %rbp
retq
nopw (%rax,%rax)