// File: /workspace/github_c_makefile_star2_O3/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 $0x1018, %rsp           # imm = 0x1018
testq %rsi, %rsi
je 0xff57
movq %rsi, %r14
leaq 0x14b61(%rip), %rsi     # 0x24aa9
movq %r14, %rdi
callq 0x42d0
testq %rax, %rax
jne 0xff8b
jmp 0xff75
movq %rdi, %rbx
callq 0x4110
leal 0x5(%rax), %edi
callq 0x6321
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 0x28aea(%rip), %rax     # 0x38a7c
cmpl $0x0, (%rax)
je 0xffa8
leaq 0x148e2(%rip), %rdi     # 0x24880
movq %r14, %rsi
xorl %eax, %eax
callq 0x4140
leaq 0x1d56c(%rip), %rdi     # 0x2d51b
leaq 0x148d6(%rip), %rsi     # 0x2488c
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xc6f9
leaq 0x148cc(%rip), %rsi     # 0x24892
movq %r14, %rdi
callq 0x4270
leaq 0x28cd7(%rip), %rcx     # 0x38cac
cmpl $0x0, (%rcx)
sete %cl
leaq 0x28a9e(%rip), %rdx     # 0x38a80
cmpl $0x0, (%rdx)
movq %rax, %rbx
setne %al
andb %cl, %al
testq %rbx, %rbx
je 0x10bb9
testb %al, %al
jne 0x10c0f
leaq 0x28a13(%rip), %rax     # 0x38a18
cmpl $0x0, (%rax)
jne 0x10c1c
leaq 0x10(%rsp), %r12
movq %r12, %rdi
movl $0x800, %esi            # imm = 0x800
movq %rbx, %rdx
callq 0x41a0
testq %rax, %rax
je 0x10b9f
leaq 0x11(%rsp), %r13
xorl %r15d, %r15d
movq %rbx, 0x8(%rsp)
movq %r12, %rdi
movl $0xa, %esi
callq 0x4150
testq %rax, %rax
jne 0x1005d
movq %r12, %rdi
movl $0xd, %esi
callq 0x4150
testq %rax, %rax
je 0x10067
movb $0x0, (%rax)
jmp 0x10039
movb $0x0, 0xf(%rsp,%rax)
movq %r12, %rdi
callq 0x4110
movzbl -0x1(%rax,%r12), %ecx
cmpl $0x9, %ecx
je 0x10062
cmpl $0x20, %ecx
je 0x10062
cmpl $0x5c, %ecx
jne 0x1008f
movq %rbx, %rdi
movq %r12, %rsi
callq 0xfe6a
movb 0x10(%rsp), %bpl
cmpb $0x23, %bpl
je 0x101ac
movq %r12, %rdi
movl $0x9, %esi
callq 0x4130
testq %rax, %rax
je 0x101ac
movl 0x10(%rsp), %eax
movl $0x6c636e49, %ecx       # imm = 0x6C636E49
xorl %ecx, %eax
movl 0x13(%rsp), %ecx
movl $0x6564756c, %edx       # imm = 0x6564756C
xorl %edx, %ecx
orl %eax, %ecx
je 0x1025a
movq 0x10(%rsp), %rax
movabsq $0x7373657270707553, %rcx # imm = 0x7373657270707553
cmpq %rcx, %rax
je 0x106f0
movl 0x10(%rsp), %ecx
movl $0x65736e49, %edx       # imm = 0x65736E49
xorl %edx, %ecx
movzwl 0x14(%rsp), %edx
xorl $0x7472, %edx           # imm = 0x7472
orl %ecx, %edx
je 0x102fa
movl 0x10(%rsp), %ecx
movl $0x6c636544, %edx       # imm = 0x6C636544
xorl %edx, %ecx
movl 0x13(%rsp), %edx
movl $0x6572616c, %esi       # imm = 0x6572616C
xorl %esi, %edx
orl %ecx, %edx
je 0x102fa
movl 0x10(%rsp), %ecx
movl $0x6d6f7250, %edx       # imm = 0x6D6F7250
xorl %edx, %ecx
movl 0x13(%rsp), %edx
movl $0x616c656d, %esi       # imm = 0x616C656D
xorl %esi, %edx
orl %ecx, %edx
je 0x10444
movl 0x10(%rsp), %ecx
movl $0x6f706d49, %edx       # imm = 0x6F706D49
xorl %edx, %ecx
movzwl 0x14(%rsp), %edx
xorl $0x7472, %edx           # imm = 0x7472
orl %ecx, %edx
je 0x104f0
movabsq $0x746e6174736e6f43, %rcx # imm = 0x746E6174736E6F43
cmpq %rcx, %rax
jne 0x105a5
movb $0x43, %al
movq %r12, %rdi
cmpb $0x9, %al
je 0x10196
movzbl %al, %ecx
testl %ecx, %ecx
je 0x10196
movb 0x1(%rdi), %al
incq %rdi
jmp 0x1017a
movb $0x0, (%rdi)
movb 0x1(%rdi), %al
incq %rdi
cmpb $0x20, %al
je 0x1018d
movzbl %al, %eax
cmpl $0x9, %eax
je 0x1018d
callq 0xfdc1
jmp 0x102f2
leal 0x1(%r15), %ebp
movd 0x20(%rsp), %xmm0
pcmpeqb 0x13ae2(%rip), %xmm0    # 0x23ca0
movdqa 0x10(%rsp), %xmm1
pcmpeqb 0x13ae4(%rip), %xmm1    # 0x23cb0
pand %xmm0, %xmm1
pmovmskb %xmm1, %eax
cmpl $0xffff, %eax           # imm = 0xFFFF
je 0x10423
movl $0x28, %edi
callq 0x6321
movq %rax, %r14
movl 0x2b19e(%rip), %eax     # 0x3b390
movl %eax, 0x1c(%r14)
movq %r12, %rdi
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6321
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 0x34f8e(%rip), %rax     # 0x451c0
leaq 0x20(%rax), %rcx
testq %rax, %rax
leaq 0x34f80(%rip), %rax     # 0x451c0
cmoveq %rax, %rcx
leaq 0x2e875(%rip), %rdx     # 0x3eac0
cmoveq %rdx, %rax
movq %r14, (%rcx)
movq %r14, (%rax)
jmp 0x10423
movq %r13, %rax
movq %r12, %r14
cmpb $0x9, %bpl
je 0x10288
movzbl %bpl, %ecx
testl %ecx, %ecx
je 0x10288
movb 0x1(%r14), %bpl
incq %r14
incq %rax
jmp 0x10260
movb $0x0, (%r14)
movb 0x1(%r14), %bpl
incq %r14
incq %rax
cmpb $0x9, %bpl
je 0x1027a
movzbl %bpl, %ecx
cmpl $0x20, %ecx
je 0x1027a
movq %r14, %rcx
cmpb $0x9, %bpl
je 0x102be
movzbl %bpl, %edx
testl %edx, %edx
je 0x102be
movb 0x1(%rcx), %bpl
incq %rcx
incq %rax
jmp 0x1029a
movb $0x0, -0x1(%rax)
movb (%rax), %bpl
incq %rax
cmpb $0x20, %bpl
je 0x102b4
movzbl %bpl, %ecx
cmpl $0x9, %ecx
je 0x102b4
movq %r14, %rdi
callq 0xc4f1
addl $0x2, 0x2b0b4(%rip)     # 0x3b390
leaq 0x15dae(%rip), %rdi     # 0x26091
movq %r14, %rsi
callq 0xff28
addl $-0x2, 0x2b09e(%rip)    # 0x3b390
movl %r15d, %ebp
jmp 0x10423
movq %r13, %rcx
movq %r12, %rbp
cmpb $0x9, %al
je 0x10323
movzbl %al, %edx
testl %edx, %edx
je 0x10323
movb 0x1(%rbp), %al
incq %rbp
incq %rcx
jmp 0x10300
movb $0x0, (%rbp)
movb 0x1(%rbp), %al
incq %rbp
incq %rcx
cmpb $0x9, %al
je 0x10316
movzbl %al, %edx
cmpl $0x20, %edx
je 0x10316
movq %r13, %rbx
movq %rbp, %r13
cmpb $0x9, %al
je 0x1035b
movzbl %al, %edx
testl %edx, %edx
je 0x1035b
movb 0x1(%r13), %al
incq %r13
incq %rcx
jmp 0x10335
movb $0x0, (%r13)
movb 0x1(%r13), %al
incq %r13
incq %rcx
cmpb $0x9, %al
je 0x1034c
movzbl %al, %edx
cmpl $0x20, %edx
je 0x1034c
movq %r13, %r14
cmpb $0x9, %al
je 0x1038f
movzbl %al, %edx
testl %edx, %edx
je 0x1038f
movb 0x1(%r14), %al
incq %r14
incq %rcx
jmp 0x1036a
movb $0x0, (%r14)
movb 0x1(%r14), %al
incq %r14
incq %rcx
cmpb $0x9, %al
je 0x10381
movzbl %al, %esi
cmpl $0x20, %esi
je 0x10381
movq %r14, %rdx
testl %esi, %esi
je 0x10c69
cmpb $0x9, %al
je 0x103c5
movzbl %al, %esi
testl %esi, %esi
je 0x103c5
movb 0x1(%rdx), %al
incq %rdx
incq %rcx
jmp 0x103a6
movb $0x0, -0x1(%rcx)
movb (%rcx), %al
incq %rcx
cmpb $0x20, %al
je 0x103bc
movzbl %al, %eax
cmpl $0x9, %eax
je 0x103bc
movq %r13, %rdi
movq %r14, %rsi
movl $0x1, %edx
callq 0xf3d0
movq %r14, %rdi
leaq 0x11ccb(%rip), %rsi     # 0x220b6
callq 0x41c0
movq %rbp, %rdi
movq %r13, %rsi
testl %eax, %eax
je 0x1040c
movq %r14, %rdx
movl $0x1, %ecx
xorl %r8d, %r8d
callq 0xdbee
jmp 0x10418
movl $0x1, %edx
xorl %ecx, %ecx
callq 0xca69
movl %r15d, %ebp
movq %rbx, %r13
movq 0x8(%rsp), %rbx
movq %r12, %rdi
movl $0x800, %esi            # imm = 0x800
movq %rbx, %rdx
callq 0x41a0
movl %ebp, %r15d
testq %rax, %rax
jne 0x10039
jmp 0x10b9f
movq %r13, %rcx
movq %r12, %rdi
cmpb $0x9, %al
je 0x1046c
movzbl %al, %edx
testl %edx, %edx
je 0x1046c
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
jmp 0x1044a
movb $0x0, (%rdi)
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
cmpb $0x9, %al
je 0x10460
movzbl %al, %edx
cmpl $0x20, %edx
je 0x10460
movq %rdi, %rsi
cmpb $0x9, %al
je 0x1049d
movzbl %al, %edx
testl %edx, %edx
je 0x1049d
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
jmp 0x1047b
movb $0x0, (%rsi)
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
cmpb $0x9, %al
je 0x10491
movzbl %al, %r8d
cmpl $0x20, %r8d
je 0x10491
movq %rsi, %rdx
testl %r8d, %r8d
je 0x10c6e
cmpb $0x9, %al
je 0x104d8
movzbl %al, %r8d
testl %r8d, %r8d
je 0x104d8
movb 0x1(%rdx), %al
incq %rdx
incq %rcx
jmp 0x104b7
movb $0x0, -0x1(%rcx)
movb (%rcx), %al
incq %rcx
cmpb $0x20, %al
je 0x104cf
movzbl %al, %eax
cmpl $0x9, %eax
je 0x104cf
xorl %edx, %edx
callq 0xf3d0
jmp 0x102f2
movq %r13, %rcx
movq %r12, %rdi
cmpb $0x9, %al
je 0x10518
movzbl %al, %edx
testl %edx, %edx
je 0x10518
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
jmp 0x104f6
movb $0x0, (%rdi)
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
cmpb $0x9, %al
je 0x1050c
movzbl %al, %edx
cmpl $0x20, %edx
je 0x1050c
movq %rdi, %rsi
cmpb $0x9, %al
je 0x10549
movzbl %al, %edx
testl %edx, %edx
je 0x10549
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
jmp 0x10527
movb $0x0, (%rsi)
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
cmpb $0x9, %al
je 0x1053d
movzbl %al, %r8d
cmpl $0x20, %r8d
je 0x1053d
movq %rsi, %rdx
testl %r8d, %r8d
je 0x10c73
cmpb $0x9, %al
je 0x10584
movzbl %al, %r8d
testl %r8d, %r8d
je 0x10584
movb 0x1(%rdx), %al
incq %rdx
incq %rcx
jmp 0x10563
movb $0x0, -0x1(%rcx)
movb (%rcx), %al
incq %rcx
cmpb $0x20, %al
je 0x1057b
movzbl %al, %eax
cmpl $0x9, %eax
je 0x1057b
movl $0x1, %edx
callq 0xf3d0
incl 0x2e510(%rip)           # 0x3eab0
jmp 0x102f2
movl 0x10(%rsp), %ecx
movl $0x4c414349, %edx       # imm = 0x4C414349
xorl %edx, %ecx
movzbl 0x14(%rsp), %edx
xorl $0x4c, %edx
orl %ecx, %edx
je 0x106fa
movl 0x10(%rsp), %ecx
movl $0x6c616349, %edx       # imm = 0x6C616349
xorl %edx, %ecx
movzbl 0x14(%rsp), %edx
xorl $0x6c, %edx
orl %ecx, %edx
je 0x106fa
movl 0x10(%rsp), %ecx
movl $0x626f6c47, %edx       # imm = 0x626F6C47
xorl %edx, %ecx
movzwl 0x14(%rsp), %edx
xorl $0x6c61, %edx           # imm = 0x6C61
orl %ecx, %edx
je 0x1076e
movabsq $0x6c616e7265747845, %rcx # imm = 0x6C616E7265747845
cmpq %rcx, %rax
je 0x10c91
movl 0x10(%rsp), %ecx
movl $0x63617254, %edx       # imm = 0x63617254
xorl %edx, %ecx
movzbl 0x14(%rsp), %edx
xorl $0x6b, %edx
orl %ecx, %edx
je 0x1081c
movabsq $0x65746174536e6f4e, %rcx # imm = 0x65746174536E6F4E
cmpq %rcx, %rax
jne 0x108c6
movb $0x4e, %cl
movq %r13, %rax
movq %r12, %rdi
cmpb $0x9, %cl
je 0x10665
movzbl %cl, %edx
testl %edx, %edx
je 0x10665
movb 0x1(%rdi), %cl
incq %rdi
incq %rax
jmp 0x10642
movb $0x0, (%rdi)
movb 0x1(%rdi), %cl
incq %rdi
incq %rax
cmpb $0x9, %cl
je 0x10659
movzbl %cl, %edx
cmpl $0x20, %edx
je 0x10659
movq %rdi, %rsi
cmpb $0x9, %cl
je 0x10698
movzbl %cl, %edx
testl %edx, %edx
je 0x10698
movb 0x1(%rsi), %cl
incq %rsi
incq %rax
jmp 0x10675
movb $0x0, (%rsi)
movb 0x1(%rsi), %cl
incq %rsi
incq %rax
cmpb $0x9, %cl
je 0x1068c
movzbl %cl, %r8d
cmpl $0x20, %r8d
je 0x1068c
movq %rsi, %rdx
testl %r8d, %r8d
je 0x10c87
cmpb $0x9, %cl
je 0x106d5
movzbl %cl, %r8d
testl %r8d, %r8d
je 0x106d5
movb 0x1(%rdx), %cl
incq %rdx
incq %rax
jmp 0x106b3
movb $0x0, -0x1(%rax)
movb (%rax), %cl
incq %rax
cmpb $0x20, %cl
je 0x106cc
movzbl %cl, %ecx
cmpl $0x9, %ecx
je 0x106cc
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xc6f9
jmp 0x102f2
callq 0x4c36
jmp 0x102f2
movq %r13, %rcx
movq %r12, %rdi
cmpb $0x9, %al
je 0x10722
movzbl %al, %edx
testl %edx, %edx
je 0x10722
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
jmp 0x10700
movb $0x0, (%rdi)
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
cmpb $0x9, %al
je 0x10716
movzbl %al, %edx
cmpl $0x20, %edx
je 0x10716
movq %rdi, %rdx
cmpb $0x9, %al
je 0x10750
movzbl %al, %esi
testl %esi, %esi
je 0x10750
movb 0x1(%rdx), %al
incq %rdx
incq %rcx
jmp 0x10731
movb $0x0, -0x1(%rcx)
movb (%rcx), %al
incq %rcx
cmpb $0x9, %al
je 0x10747
movzbl %al, %eax
cmpl $0x20, %eax
je 0x10747
testl %eax, %eax
jne 0x10c78
callq 0x765b
jmp 0x102f2
movq %r13, %rcx
movq %r12, %rdi
cmpb $0x9, %al
je 0x10796
movzbl %al, %edx
testl %edx, %edx
je 0x10796
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
jmp 0x10774
movb $0x0, (%rdi)
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
cmpb $0x9, %al
je 0x1078a
movzbl %al, %edx
cmpl $0x20, %edx
je 0x1078a
movq %rdi, %rsi
cmpb $0x9, %al
je 0x107c7
movzbl %al, %edx
testl %edx, %edx
je 0x107c7
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
jmp 0x107a5
movb $0x0, (%rsi)
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
cmpb $0x9, %al
je 0x107bb
movzbl %al, %r8d
cmpl $0x20, %r8d
je 0x107bb
movq %rsi, %rdx
testl %r8d, %r8d
je 0x10c7d
cmpb $0x9, %al
je 0x10802
movzbl %al, %r8d
testl %r8d, %r8d
je 0x10802
movb 0x1(%rdx), %al
incq %rdx
incq %rcx
jmp 0x107e1
movb $0x0, -0x1(%rcx)
movb (%rcx), %al
incq %rcx
cmpb $0x20, %al
je 0x107f9
movzbl %al, %eax
cmpl $0x9, %eax
je 0x107f9
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xc8be
jmp 0x102f2
movq %r13, %rcx
movq %r12, %rdi
cmpb $0x9, %al
je 0x10844
movzbl %al, %edx
testl %edx, %edx
je 0x10844
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
jmp 0x10822
movb $0x0, (%rdi)
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
cmpb $0x9, %al
je 0x10838
movzbl %al, %edx
cmpl $0x20, %edx
je 0x10838
movq %rdi, %rsi
cmpb $0x9, %al
je 0x10875
movzbl %al, %edx
testl %edx, %edx
je 0x10875
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
jmp 0x10853
movb $0x0, (%rsi)
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
cmpb $0x9, %al
je 0x10869
movzbl %al, %r8d
cmpl $0x20, %r8d
je 0x10869
movq %rsi, %rdx
testl %r8d, %r8d
je 0x10c82
cmpb $0x9, %al
je 0x108b0
movzbl %al, %r8d
testl %r8d, %r8d
je 0x108b0
movb 0x1(%rdx), %al
incq %rdx
incq %rcx
jmp 0x1088f
movb $0x0, -0x1(%rcx)
movb (%rcx), %al
incq %rcx
cmpb $0x20, %al
je 0x108a7
movzbl %al, %eax
cmpl $0x9, %eax
je 0x108a7
callq 0xfcef
jmp 0x102f2
movl 0x10(%rsp), %ecx
movl $0x61636f4c, %edx       # imm = 0x61636F4C
xorl %edx, %ecx
movzbl 0x14(%rsp), %edx
xorl $0x6c, %edx
orl %ecx, %edx
je 0x109b5
movabsq $0x6e6f6974636e7546, %rcx # imm = 0x6E6F6974636E7546
cmpq %rcx, %rax
jne 0x10a98
movb $0x46, %cl
movq %r13, %rax
movq %r12, %r14
cmpb $0x9, %cl
je 0x10922
movzbl %cl, %edx
testl %edx, %edx
je 0x10922
movb 0x1(%r14), %cl
incq %r14
incq %rax
jmp 0x108fc
movb $0x0, (%r14)
movb 0x1(%r14), %cl
incq %r14
incq %rax
cmpb $0x9, %cl
je 0x10914
movzbl %cl, %edx
cmpl $0x20, %edx
je 0x10914
movq %r14, %rdx
cmpb $0x9, %cl
je 0x10952
movzbl %cl, %esi
testl %esi, %esi
je 0x10952
movb 0x1(%rdx), %cl
incq %rdx
incq %rax
jmp 0x10932
movb $0x0, -0x1(%rax)
movb (%rax), %cl
incq %rax
cmpb $0x20, %cl
je 0x10949
movzbl %cl, %ecx
cmpl $0x9, %ecx
je 0x10949
movq %r14, %rdi
movq %r14, %rsi
callq 0xc47a
leaq 0x810(%rsp), %rbp
movq %rbp, %rdi
leaq 0x14106(%rip), %rsi     # 0x24a82
movq %r14, %rdx
xorl %eax, %eax
callq 0x42a0
movq %rbp, %rdi
movq %r14, %rsi
callq 0xc47a
movq %rbp, %rdi
leaq 0x140eb(%rip), %rsi     # 0x24a86
movq %r14, %rdx
xorl %eax, %eax
callq 0x42a0
movq %rbp, %rdi
movq %r14, %rsi
callq 0xc47a
jmp 0x102f2
movq %r13, %rcx
movq %r12, %rdi
cmpb $0x9, %al
je 0x109dd
movzbl %al, %edx
testl %edx, %edx
je 0x109dd
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
jmp 0x109bb
movb $0x0, (%rdi)
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
cmpb $0x9, %al
je 0x109d1
movzbl %al, %edx
cmpl $0x20, %edx
je 0x109d1
movq %rdi, %rsi
cmpb $0x9, %al
je 0x10a0e
movzbl %al, %edx
testl %edx, %edx
je 0x10a0e
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
jmp 0x109ec
movb $0x0, (%rsi)
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
cmpb $0x9, %al
je 0x10a02
movzbl %al, %edx
cmpl $0x20, %edx
je 0x10a02
movq %rsi, %rdx
cmpb $0x9, %al
je 0x10a41
movzbl %al, %r8d
testl %r8d, %r8d
je 0x10a41
movb 0x1(%rdx), %al
incq %rdx
incq %rcx
jmp 0x10a1d
movb $0x0, (%rdx)
movb 0x1(%rdx), %al
incq %rdx
incq %rcx
cmpb $0x9, %al
je 0x10a35
movzbl %al, %r9d
cmpl $0x20, %r9d
je 0x10a35
movq %rdx, %r8
testl %r9d, %r9d
je 0x10c8c
cmpb $0x9, %al
je 0x10a7d
movzbl %al, %r9d
testl %r9d, %r9d
je 0x10a7d
movb 0x1(%r8), %al
incq %r8
incq %rcx
jmp 0x10a5b
movb $0x0, -0x1(%rcx)
movb (%rcx), %al
incq %rcx
cmpb $0x20, %al
je 0x10a74
movzbl %al, %eax
cmpl $0x9, %eax
je 0x10a74
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0xd95a
jmp 0x102f2
movq 0x10(%rsp), %rcx
movabsq $0x7574697473627553, %rdx # imm = 0x7574697473627553
xorq %rdx, %rcx
movzwl 0x18(%rsp), %edx
xorq $0x6574, %rdx           # imm = 0x6574
orq %rcx, %rdx
je 0x10b00
movq %r12, %rsi
cmpb $0x9, %al
je 0x10ada
movzbl %al, %ecx
testl %ecx, %ecx
je 0x10ada
movb 0x1(%rsi), %al
incq %rsi
jmp 0x10abe
movb $0x0, (%rsi)
movb 0x1(%rsi), %al
incq %rsi
cmpb $0x9, %al
je 0x10ad1
movzbl %al, %eax
cmpl $0x20, %eax
je 0x10ad1
testl %eax, %eax
je 0x102f2
movq %r12, %rdi
xorl %edx, %edx
callq 0x10c96
incl %r15d
jmp 0x102f2
movq %r13, %rcx
movq %r12, %rdi
cmpb $0x9, %al
je 0x10b28
movzbl %al, %edx
testl %edx, %edx
je 0x10b28
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
jmp 0x10b06
movb $0x0, (%rdi)
movb 0x1(%rdi), %al
incq %rdi
incq %rcx
cmpb $0x9, %al
je 0x10b1c
movzbl %al, %edx
cmpl $0x20, %edx
je 0x10b1c
movq %rdi, %rsi
cmpb $0x9, %al
je 0x10b59
movzbl %al, %edx
testl %edx, %edx
je 0x10b59
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
jmp 0x10b37
movb $0x0, (%rsi)
movb 0x1(%rsi), %al
incq %rsi
incq %rcx
cmpb $0x9, %al
je 0x10b4d
movzbl %al, %edx
cmpl $0x20, %edx
je 0x10b4d
movq %rsi, %rdx
cmpb $0x9, %al
je 0x10b89
movzbl %al, %r8d
testl %r8d, %r8d
je 0x10b89
movb 0x1(%rdx), %al
incq %rdx
incq %rcx
jmp 0x10b68
movb $0x0, -0x1(%rcx)
movb (%rcx), %al
incq %rcx
cmpb $0x20, %al
je 0x10b80
movzbl %al, %eax
cmpl $0x9, %eax
je 0x10b80
callq 0xc5c0
jmp 0x102f2
leaq 0x27e72(%rip), %rax     # 0x38a18
cmpl $0x0, (%rax)
jne 0x10c3c
movq %rbx, %rdi
callq 0x77d0
jmp 0x10be0
testb %al, %al
je 0x10bd9
leaq 0x13cd1(%rip), %rsi     # 0x24895
movl $0x4, %edx
movq %r14, %rdi
callq 0x40a0
testl %eax, %eax
jne 0x10c5c
movb $0x1, 0x2ded4(%rip)     # 0x3eab4
cmpl $0x0, 0x2dec9(%rip)     # 0x3eab0
jne 0x10bfd
leaq 0x12d2b(%rip), %rdi     # 0x2391b
movq %rdi, %rsi
movl $0x1, %edx
callq 0xf3d0
addq $0x1018, %rsp           # imm = 0x1018
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %r14, %rdi
callq 0x4aa6
jmp 0xfffe
movq 0x253d5(%rip), %rax     # 0x35ff8
movq (%rax), %rdi
leaq 0x13c98(%rip), %rsi     # 0x248c5
movq %rbx, %rdx
xorl %eax, %eax
callq 0x41d0
jmp 0x1000e
movq 0x253b5(%rip), %rax     # 0x35ff8
movq (%rax), %rdi
leaq 0x13e49(%rip), %rsi     # 0x24a96
movq %rbx, %rdx
xorl %eax, %eax
callq 0x41d0
jmp 0x10baf
movq %r14, %rdi
callq 0x4c58
jmp 0x10bd9
callq 0x4bf6
callq 0x4bd1
callq 0x4bac
callq 0x4b87
callq 0x4b62
callq 0x4b18
callq 0x4af0
callq 0x4acb
callq 0x4b3d