// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: get_lut
void
get_lut(char *o_base, char *lut)
{	FILE *lf;
	char buf[2048], *p, *q, *r;
	char nbuf[2048];
	int cntr=0;

// printf("GET LUT '%s'\n", lut?lut:"");

	if (!lut)
	{	lut = (char *) e_malloc(strlen(o_base)+strlen(".lut")+1);
		strcpy(lut, o_base);
		strcat(lut, ".lut");
	} else
	{	if (!strstr(lut, ".lut"))
			strcat(lut, ".lut");
	}

	if (Verbose)
		printf("get lut %s\n", lut);

	add_hidden(NONPRINT, "__iob", 0, 0);

	if ((lf = fopen(lut, "rb")) == NULL)
	{	if (!new_lut
		&&  Warnings
		&&  strncmp(lut, "none", strlen("none")) != 0)
			fprintf(stderr, "%s: warning, no file '%s'\n", progname, lut);
		FreshLut = 1;
		goto done;
	} else if (!new_lut && Warnings)
		fprintf(stderr, "%s: using '%s'\n", progname, lut);

if (debug_io) fprintf(stderr, "open lut -> %p\n", lf);

	while (fgets(buf, sizeof(buf), lf))
	{	while ((p = strrchr(buf, '\n'))
		||     (p = strrchr(buf, '\r')))
			*p = '\0';

		while (buf[strlen(buf)-1] == '\t'
		||     buf[strlen(buf)-1] == ' ')
			buf[strlen(buf)-1] = '\0';

		if (buf[strlen(buf)-1] == '\\')
			read_more(lf, buf);

		if (buf[0] == '#' || !strchr(buf, '\t'))
		{	add_comment(cntr++, buf);
			continue;
		}

		if (strncmp(buf, "Include", strlen("Include")) == 0)
		{	p = nextarg(buf);
			(void) nextarg(p);
			add_include(p);
			Down += 2;
			get_lut("", p);	/* recursive call -- not visible */
			Down -= 2;
			continue;
		}

		if (strncmp(buf, "Suppress", strlen("Suppress")) == 0)
		{	fprintf(stderr, "Suppress command obsolete (ignored, use Import)\n");
			continue;
		}

		if (strncmp(buf, "Insert",  strlen("Insert")) == 0
		||  strncmp(buf, "Declare", strlen("Declare")) == 0)
		{	p = nextarg(buf);
			q = nextarg(p);
			r = nextarg(q);
			if (*r == '\0')
			{	fprintf(stderr, "usage:	Insert\ttype\tvname\tpname/Global\n");
				fprintf(stderr, "or:	Declare\ttype\tvname\tpname/Global\n");
				exit(1);
			}
			(void) nextarg(r);
			add_imported(q, r, 1);
			if (strcmp(r, "Global") == 0)
			{	add_full_global(p, q, 1, 0);
			} else
			{	add_full_local(p, q, r, 1, 0);
			}
			continue;
		}
		if (strncmp(buf, "Promela", strlen("Promela")) == 0)
		{	p = nextarg(buf);
			q = nextarg(p);
			if (*q == '\0')
			{	fprintf(stderr, "usage: Promela\tvname\tpname/Global\n");
				exit(1);
			}
			(void) nextarg(q);
			add_imported(p, q, 0);	/* 0 - do not generate declaration */
			continue;
		}
		if (strncmp(buf, "Import", strlen("Import")) == 0)
		{	p = nextarg(buf);
			q = nextarg(p);
			if (*q == '\0')
			{	fprintf(stderr, "usage: Import\tvname\tpname/Global\n");
				exit(1);
			}
			(void) nextarg(q);
if (0) fprintf(stderr, "A%d %s\n", saw_import, wanttype);
			add_imported(p, q, 1);
			saw_import++;
if (0) fprintf(stderr, "B%d %s\n", saw_import, wanttype);
			continue;
		}
		if (strncmp(buf, "Constant", strlen("Constant")) == 0)
		{	add_constants(nextarg(buf));
			continue;
		}
		if (strncmp(buf, "ICALL", strlen("ICALL")) == 0
		||  strncmp(buf, "Icall", strlen("Icall")) == 0)
		{	/* instrumented procedure calls */
			p = nextarg(buf);
			q = nextarg(p);
			if (*q != '\0')
			{	fprintf(stderr, "usage: Icall\tfct_name\n");
				exit(1);
			}
			add_icall(p);
			continue;
		}
		if (strncmp(buf, "Global", strlen("Global")) == 0)
		{	p = nextarg(buf);
			q = nextarg(p);
			if (*q == '\0')
			{	fprintf(stderr, "usage: Global\ttype\tvarname\n");
				exit(1);
			}
			(void) nextarg(q);
			add_global(p, q, 0, 0);
			continue;
		}
		if (strncmp(buf, "External", strlen("External")) == 0)
		{	fprintf(stderr, "External is obsolete, use Track\n");
			exit(1);
		}
		if (strncmp(buf, "Track", strlen("Track")) == 0)
		{	p = nextarg(buf);
			q = nextarg(p);
			if (*q == '\0')
			{	fprintf(stderr, "usage: Track\t&n\tsizeof(int)\n");
				exit(1);
			}
			(void) nextarg(q);
			add_external(p, q);
			continue;
		}
		if (strncmp(buf, NONSTATE, strlen(NONSTATE)) == 0)
		{	p = nextarg(buf);
			q = nextarg(p);
			if (*q == '\0')
			{	fprintf(stderr, "usage: %s\ttype\tvarname\n", NONSTATE);
				exit(1);
			}
			(void) nextarg(q);
			add_hidden(p, q, 0, 0);
			continue;
		}
		if (strncmp(buf, "Local", strlen("Local")) == 0)
		{	p = nextarg(buf);
			q = nextarg(p);
			r = nextarg(q);
			if (*r == '\0')
			{	fprintf(stderr, "usage: Local\ttype\tvarname\tprocname\n");
				exit(1);
			}
			(void) nextarg(r);
			add_local(p, q, r, 0, 0, 30);
			continue;
		}
		if (strncmp(buf, "Function", strlen("Function")) == 0)
		{	p = nextarg(buf);
			(void) nextarg(p);
			add_fct(p, p);

			sprintf(nbuf, "(%s", p);
			add_fct(nbuf, p);

			sprintf(nbuf, "(!%s", p);
			add_fct(nbuf, p);
			continue;
		}
		if (strncmp(buf, "Substitute", strlen("Substitute")) == 0)
		{	p = nextarg(buf);
			q = nextarg(p);
			(void) nextarg(q);
			add_substitute(p, q);
			continue;
		}

		p = nextarg(buf);	/* regular mapping src -> dst */
		if (*p != '\0')
		{	look_lut(buf, p, 0);	/* store it */
			cntr++;
		}
	}
if (debug_io) fprintf(stderr, "close w %p\n", lf);
	Fclose(lf);

done:
if (0) fprintf(stderr, "C%d %s\n", saw_import, wanttype);
	if (!saw_import)
	{	add_imported("_all_", "_all_", 1);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1008, %rsp           # imm = 0x1008
testq %rsi, %rsi
je 0x1004f
movq %rsi, %r14
leaq 0x15a69(%rip), %rsi     # 0x25aa9
movq %r14, %rdi
callq 0x42c0
testq %rax, %rax
jne 0x10083
jmp 0x1006d
movq %rdi, %rbx
callq 0x4110
leal 0x5(%rax), %edi
callq 0x6469
movq %rax, %r14
movq %rax, %rdi
movq %rbx, %rsi
callq 0x40b0
movq %r14, %rdi
callq 0x4110
movl $0x74756c2e, (%r14,%rax) # imm = 0x74756C2E
movb $0x0, 0x4(%r14,%rax)
leaq 0x299e2(%rip), %rax     # 0x39a6c
cmpl $0x0, (%rax)
je 0x100a0
leaq 0x157ea(%rip), %rdi     # 0x25880
movq %r14, %rsi
xorl %eax, %eax
callq 0x4140
leaq 0x1e488(%rip), %rdi     # 0x2e52f
leaq 0x157de(%rip), %rsi     # 0x2588c
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xc854
leaq 0x157d4(%rip), %rsi     # 0x25892
movq %r14, %rdi
callq 0x4260
leaq 0x29bcf(%rip), %rcx     # 0x39c9c
cmpl $0x0, (%rcx)
sete %cl
leaq 0x29996(%rip), %rdx     # 0x39a70
cmpl $0x0, (%rdx)
movq %rax, %rbx
setne %al
andb %cl, %al
testq %rbx, %rbx
je 0x10b0b
testb %al, %al
jne 0x10b61
leaq 0x2990b(%rip), %rax     # 0x39a08
cmpl $0x0, (%rax)
jne 0x10b6e
movq %rsp, %r12
movq %r12, %rdi
movl $0x800, %esi            # imm = 0x800
movq %rbx, %rdx
callq 0x41a0
testq %rax, %rax
je 0x10af1
movl $0x6c636e49, %r13d      # imm = 0x6C636E49
xorl %r15d, %r15d
movq %r12, %rdi
movl $0xa, %esi
callq 0x4150
testq %rax, %rax
jne 0x1014f
movq %r12, %rdi
movl $0xd, %esi
callq 0x4150
testq %rax, %rax
je 0x10159
movb $0x0, (%rax)
jmp 0x1012b
movb $0x0, -0x1(%rsp,%rax)
movq %r12, %rdi
callq 0x4110
movzbl -0x1(%rax,%r12), %ecx
cmpl $0x9, %ecx
je 0x10154
cmpl $0x20, %ecx
je 0x10154
cmpl $0x5c, %ecx
jne 0x10181
movq %rbx, %rdi
movq %r12, %rsi
callq 0xff62
cmpb $0x23, (%rsp)
je 0x10289
movq %r12, %rdi
movl $0x9, %esi
callq 0x4130
testq %rax, %rax
je 0x10289
movl (%rsp), %eax
xorl %r13d, %eax
movl 0x3(%rsp), %ecx
movl $0x6564756c, %edx       # imm = 0x6564756C
xorl %edx, %ecx
orl %eax, %ecx
je 0x10336
movq (%rsp), %rax
movabsq $0x7373657270707553, %rcx # imm = 0x7373657270707553
cmpq %rcx, %rax
je 0x1070c
movl (%rsp), %ecx
movl $0x65736e49, %edx       # imm = 0x65736E49
xorl %edx, %ecx
movzwl 0x4(%rsp), %edx
xorl $0x7472, %edx           # imm = 0x7472
orl %ecx, %edx
je 0x103b4
movl (%rsp), %ecx
movl $0x6c636544, %edx       # imm = 0x6C636544
xorl %edx, %ecx
movl 0x3(%rsp), %edx
movl $0x6572616c, %esi       # imm = 0x6572616C
xorl %esi, %edx
orl %ecx, %edx
je 0x103b4
movl (%rsp), %ecx
movl $0x6d6f7250, %edx       # imm = 0x6D6F7250
xorl %edx, %ecx
movl 0x3(%rsp), %edx
movl $0x616c656d, %esi       # imm = 0x616C656D
xorl %esi, %edx
orl %ecx, %edx
je 0x104d5
movl (%rsp), %ecx
movl $0x6f706d49, %edx       # imm = 0x6F706D49
xorl %edx, %ecx
movzwl 0x4(%rsp), %edx
xorl $0x7472, %edx           # imm = 0x7472
orl %ecx, %edx
je 0x1055e
movabsq $0x746e6174736e6f43, %rcx # imm = 0x746E6174736E6F43
cmpq %rcx, %rax
jne 0x105f0
movq %r12, %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10272
testl %eax, %eax
je 0x10272
incq %rdi
jmp 0x1025b
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x20, %eax
je 0x1026c
cmpl $0x9, %eax
je 0x1026c
callq 0xfebb
jmp 0x103ac
leal 0x1(%r15), %ebp
movd 0x10(%rsp), %xmm0
pcmpeqb 0x14a05(%rip), %xmm0    # 0x24ca0
movdqa (%rsp), %xmm1
pcmpeqb 0x14a08(%rip), %xmm1    # 0x24cb0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x104b4
movl $0x28, %edi
callq 0x6469
movq %rax, %r14
movl 0x2c0b2(%rip), %eax     # 0x3c380
movl %eax, 0x1c(%r14)
movq %r12, %rdi
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6469
movq %rax, (%r14)
movq %rax, %rdi
movq %r12, %rsi
callq 0x40b0
decl %r15d
movl %r15d, 0x14(%r14)
movl $0x0, 0x18(%r14)
movq $0x0, 0x20(%r14)
movq 0x35ea2(%rip), %rax     # 0x461b0
testq %rax, %rax
je 0x10323
movq %r14, 0x20(%rax)
movq %r14, 0x35e92(%rip)     # 0x461b0
jmp 0x104b4
movq %r14, 0x35e86(%rip)     # 0x461b0
movq %r14, 0x2f77f(%rip)     # 0x3fab0
jmp 0x104b4
movq %r12, %r14
movzbl (%r14), %eax
cmpl $0x9, %eax
je 0x10352
testl %eax, %eax
je 0x10352
incq %r14
jmp 0x10339
movb $0x0, (%r14)
incq %r14
movzbl (%r14), %eax
cmpl $0x9, %eax
je 0x1034b
cmpl $0x20, %eax
je 0x1034b
movq %r14, %rax
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x1037a
testl %ecx, %ecx
je 0x1037a
incq %rax
jmp 0x10363
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x10374
cmpl $0x9, %ecx
je 0x10374
movq %r14, %rdi
callq 0xc64c
addl $0x2, 0x2bfea(%rip)     # 0x3c380
leaq 0x16cf7(%rip), %rdi     # 0x27094
movq %r14, %rsi
callq 0x10020
addl $-0x2, 0x2bfd4(%rip)    # 0x3c380
movl %r15d, %ebp
jmp 0x104b4
movq %r12, %rbp
movzbl (%rbp), %eax
cmpl $0x9, %eax
je 0x103d0
testl %eax, %eax
je 0x103d0
incq %rbp
jmp 0x103b7
movb $0x0, (%rbp)
incq %rbp
movzbl (%rbp), %eax
cmpl $0x9, %eax
je 0x103c9
cmpl $0x20, %eax
je 0x103c9
movq %rbp, %r13
movzbl (%r13), %eax
cmpl $0x9, %eax
je 0x103fc
testl %eax, %eax
je 0x103fc
incq %r13
jmp 0x103e1
movb $0x0, (%r13)
incq %r13
movzbl (%r13), %eax
cmpl $0x9, %eax
je 0x103f4
cmpl $0x20, %eax
je 0x103f4
movq %r13, %r14
movzbl (%r14), %eax
cmpl $0x9, %eax
je 0x10427
testl %eax, %eax
je 0x10427
incq %r14
jmp 0x1040e
movb $0x0, (%r14)
incq %r14
movzbl (%r14), %ecx
cmpl $0x9, %ecx
je 0x10420
cmpl $0x20, %ecx
je 0x10420
movq %r14, %rax
testl %ecx, %ecx
je 0x10bbb
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x10457
testl %ecx, %ecx
je 0x10457
incq %rax
jmp 0x10440
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x10451
cmpl $0x9, %ecx
je 0x10451
movq %r13, %rdi
movq %r14, %rsi
movl $0x1, %edx
callq 0xf51f
movq %r14, %rdi
leaq 0x12c38(%rip), %rsi     # 0x230b6
callq 0x41b0
movq %rbp, %rdi
movq %r13, %rsi
testl %eax, %eax
je 0x1049f
movq %r14, %rdx
movl $0x1, %ecx
xorl %r8d, %r8d
callq 0xdd1a
jmp 0x104ab
movl $0x1, %edx
xorl %ecx, %ecx
callq 0xcbbe
movl %r15d, %ebp
movl $0x6c636e49, %r13d      # imm = 0x6C636E49
movq %r12, %rdi
movl $0x800, %esi            # imm = 0x800
movq %rbx, %rdx
callq 0x41a0
movl %ebp, %r15d
testq %rax, %rax
jne 0x1012b
jmp 0x10af1
movq %r12, %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x104ef
testl %eax, %eax
je 0x104ef
incq %rdi
jmp 0x104d8
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x104e9
cmpl $0x20, %eax
je 0x104e9
movq %rdi, %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x10516
testl %eax, %eax
je 0x10516
incq %rsi
jmp 0x104ff
movb $0x0, (%rsi)
incq %rsi
movzbl (%rsi), %ecx
cmpl $0x9, %ecx
je 0x10510
cmpl $0x20, %ecx
je 0x10510
movq %rsi, %rax
testl %ecx, %ecx
je 0x10bc0
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x10545
testl %ecx, %ecx
je 0x10545
incq %rax
jmp 0x1052e
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x1053f
cmpl $0x9, %ecx
je 0x1053f
xorl %edx, %edx
callq 0xf51f
jmp 0x103ac
movq %r12, %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10578
testl %eax, %eax
je 0x10578
incq %rdi
jmp 0x10561
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10572
cmpl $0x20, %eax
je 0x10572
movq %rdi, %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x1059f
testl %eax, %eax
je 0x1059f
incq %rsi
jmp 0x10588
movb $0x0, (%rsi)
incq %rsi
movzbl (%rsi), %ecx
cmpl $0x9, %ecx
je 0x10599
cmpl $0x20, %ecx
je 0x10599
movq %rsi, %rax
testl %ecx, %ecx
je 0x10bc5
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x105ce
testl %ecx, %ecx
je 0x105ce
incq %rax
jmp 0x105b7
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x105c8
cmpl $0x9, %ecx
je 0x105c8
movl $0x1, %edx
callq 0xf51f
incl 0x2f4b5(%rip)           # 0x3faa0
jmp 0x103ac
movl (%rsp), %ecx
movl $0x4c414349, %edx       # imm = 0x4C414349
xorl %edx, %ecx
movzbl 0x4(%rsp), %edx
xorl $0x4c, %edx
orl %ecx, %edx
je 0x10716
movl (%rsp), %ecx
movl $0x6c616349, %edx       # imm = 0x6C616349
xorl %edx, %ecx
movzbl 0x4(%rsp), %edx
xorl $0x6c, %edx
orl %ecx, %edx
je 0x10716
movl (%rsp), %ecx
movl $0x626f6c47, %edx       # imm = 0x626F6C47
xorl %edx, %ecx
movzwl 0x4(%rsp), %edx
xorl $0x6c61, %edx           # imm = 0x6C61
orl %ecx, %edx
je 0x10776
movabsq $0x6c616e7265747845, %rcx # imm = 0x6C616E7265747845
cmpq %rcx, %rax
je 0x10be3
movl (%rsp), %ecx
movl $0x63617254, %edx       # imm = 0x63617254
xorl %edx, %ecx
movzbl 0x4(%rsp), %edx
xorl $0x6b, %edx
orl %ecx, %edx
je 0x10801
movabsq $0x65746174536e6f4e, %rcx # imm = 0x65746174536E6F4E
cmpq %rcx, %rax
jne 0x10888
movq %r12, %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x1069b
testl %eax, %eax
je 0x1069b
incq %rdi
jmp 0x10684
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10695
cmpl $0x20, %eax
je 0x10695
movq %rdi, %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x106c2
testl %eax, %eax
je 0x106c2
incq %rsi
jmp 0x106ab
movb $0x0, (%rsi)
incq %rsi
movzbl (%rsi), %ecx
cmpl $0x9, %ecx
je 0x106bc
cmpl $0x20, %ecx
je 0x106bc
movq %rsi, %rax
testl %ecx, %ecx
je 0x10bd9
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x106f1
testl %ecx, %ecx
je 0x106f1
incq %rax
jmp 0x106da
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x106eb
cmpl $0x9, %ecx
je 0x106eb
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xc854
jmp 0x103ac
callq 0x4c5a
jmp 0x103ac
movq %r12, %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10730
testl %eax, %eax
je 0x10730
incq %rdi
jmp 0x10719
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x1072a
cmpl $0x20, %eax
je 0x1072a
movq %rdi, %rax
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x10757
testl %ecx, %ecx
je 0x10757
incq %rax
jmp 0x10740
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x10751
cmpl $0x20, %ecx
je 0x10751
testl %ecx, %ecx
jne 0x10bca
callq 0x77c6
jmp 0x103ac
movq %r12, %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10790
testl %eax, %eax
je 0x10790
incq %rdi
jmp 0x10779
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x1078a
cmpl $0x20, %eax
je 0x1078a
movq %rdi, %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x107b7
testl %eax, %eax
je 0x107b7
incq %rsi
jmp 0x107a0
movb $0x0, (%rsi)
incq %rsi
movzbl (%rsi), %ecx
cmpl $0x9, %ecx
je 0x107b1
cmpl $0x20, %ecx
je 0x107b1
movq %rsi, %rax
testl %ecx, %ecx
je 0x10bcf
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x107e6
testl %ecx, %ecx
je 0x107e6
incq %rax
jmp 0x107cf
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x107e0
cmpl $0x9, %ecx
je 0x107e0
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xca19
jmp 0x103ac
movq %r12, %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x1081b
testl %eax, %eax
je 0x1081b
incq %rdi
jmp 0x10804
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10815
cmpl $0x20, %eax
je 0x10815
movq %rdi, %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x10842
testl %eax, %eax
je 0x10842
incq %rsi
jmp 0x1082b
movb $0x0, (%rsi)
incq %rsi
movzbl (%rsi), %ecx
cmpl $0x9, %ecx
je 0x1083c
cmpl $0x20, %ecx
je 0x1083c
movq %rsi, %rax
testl %ecx, %ecx
je 0x10bd4
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x10871
testl %ecx, %ecx
je 0x10871
incq %rax
jmp 0x1085a
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x1086b
cmpl $0x9, %ecx
je 0x1086b
callq 0xfdec
jmp 0x103ac
movl (%rsp), %ecx
movl $0x61636f4c, %edx       # imm = 0x61636F4C
xorl %edx, %ecx
movzbl 0x4(%rsp), %edx
xorl $0x6c, %edx
orl %ecx, %edx
je 0x1095c
movabsq $0x6e6f6974636e7546, %rcx # imm = 0x6E6F6974636E7546
cmpq %rcx, %rax
jne 0x10a0f
movq %r12, %r14
movzbl (%r14), %eax
cmpl $0x9, %eax
je 0x108d1
testl %eax, %eax
je 0x108d1
incq %r14
jmp 0x108b8
movb $0x0, (%r14)
incq %r14
movzbl (%r14), %eax
cmpl $0x9, %eax
je 0x108ca
cmpl $0x20, %eax
je 0x108ca
movq %r14, %rax
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x108f9
testl %ecx, %ecx
je 0x108f9
incq %rax
jmp 0x108e2
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x108f3
cmpl $0x9, %ecx
je 0x108f3
movq %r14, %rdi
movq %r14, %rsi
callq 0xc5d5
leaq 0x800(%rsp), %rbp
movq %rbp, %rdi
leaq 0x1515f(%rip), %rsi     # 0x25a82
movq %r14, %rdx
xorl %eax, %eax
callq 0x4290
movq %rbp, %rdi
movq %r14, %rsi
callq 0xc5d5
movq %rbp, %rdi
leaq 0x15144(%rip), %rsi     # 0x25a86
movq %r14, %rdx
xorl %eax, %eax
callq 0x4290
movq %rbp, %rdi
movq %r14, %rsi
callq 0xc5d5
jmp 0x103ac
movq %r12, %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10976
testl %eax, %eax
je 0x10976
incq %rdi
jmp 0x1095f
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10970
cmpl $0x20, %eax
je 0x10970
movq %rdi, %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x1099d
testl %eax, %eax
je 0x1099d
incq %rsi
jmp 0x10986
movb $0x0, (%rsi)
incq %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x10997
cmpl $0x20, %eax
je 0x10997
movq %rsi, %rdx
movzbl (%rdx), %eax
cmpl $0x9, %eax
je 0x109c4
testl %eax, %eax
je 0x109c4
incq %rdx
jmp 0x109ad
movb $0x0, (%rdx)
incq %rdx
movzbl (%rdx), %ecx
cmpl $0x9, %ecx
je 0x109be
cmpl $0x20, %ecx
je 0x109be
movq %rdx, %rax
testl %ecx, %ecx
je 0x10bde
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x109f3
testl %ecx, %ecx
je 0x109f3
incq %rax
jmp 0x109dc
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x109ed
cmpl $0x9, %ecx
je 0x109ed
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0xda99
jmp 0x103ac
movq (%rsp), %rax
movabsq $0x7574697473627553, %rcx # imm = 0x7574697473627553
xorq %rcx, %rax
movzwl 0x8(%rsp), %ecx
xorq $0x6574, %rcx           # imm = 0x6574
orq %rax, %rcx
je 0x10a72
movq %r12, %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x10a4b
testl %eax, %eax
je 0x10a4b
incq %rsi
jmp 0x10a34
movb $0x0, (%rsi)
incq %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x10a45
cmpl $0x20, %eax
je 0x10a45
testl %eax, %eax
je 0x103ac
movq %r12, %rdi
xorl %edx, %edx
callq 0x10be8
incl %r15d
jmp 0x103ac
movq %r12, %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10a8c
testl %eax, %eax
je 0x10a8c
incq %rdi
jmp 0x10a75
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0x10a86
cmpl $0x20, %eax
je 0x10a86
movq %rdi, %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x10ab3
testl %eax, %eax
je 0x10ab3
incq %rsi
jmp 0x10a9c
movb $0x0, (%rsi)
incq %rsi
movzbl (%rsi), %eax
cmpl $0x9, %eax
je 0x10aad
cmpl $0x20, %eax
je 0x10aad
movq %rsi, %rax
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0x10ada
testl %ecx, %ecx
je 0x10ada
incq %rax
jmp 0x10ac3
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0x10ad4
cmpl $0x9, %ecx
je 0x10ad4
callq 0xc71b
jmp 0x103ac
leaq 0x28f10(%rip), %rax     # 0x39a08
cmpl $0x0, (%rax)
jne 0x10b8e
movq %rbx, %rdi
callq 0x793c
jmp 0x10b32
testb %al, %al
je 0x10b2b
leaq 0x14d7f(%rip), %rsi     # 0x25895
movl $0x4, %edx
movq %r14, %rdi
callq 0x40a0
testl %eax, %eax
jne 0x10bae
movb $0x1, 0x2ef72(%rip)     # 0x3faa4
cmpl $0x0, 0x2ef67(%rip)     # 0x3faa0
jne 0x10b4f
leaq 0x13dd9(%rip), %rdi     # 0x2491b
movq %rdi, %rsi
movl $0x1, %edx
callq 0xf51f
addq $0x1008, %rsp           # imm = 0x1008
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %r14, %rdi
callq 0x4aca
jmp 0x100f6
movq 0x26483(%rip), %rax     # 0x36ff8
movq (%rax), %rdi
leaq 0x14d46(%rip), %rsi     # 0x258c5
movq %rbx, %rdx
xorl %eax, %eax
callq 0x41c0
jmp 0x10106
movq 0x26463(%rip), %rax     # 0x36ff8
movq (%rax), %rdi
leaq 0x14ef7(%rip), %rsi     # 0x25a96
movq %rbx, %rdx
xorl %eax, %eax
callq 0x41c0
jmp 0x10b01
movq %r14, %rdi
callq 0x4c7c
jmp 0x10b2b
callq 0x4c1a
callq 0x4bf5
callq 0x4bd0
callq 0x4bab
callq 0x4b86
callq 0x4b3c
callq 0x4b14
callq 0x4aef
callq 0x4b61