LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: cleanse
void
cleanse(char *p)
{	char *z;

	while ((z = strstr(p, "\n")) != NULL)
		*z = ' ';

	while ((z = strstr(p, "\\n")) != NULL)
	{	*z++ = ' ';
		*z = ' ';
	}
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0xa, %esi
callq 0x4130
testq %rax, %rax
je 0xe3be
movb $0x20, (%rax)
movq %rbx, %rdi
jmp 0xe3a7
leaq 0x14dfe(%rip), %rsi     # 0x231c3
movq %rbx, %rdi
callq 0x42c0
testq %rax, %rax
je 0xe3ee
leaq 0x14dea(%rip), %r14     # 0x231c3
movw $0x2020, (%rax)         # imm = 0x2020
movq %rbx, %rdi
movq %r14, %rsi
callq 0x42c0
testq %rax, %rax
jne 0xe3d9
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: imported
int
imported(char *p, char *q, int about_to_generate)
{	Spress *s;

	for (s = spress; s; s = s->nxt)
		if ((strcmp(q, s->pn) == 0
		||   strcmp(s->pn, "_all_") == 0)
		&&  (strcmp(p, s->vn) == 0
		||   strcmp(s->vn, "_all_") == 0))
		{	s->hit = 1;
			if (about_to_generate)
				return s->mustgen;
			return 1;
		}
	return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq 0x313f8(%rip), %rbp     # 0x3fa90
xorl %ebx, %ebx
testq %rbp, %rbp
je 0xe717
movq %rsi, %r14
movq %rdi, %r15
movl %edx, 0x4(%rsp)
leaq 0x1626b(%rip), %r12     # 0x2491b
movq 0x8(%rbp), %r13
movq %r14, %rdi
movq %r13, %rsi
callq 0x41b0
testl %eax, %eax
je 0xe6d2
movq %r13, %rdi
movq %r12, %rsi
callq 0x41b0
testl %eax, %eax
jne 0xe6f4
movq (%rbp), %r13
movq %r15, %rdi
movq %r13, %rsi
callq 0x41b0
testl %eax, %eax
je 0xe6ff
movq %r13, %rdi
movq %r12, %rsi
callq 0x41b0
testl %eax, %eax
je 0xe6ff
movq 0x20(%rbp), %rbp
testq %rbp, %rbp
jne 0xe6b0
jmp 0xe717
movl $0x1, 0x10(%rbp)
cmpl $0x0, 0x4(%rsp)
je 0xe712
movl 0x14(%rbp), %ebx
jmp 0xe717
movl $0x1, %ebx
movl %ebx, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: add_fnm
void
add_fnm(char *s)
{	NameL *nl;

	nl = (NameL *) e_malloc(sizeof(NameL));
	nl->nm = (char *) e_malloc(strlen(s)+1);
	strcpy(nl->nm, s);
	nl->nxt = namel;
	namel = nl;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x18, %edi
callq 0x6469
movq %rax, %r14
movq %rbx, %rdi
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6469
movq %rax, (%r14)
movq %rax, %rdi
movq %rbx, %rsi
callq 0x40b0
movq 0x2fe77(%rip), %rax     # 0x3e5d8
movq %rax, 0x10(%r14)
movq %r14, 0x2fe6c(%rip)     # 0x3e5d8
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: vis_direct
void
vis_direct(char *s)	/* the gateway for generated model code */
{
	if (visu
	&& fp
	&& s
	&& !globals_only
	&& !show_deps
	&& !new_lut)
	{	handle_special(fp, s, "");
		if (strstr(s, "goto Return"))
			sawreturn++;
	}

	tbuf[0] = '\0';
}

// Assembly:
testq %rdi, %rdi
je 0xec5b
pushq %rbx
leaq 0x2adcf(%rip), %rax     # 0x399c8
cmpl $0x0, (%rax)
je 0xec5a
movq %rdi, %rbx
movq 0x2b758(%rip), %rdi     # 0x3a360
testq %rdi, %rdi
je 0xec5a
leaq 0x2b078(%rip), %rax     # 0x39c8c
cmpl $0x0, (%rax)
jne 0xec5a
leaq 0x2ae40(%rip), %rax     # 0x39a60
cmpl $0x0, (%rax)
jne 0xec5a
leaq 0x2b070(%rip), %rax     # 0x39c9c
cmpl $0x0, (%rax)
jne 0xec5a
leaq 0x1845c(%rip), %rdx     # 0x27094
movq %rbx, %rsi
callq 0xc45d
leaq 0x16f4b(%rip), %rsi     # 0x25b92
movq %rbx, %rdi
callq 0x42c0
testq %rax, %rax
je 0xec5a
incl 0x3753a(%rip)           # 0x46194
popq %rbx
movb $0x0, 0x2f98e(%rip)     # 0x3e5f0
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: x_scopetab
void
x_scopetab(scopetab_t *that, FILE *fpp, char *want)
{	scopetab_t *z;
	int j;

	if (that->htab && that->level > 3)
	for (z = that->parent; z; z = z->parent)
		if (z->owner && strcmp(z->owner, "-") != 0
		&&  z->owner_t == TN_FUNC_DEF
		&&  strcmp(z->owner, want) == 0)
		{	x_hashtab(that->htab, fpp);
			break;
		}

	for (j=0; j < that->nchild; j++)
		x_scopetab(that->children[j], fpp, want);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movq %rsi, %r14
movq %rdi, %r15
movq 0x8(%rdi), %rax
movq %rax, (%rsp)
testq %rax, %rax
je 0xecd5
cmpl $0x4, 0x4(%r15)
jl 0xecd5
movq 0x10(%r15), %r12
testq %r12, %r12
je 0xecd5
leaq 0x15e00(%rip), %r13     # 0x24a9b
movq 0x18(%r12), %rbp
testq %rbp, %rbp
je 0xeccb
movq %rbp, %rdi
movq %r13, %rsi
callq 0x41b0
testl %eax, %eax
je 0xeccb
cmpl $0x1, 0x20(%r12)
jne 0xeccb
movq %rbp, %rdi
movq %rbx, %rsi
callq 0x41b0
testl %eax, %eax
je 0xed0d
movq 0x10(%r12), %r12
testq %r12, %r12
jne 0xec9b
cmpl $0x0, 0x28(%r15)
jle 0xecfe
xorl %r12d, %r12d
movq 0x30(%r15), %rax
movq (%rax,%r12,8), %rdi
movq %r14, %rsi
movq %rbx, %rdx
callq 0xec63
incq %r12
movslq 0x28(%r15), %rax
cmpq %rax, %r12
jl 0xecdf
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq (%rsp), %rdi
movq %r14, %rsi
callq 0x14a5c
jmp 0xecd5
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: ax_doprops
void
ax_doprops(FILE *fd, scopetab_t *that)
{	Ax_Props *p;

	if (ax_prop_nr == 0) return;

	ax_fixed(fd);

	for (p = all_props; p; p = p->nxt)
	{	ax_decorate(that, p->n);	/* redundant? */
		ax_proposition(fd, p);
	}
}

// Assembly:
cmpl $0x0, 0x3869e(%rip)     # 0x473c0
je 0xed62
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
callq 0x1475b
movq 0x3868d(%rip), %r15     # 0x473c8
testq %r15, %r15
je 0xed5d
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq 0x14975
movq %r14, %rdi
movq %r15, %rsi
callq 0x146b7
movq 0x20(%r15), %r15
jmp 0xed3b
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: def_inc_spn
void
def_inc_spn(FILE *fd)
{	NameL *nl;

	for (nl = namel; nl; nl = nl->nxt)
		if (strstr(nl->nm, ".pml"))
			fprintf(fd, "#include \"%s\"\n", nl->nm);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq 0x2f67f(%rip), %r13     # 0x3e5d8
testq %r13, %r13
je 0xef9c
movq %rdi, %rbx
leaq 0x16629(%rip), %r14     # 0x25591
leaq 0x16627(%rip), %r15     # 0x25596
movq (%r13), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0x42c0
testq %rax, %rax
je 0xef93
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rdx
xorl %eax, %eax
callq 0x41c0
movq 0x10(%r13), %r13
testq %r13, %r13
jne 0xef6f
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: new_globchan
void
new_globchan(char *s)
{	NameL *nl;

	nl = (NameL *) e_malloc(sizeof(NameL));
	nl->nm = (char *) e_malloc(strlen(s)+1);
	strcpy(nl->nm, s);
	nl->nxt = globchans;
	globchans = nl;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x18, %edi
callq 0x6469
movq %rax, %r14
movq %rbx, %rdi
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6469
movq %rax, (%r14)
movq %rax, %rdi
movq %rbx, %rsi
callq 0x40b0
movq 0x30691(%rip), %rax     # 0x3f670
movq %rax, 0x10(%r14)
movq %r14, 0x30686(%rip)     # 0x3f670
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: add_imported
void
add_imported(char *p, char *q, int mustgenerate)
{	Spress *s;

	for (s = spress; s; s = s->nxt)
	{	if (strcmp(p, s->vn) == 0
		&&  strcmp(q, s->pn) == 0)
		{	return;
	}	}

	s = (Spress *) e_malloc(sizeof(Spress));
	s->vn = (char *) e_malloc(strlen(p)+1);
	s->pn = (char *) e_malloc(strlen(q)+1);
	strcpy(s->vn, p);
	strcpy(s->pn, q);
	s->hit = 0;
	s->mustgen = mustgenerate;
	s->nxt = spress;
	spress = s;

	if (strcmp(p, "_all_") == 0
	&&  strcmp(q, "_all_") == 0)
	{	import_all++;
	}

if (0) fprintf(stderr, "add imported %s %s %d\n", p, q, mustgenerate);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movl %edx, %ebp
movq %rsi, %rbx
movq %rdi, %r14
movq 0x3055b(%rip), %r15     # 0x3fa90
testq %r15, %r15
je 0xf563
movq (%r15), %rsi
movq %r14, %rdi
callq 0x41b0
testl %eax, %eax
jne 0xf55d
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq 0x41b0
testl %eax, %eax
je 0xf5f8
movq 0x20(%r15), %r15
jmp 0xf535
movl $0x28, %edi
callq 0x6469
movq %rax, %r15
movq %r14, %rdi
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6469
movq %rax, (%r15)
movq %rbx, %rdi
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6469
movq %rax, 0x8(%r15)
movq (%r15), %rdi
movq %r14, %rsi
callq 0x40b0
movq 0x8(%r15), %rdi
movq %rbx, %rsi
callq 0x40b0
movl $0x0, 0x10(%r15)
movl %ebp, 0x14(%r15)
movq 0x304cf(%rip), %rax     # 0x3fa90
movq %rax, 0x20(%r15)
movq %r15, 0x304c4(%rip)     # 0x3fa90
leaq 0x15348(%rip), %rsi     # 0x2491b
movq %r14, %rdi
callq 0x41b0
testl %eax, %eax
jne 0xf5f8
leaq 0x15335(%rip), %rsi     # 0x2491b
movq %rbx, %rdi
callq 0x41b0
testl %eax, %eax
jne 0xf5f8
incl 0x3048c(%rip)           # 0x3fa84
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: do_parameters
void
do_parameters(void)
{	Fcts *g;
	char *z;
	char xx[128];

	if (suppress || globals_only)
	{	return;
	}

	for (g = modex_locals; g; g = g->nxt)
	{	if (g->fc == 2 && strcmp(fct_name, g->tg) == 0)
		{	if (!spintype(g->dt, g->full?g->full:g->nm))
			{	/* at least one param not spin mappable */
				if (Verbose)
				{	fprintf(stderr, "params of %s converted to local vars\n",
						g->tg);
				}
				return;
	}	}	}

	for (g = modex_locals; g; g = g->nxt)
	{	if (strcmp(fct_name, g->tg) == 0
		&&  g->fc == 2)	/* spin-mappable formal params */
		{	z = spintype(g->dt, g->full?g->full:g->nm);
			if (z)
			{	if (did_parameters)
				{	vis_direct(", ");
				}
				if (strcmp(wanttype, "inline") == 0)
				{	sprintf(xx, "%s", g->full?g->full:g->nm);
				} else
				{	sprintf(xx, "%s %s", z, g->full?g->full:g->nm);
				}
				vis_direct(xx);
				did_parameters = 1;
	}	}	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
leaq 0x2a695(%rip), %rax     # 0x39cb0
leaq 0x2a66a(%rip), %rcx     # 0x39c8c
movl (%rcx), %ecx
orl (%rax), %ecx
jne 0xf766
movq 0x2cd8d(%rip), %r15     # 0x3c3c0
testq %r15, %r15
je 0xf680
leaq 0x27d41(%rip), %rbx     # 0x37380
cmpl $0x2, 0x30(%r15)
jne 0xf677
movq 0x8(%r15), %r14
movq %rbx, %rdi
movq %r14, %rsi
callq 0x41b0
testl %eax, %eax
jne 0xf677
movq 0x18(%r15), %rsi
testq %rsi, %rsi
jne 0xf665
movq (%r15), %rsi
movq 0x10(%r15), %rdi
callq 0xe09e
testq %rax, %rax
je 0xf778
movq 0x38(%r15), %r15
testq %r15, %r15
jne 0xf63f
movq 0x2cd39(%rip), %r12     # 0x3c3c0
testq %r12, %r12
je 0xf766
leaq 0x27ce9(%rip), %rbx     # 0x37380
leaq 0x27b0a(%rip), %r13     # 0x371a8
leaq 0x14c15(%rip), %r14     # 0x242ba
movq %rsp, %r15
movq 0x8(%r12), %rsi
movq %rbx, %rdi
callq 0x41b0
testl %eax, %eax
jne 0xf758
cmpl $0x2, 0x30(%r12)
jne 0xf758
movq 0x18(%r12), %rsi
testq %rsi, %rsi
jne 0xf6d7
movq (%r12), %rsi
movq 0x10(%r12), %rdi
callq 0xe09e
testq %rax, %rax
je 0xf758
movq %rax, %rbp
cmpl $0x0, 0x30390(%rip)     # 0x3fa80
je 0xf6fe
leaq 0x15b19(%rip), %rdi     # 0x25212
callq 0xebec
movq (%r13), %rdi
movq %r14, %rsi
callq 0x41b0
movq 0x18(%r12), %rcx
testl %eax, %eax
je 0xf732
testq %rcx, %rcx
jne 0xf71c
movq (%r12), %rcx
movq %r15, %rdi
leaq 0x1602a(%rip), %rsi     # 0x25750
movq %rbp, %rdx
xorl %eax, %eax
callq 0x4290
jmp 0xf746
testq %rcx, %rcx
jne 0xf73b
movq (%r12), %rcx
movq %r15, %rdi
movq %rcx, %rsi
callq 0x40b0
movq %r15, %rdi
callq 0xebec
movl $0x1, 0x30328(%rip)     # 0x3fa80
movq 0x38(%r12), %r12
testq %r12, %r12
jne 0xf6a8
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x2a2ed(%rip), %rax     # 0x39a6c
cmpl $0x0, (%rax)
je 0xf766
movq 0x2786d(%rip), %rax     # 0x36ff8
movq (%rax), %rdi
leaq 0x15f95(%rip), %rsi     # 0x2572a
movq %r14, %rdx
xorl %eax, %eax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x41c0
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: map_type
int
map_type(char *s, symentry_t *nmtbl)
{	Fcts *f = (Fcts *) 0;
	int ret_val = 0;	/* 0 = undefined */

	if (nmtbl->kind == ENUM_CONST_ENTRY && is_constant(s))
	{	ret_val = 3;	/* same as hidden */
		goto done;
	}

	if (nmtbl->kind != VARDECL_ENTRY)
		goto shortcut;
	/* else its a typedef, structname, fctname, labelname */

	/* local */
	for (f = modex_locals; f; f = f->nxt)
	{	if (strcmp(s, f->nm) == 0
		&&  strcmp(fct_name, f->tg) == 0)
		{	if (strcmp(fct_name, want) == 0)
				f->wanted = 1;
			if (!imported(s, f->tg, 0))
				ret_val = 3;
			else
				ret_val = 1;
			goto done;
	}	}

	/* global */
	for (f = modex_globals; f; f = f->nxt)
	{	if (strcmp(s, f->nm) == 0)
		{	if (!imported(s, "Global", 0))
				ret_val = 3;
			else
				ret_val = 2;
			goto done;
	}	}
shortcut:
	/* hidden */
	for (f = modex_hidden; f; f = f->nxt)
	{	if (strcmp(f->dt, "Global") != 0	/* structure member */
		&&  strcmp(s, f->nm) == 0)
		{	ret_val = 3;
			goto done;
	}	}

done:
#if 0
	if (visu && check_type && ret_val)
	{	if (f				/* was missing, found by uno 10/18/01 */
		&&  strcmp(f->dt, "int") != 0
		&&  strcmp(f->dt, "int ") != 0
		&&  strcmp(f->dt, "short") != 0
		&&  strcmp(f->dt, "short ") != 0)
		{	fprintf(stderr, "%s: %d: error, return var %s must be int (saw %s)\n",
				progname, f->lno, s, f->dt);
	}	}
#endif
	return ret_val;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
cmpl $0x4, (%rsi)
jne 0xfb6a
movq %rbx, %rdi
callq 0x76fc
movl $0x3, %ebp
testl %eax, %eax
jne 0xfc79
cmpl $0x3, (%r14)
jne 0xfbd6
movq 0x2c849(%rip), %r12     # 0x3c3c0
testq %r12, %r12
je 0xfbb5
leaq 0x277fd(%rip), %r14     # 0x37380
movq (%r12), %rsi
movq %rbx, %rdi
callq 0x41b0
testl %eax, %eax
jne 0xfbab
movq 0x8(%r12), %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0x41b0
testl %eax, %eax
je 0xfc3b
movq 0x38(%r12), %r12
testq %r12, %r12
jne 0xfb83
movq 0x2c7fc(%rip), %r14     # 0x3c3b8
testq %r14, %r14
je 0xfbd6
movq (%r14), %rsi
movq %rbx, %rdi
callq 0x41b0
testl %eax, %eax
je 0xfc20
movq 0x38(%r14), %r14
jmp 0xfbbc
movq 0x2c7c3(%rip), %r15     # 0x3c3a0
xorl %ebp, %ebp
testq %r15, %r15
je 0xfc79
leaq 0x134c7(%rip), %r14     # 0x230b6
movq 0x10(%r15), %rdi
movq %r14, %rsi
callq 0x41b0
testl %eax, %eax
je 0xfc0e
movq (%r15), %rsi
movq %rbx, %rdi
callq 0x41b0
testl %eax, %eax
je 0xfc19
movq 0x38(%r15), %r15
testq %r15, %r15
jne 0xfbef
jmp 0xfc79
movl $0x3, %ebp
jmp 0xfc79
leaq 0x1348f(%rip), %rsi     # 0x230b6
xorl %ebp, %ebp
movq %rbx, %rdi
xorl %edx, %edx
callq 0xe686
cmpl $0x1, %eax
adcl $0x2, %ebp
jmp 0xfc79
leaq 0x27556(%rip), %rax     # 0x37198
movq (%rax), %rsi
leaq 0x27734(%rip), %rdi     # 0x37380
callq 0x41b0
testl %eax, %eax
jne 0xfc5e
movl $0x1, 0x28(%r12)
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0xe686
xorl %ecx, %ecx
testl %eax, %eax
sete %cl
leal 0x1(,%rcx,2), %ebp
movl %ebp, %eax
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: dump_substitute
void
dump_substitute(FILE *fd)
{	Fcts *f;
	for (f = maps; f; f = f->nxt)
	{	if (f->level > 0)
			continue;
		if (f->tg)
			fprintf(fd, "Substitute	%s	%s\n", f->nm, f->tg);
		else
			fprintf(fd, "Substitute	%s\n", f->nm);
	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq 0x2c705(%rip), %r12     # 0x3c398
testq %r12, %r12
je 0xfce2
movq %rdi, %rbx
leaq 0x15bb6(%rip), %r14     # 0x25858
leaq 0x15b9d(%rip), %r15     # 0x25846
cmpl $0x0, 0x2c(%r12)
jg 0xfcd8
movq (%r12), %rdx
movq 0x8(%r12), %rcx
movq %rbx, %rdi
testq %rcx, %rcx
je 0xfcce
movq %r15, %rsi
xorl %eax, %eax
callq 0x41c0
jmp 0xfcd8
movq %r14, %rsi
xorl %eax, %eax
callq 0x41c0
movq 0x38(%r12), %r12
testq %r12, %r12
jne 0xfca9
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: via_substitute
void
via_substitute(char *into, char *z)
{	char *q, nbuf[BigEnough];
	Fcts *f;
if (0) fprintf(stderr, "via_sub '%s'\n", into);
	strcpy(into, z);

	if (in_args)
	{	q = z;
		while (*q == ' ')
			q++;
		if (strncmp(q, "void", strlen("void")) == 0)
		{	q += strlen("void");
			while (*q == ' ' || *q == '*')
				q++;
			if (*q == '\0')
			{	strcpy(into, "");
				return;	/* e.g.: main(void *) */
		}	}
	}

	for (f = maps; f; f = f->nxt)
	while ((q = strstr(into, f->nm)) != NULL)
	{	*q = '\0';
		strcpy(nbuf, into);
		if (f->tg) strcat(nbuf, f->tg);
		strcat(nbuf, &q[strlen(f->nm)]);
		strcpy(into, nbuf);
	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x1008, %rsp           # imm = 0x1008
movq %rsi, %r14
movq %rdi, %rbx
callq 0x40b0
cmpl $0x0, 0x2c69e(%rip)     # 0x3c3ac
je 0xfd59
decq %r14
cmpb $0x20, 0x1(%r14)
leaq 0x1(%r14), %r14
je 0xfd13
leaq 0x15363(%rip), %rsi     # 0x25088
movl $0x4, %edx
movq %r14, %rdi
callq 0x40a0
testl %eax, %eax
jne 0xfd59
addq $0x4, %r14
movzbl (%r14), %eax
cmpl $0x20, %eax
je 0xfd48
cmpl $0x2a, %eax
jne 0xfd4d
incq %r14
jmp 0xfd3a
testl %eax, %eax
jne 0xfd59
movb $0x0, (%rbx)
jmp 0xfddd
movq 0x2c638(%rip), %r12     # 0x3c398
testq %r12, %r12
je 0xfddd
movq %rsp, %r14
movq (%r12), %rsi
movq %rbx, %rdi
callq 0x42c0
testq %rax, %rax
je 0xfdd3
movq %rax, %r15
movb $0x0, (%r15)
movq %r14, %rdi
movq %rbx, %rsi
callq 0x40b0
movq 0x8(%r12), %rsi
testq %rsi, %rsi
je 0xfd9d
movq %r14, %rdi
callq 0x4280
movq (%r12), %rdi
callq 0x4110
addq %rax, %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0x4280
movq %rbx, %rdi
movq %r14, %rsi
callq 0x40b0
movq (%r12), %rsi
movq %rbx, %rdi
callq 0x42c0
movq %rax, %r15
testq %rax, %rax
jne 0xfd7c
movq 0x38(%r12), %r12
testq %r12, %r12
jne 0xfd68
addq $0x1008, %rsp           # imm = 0x1008
popq %rbx
popq %r12
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: add_external
void
add_external(char *p, char *q)
{	Spress *s;

	for (s = externals; s; s = s->nxt)
		if (strcmp(p, s->vn) == 0
		&&  strcmp(q, s->pn) == 0)
			return;
	s = (Spress *) e_malloc(sizeof(Spress));
	s->vn = (char *) e_malloc(strlen(p)+1);
	s->pn = (char *) e_malloc(strlen(q)+1);
	strcpy(s->vn, p);
	strcpy(s->pn, q);
	s->hit = 0;
	s->nxt = externals;
	externals = s;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %rbx
movq %rdi, %r14
movq 0x2fc9a(%rip), %r15     # 0x3fa98
testq %r15, %r15
je 0xfe28
movq (%r15), %rsi
movq %r14, %rdi
callq 0x41b0
testl %eax, %eax
jne 0xfe22
movq 0x8(%r15), %rsi
movq %rbx, %rdi
callq 0x41b0
testl %eax, %eax
je 0xfe8d
movq 0x20(%r15), %r15
jmp 0xfdfe
movl $0x28, %edi
callq 0x6469
movq %rax, %r15
movq %r14, %rdi
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6469
movq %rax, (%r15)
movq %rbx, %rdi
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6469
movq %rax, 0x8(%r15)
movq (%r15), %rdi
movq %r14, %rsi
callq 0x40b0
movq 0x8(%r15), %rdi
movq %rbx, %rsi
callq 0x40b0
movl $0x0, 0x10(%r15)
movq 0x2fc16(%rip), %rax     # 0x3fa98
movq %rax, 0x20(%r15)
movq %r15, 0x2fc0b(%rip)     # 0x3fa98
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: nextarg
char*
nextarg(char *p)
{
	while (*p && /* *p != ' ' && */ *p != '\t')
		p++;
	while (*p == ' ' || *p == '\t')
		*p++ = 0;
	return p;
}

// Assembly:
movq %rdi, %rax
movzbl (%rax), %ecx
cmpl $0x9, %ecx
je 0xfead
testl %ecx, %ecx
je 0xfead
incq %rax
jmp 0xfe96
movb $0x0, (%rax)
incq %rax
movzbl (%rax), %ecx
cmpl $0x20, %ecx
je 0xfea7
cmpl $0x9, %ecx
je 0xfea7
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: add_constants
void
add_constants(char *p)
{	char *q;

	q = nextarg(p);
	if (*q != '\0')
		add_constants(q);
	add_constant(p, 1);
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0xfed6
testl %eax, %eax
je 0xfed6
incq %rdi
jmp 0xfebf
movb $0x0, (%rdi)
incq %rdi
movzbl (%rdi), %eax
cmpl $0x9, %eax
je 0xfed0
cmpl $0x20, %eax
je 0xfed0
testl %eax, %eax
je 0xfeec
callq 0xfebb
movq %rbx, %rdi
movl $0x1, %esi
popq %rbx
jmp 0x7682
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: notimported
void
notimported(FILE *fd)
{	Spress *s;

	for (s = spress; s; s = s->nxt)
		if (!s->hit
		&&  !strstr(s->pn, "Global"))	/* covers unused global declarations */
			fprintf(fd, "Redundant: Import %s %s\n", s->vn, s->pn); 
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq 0x2fb86(%rip), %r13     # 0x3fa90
testq %r13, %r13
je 0xff58
movq %rdi, %rbx
leaq 0x1319d(%rip), %r14     # 0x230b6
leaq 0x15947(%rip), %r15     # 0x25867
cmpl $0x0, 0x10(%r13)
jne 0xff4f
movq 0x8(%r13), %r12
movq %r12, %rdi
movq %r14, %rsi
callq 0x42c0
testq %rax, %rax
jne 0xff4f
movq (%r13), %rdx
movq %rbx, %rdi
movq %r15, %rsi
movq %r12, %rcx
xorl %eax, %eax
callq 0x41c0
movq 0x20(%r13), %r13
testq %r13, %r13
jne 0xff20
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: read_more
void
read_more(FILE *fd, char *buf)
{	char *p, more[1024];


	while (fgets(more, 1024, fd))
	{	buf[strlen(buf)-1] = '\0';
		p = &more[strlen(more)-1];

		while (*p == '\n'
		||     *p == '\r'
		||     *p == '\t'
		||     *p == ' ')
			*p-- = '\0';

		p = &more[0];
		while (*p == ' ' || *p == '\t')
			p++;

		strcat(buf, " ");
		strcat(buf, p);
		if (buf[strlen(buf)-1] != '\\')
			break;
	}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x400, %rsp            # imm = 0x400
movq %rsi, %rbx
movq %rdi, %r14
movq %rsp, %r15
movabsq $0x100002600, %r13      # imm = 0x100002600
movq %r15, %rdi
movl $0x400, %esi            # imm = 0x400
movq %r14, %rdx
callq 0x41a0
testq %rax, %rax
je 0x1000f
movq %rbx, %rdi
callq 0x4110
movb $0x0, -0x1(%rbx,%rax)
movq %r15, %rdi
callq 0x4110
addq %r15, %rax
decq %rax
movzbl (%rax), %ecx
cmpq $0x20, %rcx
ja 0xffcc
btq %rcx, %r13
jae 0xffcc
movb $0x0, (%rax)
decq %rax
jmp 0xffb5
movq %r15, %r12
movzbl (%r12), %eax
cmpl $0x20, %eax
je 0xffde
cmpl $0x9, %eax
jne 0xffe3
incq %r12
jmp 0xffcf
movq %rbx, %rdi
callq 0x4110
movw $0x20, (%rbx,%rax)
movq %rbx, %rdi
movq %r12, %rsi
callq 0x4280
movq %rbx, %rdi
callq 0x4110
cmpb $0x5c, -0x1(%rbx,%rax)
je 0xff85
addq $0x400, %rsp            # imm = 0x400
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: get_defaults
void
get_defaults(char *lut)
{	Cache *c;

	for (c = cache; c; c = c->nxt)
		c->hit |= 5;		/* mark */

	if (ulut)
	{	get_lut("", ulut);	/* once */
		ulut = 0;
	}

	Down++;
	if (strcmp(lut, GLOBAL_LUT) != 0)
		get_lut("", GLOBAL_LUT);
	Down++;
	get_lut("", DEFAULT_LUT);	/* loaded last - lowest priority */

	Down -= 2;

	for (c = cache; c; c = c->nxt)
	{	if (c->hit & 5)
			c->hit &= ~5;	/* unmark */
		else
			c->hit = 1;	/* consider hit */
	}
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq 0x2eaa2(%rip), %rax     # 0x3faa8
testq %rax, %rax
je 0x11015
orb $0x5, 0x14(%rax)
movq 0x20(%rax), %rax
jmp 0x11006
leaq 0x28c84(%rip), %r14     # 0x39ca0
movq (%r14), %rsi
testq %rsi, %rsi
je 0x11037
leaq 0x16069(%rip), %rdi     # 0x27094
callq 0x10020
movq $0x0, (%r14)
incl 0x2b343(%rip)           # 0x3c380
leaq 0x14a5e(%rip), %rsi     # 0x25aa2
movq %rbx, %rdi
callq 0x41b0
testl %eax, %eax
je 0x11063
leaq 0x1603d(%rip), %rdi     # 0x27094
leaq 0x14a44(%rip), %rsi     # 0x25aa2
callq 0x10020
incl 0x2b317(%rip)           # 0x3c380
leaq 0x16024(%rip), %rdi     # 0x27094
leaq 0x14a37(%rip), %rsi     # 0x25aae
callq 0x10020
addl $-0x2, 0x2b2fd(%rip)    # 0x3c380
movq 0x2ea1e(%rip), %rax     # 0x3faa8
testq %rax, %rax
je 0x110ae
movl $0x1, %ecx
movl 0x14(%rax), %edx
movl %edx, %esi
andl $-0x6, %esi
testb $0x5, %dl
cmovel %ecx, %esi
movl %esi, 0x14(%rax)
movq 0x20(%rax), %rax
testq %rax, %rax
jne 0x11094
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: add_padding
void
add_padding(FILE *lf, char *s)
{	int j;
	j = strlen(s);
	if (j < 40) fprintf(lf, "\t");
	if (j < 32) fprintf(lf, "\t");
	if (j < 24) fprintf(lf, "\t");
	if (j < 16) fprintf(lf, "\t");
	if (j <  8) fprintf(lf, "\t");
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq %rsi, %rdi
callq 0x4110
movq %rax, %r14
cmpl $0x27, %r14d
jg 0x110db
movl $0x9, %edi
movq %rbx, %rsi
callq 0x4190
cmpl $0x1f, %r14d
jg 0x110ee
movl $0x9, %edi
movq %rbx, %rsi
callq 0x4190
cmpl $0x17, %r14d
jg 0x11101
movl $0x9, %edi
movq %rbx, %rsi
callq 0x4190
cmpl $0xf, %r14d
jg 0x11114
movl $0x9, %edi
movq %rbx, %rsi
callq 0x4190
cmpl $0x7, %r14d
jg 0x1112e
movl $0x9, %edi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x4190
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: check_lut
void
check_lut(FILE *fd)
{	Cache *c;
	int identified = 0;

	if (!cache)
		fprintf(fd, "%s: empty lookup table\n", progname);

	for (c = cache; c; c = c->nxt)
		if (!c->hit)
		{	if (!identified)
			{	fprintf(fd, "<%s>:\n", want);
				identified = 1;
			}
			fprintf(fd, "Redundant: %s\t%s\n",
				c->s, c->t);
		}
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
movq %rdi, %rbx
cmpq $0x0, 0x2e790(%rip)     # 0x3faa8
jne 0x11335
leaq 0x25e6f(%rip), %rax     # 0x37190
movq (%rax), %rdx
leaq 0x147f6(%rip), %rsi     # 0x25b21
movq %rbx, %rdi
xorl %eax, %eax
callq 0x41c0
movq 0x2e76c(%rip), %r12     # 0x3faa8
testq %r12, %r12
je 0x1139a
leaq 0x25e50(%rip), %r13     # 0x37198
leaq 0x147ea(%rip), %r14     # 0x25b39
leaq 0x147ea(%rip), %r15     # 0x25b40
xorl %eax, %eax
cmpl $0x0, 0x14(%r12)
jne 0x11390
testl %eax, %eax
jne 0x11375
movq (%r13), %rdx
movq %rbx, %rdi
movq %r14, %rsi
xorl %eax, %eax
callq 0x41c0
movq (%r12), %rdx
movq 0x8(%r12), %rcx
movq %rbx, %rdi
movq %r15, %rsi
xorl %eax, %eax
callq 0x41c0
movl $0x1, %eax
movq 0x20(%r12), %r12
testq %r12, %r12
jne 0x11358
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: modex_mark
void
modex_mark(treenode *n, int how)
{
	if (!n || !n->hdr.defuse) return;

	if (Verbose&2)
	{	sprintf(tbuf, " /* [%d] ", how);
		vis_direct(tbuf);
		dump_defuse(n->hdr.defuse, 0, stdout);
	}
	mark_defs(n->hdr.defuse, how, stderr);

	if (Verbose&2) vis_direct(" */ ");
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
testq %rdi, %rdi
je 0x11426
movq %rdi, %r14
cmpq $0x0, 0x20(%rdi)
je 0x11426
movl %esi, %ebx
leaq 0x286a0(%rip), %r12     # 0x39a6c
testb $0x2, (%r12)
je 0x1140a
leaq 0x2d216(%rip), %r15     # 0x3e5f0
leaq 0x14771(%rip), %rsi     # 0x25b52
movq %r15, %rdi
movl %ebx, %edx
xorl %eax, %eax
callq 0x4290
movq %r15, %rdi
callq 0xebec
movq 0x20(%r14), %rdi
movq 0x25bd0(%rip), %rax     # 0x36fd0
movq (%rax), %rdx
xorl %esi, %esi
callq 0x1ee4c
movq 0x20(%r14), %rdi
movq 0x25be3(%rip), %rax     # 0x36ff8
movq (%rax), %rdx
movl %ebx, %esi
callq 0x1ed45
testb $0x2, (%r12)
jne 0x11432
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
retq
leaq 0x1490b(%rip), %rdi     # 0x25d44
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0xebec
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: form_c_tag
char *
form_c_tag(char *frst, int i, char *lst)
{	char *p;
	int j = strlen(frst)+strlen(OutBuf)-i+strlen(lst)+strlen(" }")+1;
	p = (char *) e_malloc(j*sizeof(char));
	sprintf(p, "%s%s%s }", frst, &OutBuf[i], lst);
	return p;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdx, %rbx
movl %esi, %ebp
movq %rdi, %r14
callq 0x4110
movq %rax, %r12
leaq 0x28f05(%rip), %r15     # 0x3a370
movq %r15, %rdi
callq 0x4110
movq %rax, %r13
movslq %ebp, %rbp
movq %rbx, %rdi
callq 0x4110
subl %ebp, %r12d
addl %r12d, %r13d
leal (%rax,%r13), %edi
addl $0x3, %edi
callq 0x6469
movq %rax, %r12
addq %rbp, %r15
leaq 0x146bc(%rip), %rsi     # 0x25b5c
movq %rax, %rdi
movq %r14, %rdx
movq %r15, %rcx
movq %rbx, %r8
xorl %eax, %eax
callq 0x4290
movq %r12, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: do_mine
void
do_mine(SymList *s)
{	char mine[BigEnough];
	if (s->mark)
	{	sprintf(mine, "	%s = %s | %d;\n",
			s->sm->nme->str,
			s->sm->nme->str,
			s->mark&(DEF|USE|
			FCALL|REF0|REF1|REF2|DEREF|
			ALIAS|ARRAY_DECL|HIDE|DECL|
			USEafterdef|USEbeforedef|PARAM));
		vis_direct(mine);
	}
}

// Assembly:
movl 0x4(%rdi), %r8d
testl %r8d, %r8d
je 0x11510
pushq %rbx
subq $0x1000, %rsp           # imm = 0x1000
movq 0x8(%rdi), %rax
movq 0x8(%rax), %rax
movq 0x8(%rax), %rcx
andl $0x3fff, %r8d           # imm = 0x3FFF
leaq 0x14675(%rip), %rsi     # 0x25b65
movq %rsp, %rbx
movq %rbx, %rdi
movq %rcx, %rdx
xorl %eax, %eax
callq 0x4290
movq %rbx, %rdi
callq 0xebec
addq $0x1000, %rsp           # imm = 0x1000
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: do_dumode
char *
do_dumode(treenode *n)
{	SymList *s;

	if (in_call || in_args || in_pars)
		goto out;

	if (!n)
	{	vis_direct("/* --no node-- */\n");
		abort();
	} else
	{	if (!n->hdr.defuse)
			return "comment";
	}

	for (s = n->hdr.defuse->def; s; s = s->nxt)
		do_mine(s);
	for (s = n->hdr.defuse->use; s; s = s->nxt)
		do_mine(s);
	for (s = n->hdr.defuse->other; s; s = s->nxt)
		do_mine(s);
out:
	return "comment";
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
cmpl $0x0, 0x2ae8c(%rip)     # 0x3c3a8
jne 0x1158e
cmpl $0x0, 0x2ae87(%rip)     # 0x3c3ac
jne 0x1158e
cmpl $0x0, 0x2e58e(%rip)     # 0x3fabc
jne 0x1158e
movq %rdi, %rbx
testq %rdi, %rdi
je 0x1159d
movq 0x20(%rbx), %rax
testq %rax, %rax
je 0x1158e
movq 0x8(%rax), %r14
testq %r14, %r14
je 0x11558
movq %r14, %rdi
callq 0x114c5
movq 0x10(%r14), %r14
jmp 0x11545
movq 0x20(%rbx), %rax
movq 0x10(%rax), %r14
testq %r14, %r14
je 0x11573
movq %r14, %rdi
callq 0x114c5
movq 0x10(%r14), %r14
jmp 0x11560
movq 0x20(%rbx), %rax
movq 0x18(%rax), %rbx
testq %rbx, %rbx
je 0x1158e
movq %rbx, %rdi
callq 0x114c5
movq 0x10(%rbx), %rbx
jmp 0x1157b
leaq 0x19049(%rip), %rax     # 0x2a5de
addq $0x8, %rsp
popq %rbx
popq %r14
retq
leaq 0x145d1(%rip), %rdi     # 0x25b75
callq 0xebec
callq 0x4060
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: replace_lut
static void
replace_lut(char *r, char *t)
{	Cache *c;

	for (c = cache; c; c = c->nxt)
		if (strcmp(c->s, r) == 0
		&&  strlen(c->s) == strlen(r))
		{	c->t = (char *) e_malloc(strlen(t)+1);
			if (Verbose&2)
				printf("%s: replacing %s -> %s -> %s\n", progname, r, c->t, t);
			strcpy(c->t, t);
			return;
		}

	printf("%s: no lut entry for %s\n", progname, r);
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %r14
movq 0x2de2d(%rip), %r12     # 0x3faa8
testq %r12, %r12
je 0x11cb8
movq %rsi, %rbx
movq (%r12), %r15
movq %r15, %rdi
movq %r14, %rsi
callq 0x41b0
testl %eax, %eax
jne 0x11cae
movq %r15, %rdi
callq 0x4110
movq %rax, %r15
movq %r14, %rdi
callq 0x4110
cmpq %rax, %r15
je 0x11cde
movq 0x20(%r12), %r12
testq %r12, %r12
jne 0x11c83
leaq 0x254d1(%rip), %rax     # 0x37190
movq (%rax), %rsi
leaq 0x148ee(%rip), %rdi     # 0x265b7
movq %r14, %rdx
xorl %eax, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x4140
movq %rbx, %rdi
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6469
movq %rax, 0x8(%r12)
leaq 0x27d72(%rip), %rcx     # 0x39a6c
testb $0x2, (%rcx)
je 0x11d20
leaq 0x2548a(%rip), %rcx     # 0x37190
movq (%rcx), %rsi
leaq 0x14889(%rip), %rdi     # 0x26599
movq %r14, %rdx
movq %rax, %rcx
movq %rbx, %r8
xorl %eax, %eax
callq 0x4140
movq 0x8(%r12), %rdi
movq %rbx, %rsi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x40b0
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: precondition
void
precondition(treenode *n)
{	PreC *p;

	p = (PreC *) e_malloc(sizeof(PreC));
	p->n = n;
	p->nxt = prec;
	prec = p;
if (0) fprintf(fp, "add prec\n");
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
movl $0x10, %edi
callq 0x6469
movq %rbx, (%rax)
movq 0x30f70(%rip), %rcx     # 0x42cf8
movq %rcx, 0x8(%rax)
movq %rax, 0x30f65(%rip)     # 0x42cf8
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: act_prec
void
act_prec(void)
{	PreC *p;
#if 0
	if (!prec)
	{	strcpy(PreBuf, "");
		return;
	}
#endif
if (0) fprintf(fp, "act prec\n");
	strcpy(Rem, OutBuf);	/* save */
	strcpy(OutBuf, "");

	for (p = prec; p; p = p->nxt)
	{	modex_recur(p->n);
		if (p->nxt)
		{	strcat(OutBuf, " && ");
	}	}
	if (strlen(OutBuf) > 0
	&&  strlen(Bounds) > 0)
	{	strcat(OutBuf, " && ");
	}
	strcat(OutBuf, Bounds);

if (0) fprintf(fp, " [[[ (%s) <==> [%s] ]]] ", OutBuf, Rem);

	strcpy(PreBuf, OutBuf);
	strcpy(OutBuf, Rem);	/* restore */
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
leaq 0x30f60(%rip), %rdi     # 0x42d00
leaq 0x285c9(%rip), %rbx     # 0x3a370
movq %rbx, %rsi
callq 0x40b0
movb $0x0, 0x285ba(%rip)     # 0x3a370
movq 0x30f3b(%rip), %r14     # 0x42cf8
testq %r14, %r14
je 0x11deb
movq (%r14), %rdi
callq 0xadf7
cmpq $0x0, 0x8(%r14)
je 0x11de5
movq %rbx, %rdi
callq 0x4110
movl $0x20262620, (%rax,%rbx) # imm = 0x20262620
movb $0x0, 0x4(%rax,%rbx)
movq 0x8(%r14), %r14
jmp 0x11dbd
cmpb $0x0, 0x2857e(%rip)     # 0x3a370
je 0x11e11
cmpb $0x0, 0x2b7d5(%rip)     # 0x3d5d0
je 0x11e11
movq %rbx, %rdi
callq 0x4110
movl $0x20262620, (%rax,%rbx) # imm = 0x20262620
movb $0x0, 0x4(%rax,%rbx)
leaq 0x28558(%rip), %rbx     # 0x3a370
leaq 0x2b7b1(%rip), %rsi     # 0x3d5d0
movq %rbx, %rdi
callq 0x4280
leaq 0x2dca2(%rip), %rdi     # 0x3fad0
movq %rbx, %rsi
callq 0x40b0
leaq 0x30ec3(%rip), %rsi     # 0x42d00
movq %rbx, %rdi
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0x40b0
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: vis_print
void
vis_print(char *nw)
{	char w0[1024], *w1, *w2;

	if (!visu || !nw) return;

	/* avoid modifying the argument, because
	   it could be a fixed string, like "\n"
	   which may be read-only
	 */
	w1 = (char *) w0;
	strncpy(w1, nw, sizeof(w0));
	while ((w2 = strchr(w1, '\n')) != NULL)
	{	*w2 = '\0';
		strcat(OutBuf, w1);
		strcat(OutBuf, "\\");
		strcat(OutBuf, "n");
		*w2 = '\n';
		w1 = ++w2;
	}
	strcat(OutBuf, w1);
}

// Assembly:
testq %rdi, %rdi
je 0x124f4
leaq 0x27582(%rip), %rax     # 0x399c8
cmpl $0x0, (%rax)
je 0x124f4
pushq %r15
pushq %r14
pushq %rbx
subq $0x400, %rsp            # imm = 0x400
movq %rdi, %rsi
movq %rsp, %rbx
movl $0x400, %edx            # imm = 0x400
movq %rbx, %rdi
callq 0x4090
movq %rbx, %rdi
movl $0xa, %esi
callq 0x4130
testq %rax, %rax
je 0x124d9
movq %rax, %r14
movq %rsp, %rbx
leaq 0x27ee3(%rip), %r15     # 0x3a370
movb $0x0, (%r14)
movq %r15, %rdi
movq %rbx, %rsi
callq 0x4280
movq %r15, %rdi
callq 0x4110
movw $0x5c, (%rax,%r15)
movq %r15, %rdi
callq 0x4110
movw $0x6e, (%rax,%r15)
movb $0xa, (%r14)
movq %r14, %rbx
incq %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x4130
movq %rax, %r14
testq %rax, %rax
jne 0x1248d
leaq 0x27e90(%rip), %rdi     # 0x3a370
movq %rbx, %rsi
callq 0x4280
addq $0x400, %rsp            # imm = 0x400
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: vis_indent
void
vis_indent(int tb, char *s)	/* not via lookup table */
{	int j;

	if (!visu) return;

	for (j = tb-taboffset; j > 0; j--)
		vis_direct("  ");

	vis_direct(s);
}

// Assembly:
leaq 0x274cc(%rip), %rax     # 0x399c8
cmpl $0x0, (%rax)
je 0x12536
pushq %rbp
pushq %r14
pushq %rbx
movq %rsi, %rbx
movl %edi, %ebp
subl 0x317fc(%rip), %ebp     # 0x43d0c
jle 0x1252a
incl %ebp
leaq 0x1383c(%rip), %r14     # 0x25d57
movq %r14, %rdi
callq 0xebec
decl %ebp
cmpl $0x1, %ebp
jg 0x1251b
movq %rbx, %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0xebec
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: check_fct
void
check_fct(char *s, int tabs)
{	Fcts *f;

	for (f = fcts; f; f = f->nxt)
		if (strstr(s, f->nm))
		{	vis_indent(tabs, "fct_");
			vis_direct(f->tg);
			vis_direct("();\n");	/* inline call */
			break;
		}
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq 0x29e45(%rip), %r15     # 0x3c388
testq %r15, %r15
je 0x12566
movl %esi, %ebx
movq %rdi, %r14
movq (%r15), %rsi
movq %r14, %rdi
callq 0x42c0
testq %rax, %rax
jne 0x1256c
movq 0x38(%r15), %r15
testq %r15, %r15
jne 0x1254d
popq %rbx
popq %r14
popq %r15
retq
leaq 0x137e7(%rip), %rsi     # 0x25d5a
movl %ebx, %edi
callq 0x124f5
movq 0x8(%r15), %rdi
callq 0xebec
leaq 0x14767(%rip), %rdi     # 0x26cf1
popq %rbx
popq %r14
popq %r15
jmp 0xebec
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: push_dostack
void
push_dostack(treenode *tn)
{	char *nl;

	nl = (char *) e_malloc(16);
	sprintf(nl, "L_%d", do_uniq++);
	DoIncr[do_level] = tn;
	DoLabel[do_level++] = nl;
	vis_direct(nl);
	vis_direct(":\n");
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movl $0x10, %edi
callq 0x6469
movq %rax, %r14
movl 0x31762(%rip), %edx     # 0x43d10
leal 0x1(%rdx), %eax
movl %eax, 0x31759(%rip)     # 0x43d10
leaq 0x137a1(%rip), %rsi     # 0x25d5f
movq %r14, %rdi
xorl %eax, %eax
callq 0x4290
movslq 0x27d99(%rip), %rax     # 0x3a368
leaq 0x3174a(%rip), %rcx     # 0x43d20
movq %rbx, (%rcx,%rax,8)
leal 0x1(%rax), %ecx
movl %ecx, 0x27d85(%rip)     # 0x3a368
leaq 0x31936(%rip), %rcx     # 0x43f20
movq %r14, (%rcx,%rax,8)
movq %r14, %rdi
callq 0xebec
leaq 0x1bd76(%rip), %rdi     # 0x2e373
addq $0x8, %rsp
popq %rbx
popq %r14
jmp 0xebec
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: use_dostack
void
use_dostack(int tabs)
{
	if (do_level < 1 || do_level > MAXLEVEL)
	{	if (preview) return;
		fprintf(stderr, "dolevel error %d\n", do_level);
		exit(1);
	}

	if (DoIncr[do_level-1])
		modex_any(DoIncr[do_level-1], tabs);

	vis_indent(tabs, "goto ");
	vis_direct(DoLabel[do_level-1]);
	vis_direct(";\n");
}

// Assembly:
pushq %rbx
movl %edi, %ebx
movslq 0x27d55(%rip), %rdi     # 0x3a368
leal -0x41(%rdi), %eax
cmpl $-0x41, %eax
ja 0x12629
leaq 0x2740a(%rip), %rax     # 0x39a2c
cmpl $0x0, (%rax)
je 0x12674
popq %rbx
retq
leaq 0x316f0(%rip), %rax     # 0x43d20
movq -0x8(%rax,%rdi,8), %rdi
testq %rdi, %rdi
je 0x12641
movl %ebx, %esi
callq 0x12679
leaq 0x1372e(%rip), %rsi     # 0x25d76
movl %ebx, %edi
callq 0x124f5
movslq 0x27d12(%rip), %rax     # 0x3a368
leaq 0x318c3(%rip), %rcx     # 0x43f20
movq -0x8(%rcx,%rax,8), %rdi
callq 0xebec
leaq 0x14685(%rip), %rdi     # 0x26cf3
popq %rbx
jmp 0xebec
callq 0x4cea
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: push_swstack
void
push_swstack(char *s)
{	char *nl;

	nl = (char *) e_malloc(strlen(s)+1);
	strcpy(nl, s);
	SwLabel[sw_level++] = nl;
	sw_first = 0;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
callq 0x4110
leal 0x1(%rax), %edi
callq 0x6469
movq %rax, %r14
movq %rax, %rdi
movq %rbx, %rsi
callq 0x40b0
movslq 0x2fc08(%rip), %rax     # 0x42cf0
leal 0x1(%rax), %ecx
movl %ecx, 0x2fbff(%rip)     # 0x42cf0
leaq 0x2f9f8(%rip), %rcx     # 0x42af0
movq %r14, (%rcx,%rax,8)
movl $0x0, 0x3101a(%rip)     # 0x44120
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: use_swstack
void
use_swstack(void)
{
	if (sw_level < 0 || sw_level > MAXLEVEL)
	{	fprintf(stderr, "swlevel error\n");
		exit(1);
	}
	vis_print(SwLabel[sw_level-1]);
	sw_first++;
}

// Assembly:
pushq %rax
movslq 0x2fbda(%rip), %rax     # 0x42cf0
cmpq $0x41, %rax
jae 0x13135
leaq 0x2f9cd(%rip), %rcx     # 0x42af0
movq -0x8(%rcx,%rax,8), %rdi
callq 0x12436
incl 0x30fed(%rip)           # 0x44120
popq %rax
retq
callq 0x4dee
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: fputs_metachr
void
fputs_metachr(char c, int in_str)
{	char cstr[2];
	
	if (visu)
	switch (c) {
	case '\'': if (in_str) vis_print("'"); else vis_print("\\'"); break;
	case '"':  if (in_str) vis_print("\\\""); else vis_print("\""); break;
	case '\0': vis_print("\\0"); break;
	case '\\': vis_print("\\\\"); break;
	case '\n': vis_print("\\n"); break;
	case '\t': vis_print("\\t"); break;
	case '\r': vis_print("\\r"); break;
	case '\f': vis_print("\\f"); break;
	case '\b': vis_print("\\b"); break;
	case '\v': vis_print("\\v"); break;
	case '\a': vis_print("\\a"); break;
	default:   cstr[0] = c;
		   cstr[1] = '\0';
		   vis_print(cstr);
		   break;
	}
}

// Assembly:
leaq 0x26876(%rip), %rcx     # 0x399c8
cmpl $0x0, (%rcx)
je 0x13220
pushq %rax
movl %edi, %eax
movsbl %al, %ecx
cmpl $0x21, %ecx
jg 0x1318d
cmpl $0xd, %ecx
ja 0x1320c
movl %ecx, %ecx
leaq 0x11dc0(%rip), %rdx     # 0x24f38
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
jmpq *%rcx
leaq 0x12c09(%rip), %rdi     # 0x25d91
jmp 0x13217
cmpl $0x22, %ecx
je 0x131ed
cmpl $0x5c, %ecx
je 0x13203
cmpl $0x27, %ecx
jne 0x1320c
testl %esi, %esi
leaq 0x12be6(%rip), %rax     # 0x25d8b
leaq 0x1731a(%rip), %rdi     # 0x2a4c6
jmp 0x131fd
leaq 0x1000e(%rip), %rdi     # 0x231c3
jmp 0x13217
leaq 0x12bdf(%rip), %rdi     # 0x25d9d
jmp 0x13217
leaq 0x12bd9(%rip), %rdi     # 0x25da0
jmp 0x13217
leaq 0x12bd6(%rip), %rdi     # 0x25da6
jmp 0x13217
leaq 0x12bbe(%rip), %rdi     # 0x25d97
jmp 0x13217
leaq 0x12bb8(%rip), %rdi     # 0x25d9a
jmp 0x13217
leaq 0x12bb8(%rip), %rdi     # 0x25da3
jmp 0x13217
testl %esi, %esi
leaq 0x1bae3(%rip), %rax     # 0x2ecd9
leaq 0x12b91(%rip), %rdi     # 0x25d8e
cmoveq %rax, %rdi
jmp 0x13217
leaq 0x12b8a(%rip), %rdi     # 0x25d94
jmp 0x13217
leaq 0x6(%rsp), %rdi
movb %al, (%rdi)
movb $0x0, 0x1(%rdi)
callq 0x12436
addq $0x8, %rsp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: fputs_metastr
void
fputs_metastr(char *str)
{
	if (!visu) return;

	while (*str)
	{	fputs_metachr(*str,1);
		str++;
	}
}

// Assembly:
pushq %rbx
leaq 0x2679f(%rip), %rax     # 0x399c8
cmpl $0x0, (%rax)
je 0x13250
movq %rdi, %rbx
movb (%rdi), %al
testb %al, %al
je 0x13250
incq %rbx
movsbl %al, %edi
movl $0x1, %esi
callq 0x1314b
movb (%rbx), %al
incq %rbx
testb %al, %al
jne 0x1323a
popq %rbx
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: saw_variable
void
saw_variable(int ln, int which)
{
if (0) fprintf(stderr, "XXX {%d} '%s' '%s'\n", which, dername, dertype);
	if (strlen(dername) == 0)
	{	strcpy(dername, Ldername);
	}
	if (strlen(dertype) == 0)
	{	strcpy(dertype, Ldertype);
	}

if (0)	fprintf(stderr, "%3d:========name%d: '%s' '%s' '%s' ('%s') [obuf: %s] decor %d\n",
		ln, which, derscope, dertype, dername, derproc, OutBuf, with_decorations);

	if (!with_decorations)
	{	if (strcmp(derscope, "Global") == 0)
		{	add_global(dertype, dername, 1, ln);
		} else
		{	add_local(dertype, dername, derproc, 1, ln, 40);
		}
	} else
	{	if (strcmp(derscope, "Global") == 0)
		{	add_full_global(dertype, dername, 1, ln);
		} else
		{	add_full_local(dertype, dername, derproc, 1, ln);
	}	}

//	strcpy(Ldername, dername);
//	strcpy(Ldertype, dertype);
//	fprintf(stderr, "zap_2222 <%s> %d\n", dername, decl_cnt);
//	strcpy(dername, "");
//	strcpy(dertype, "");
}

// Assembly:
pushq %rbx
movl %edi, %ebx
cmpb $0x0, 0x29152(%rip)     # 0x3c3d0
jne 0x13293
leaq 0x29149(%rip), %rdi     # 0x3c3d0
leaq 0x30ea2(%rip), %rsi     # 0x44130
callq 0x40b0
cmpb $0x0, 0x31096(%rip)     # 0x44330
jne 0x132af
leaq 0x3108d(%rip), %rdi     # 0x44330
leaq 0x31286(%rip), %rsi     # 0x44530
callq 0x40b0
movl $0x626f6c47, %ecx       # imm = 0x626F6C47
xorl 0x31476(%rip), %ecx     # 0x44730
movl $0x6c6162, %edx         # imm = 0x6C6162
xorl 0x3146e(%rip), %edx     # 0x44733
xorl %eax, %eax
orl %ecx, %edx
setne %al
cmpb $0x0, 0x290f5(%rip)     # 0x3c3c8
je 0x132fc
leaq 0x31054(%rip), %rdi     # 0x44330
leaq 0x290ed(%rip), %rsi     # 0x3c3d0
testl %eax, %eax
je 0x13323
leaq 0x31462(%rip), %rdx     # 0x44750
movl $0x1, %ecx
movl %ebx, %r8d
popq %rbx
jmp 0xdd1a
leaq 0x3102d(%rip), %rdi     # 0x44330
leaq 0x290c6(%rip), %rsi     # 0x3c3d0
testl %eax, %eax
je 0x13330
leaq 0x3143b(%rip), %rdx     # 0x44750
movl $0x1, %ecx
movl %ebx, %r8d
popq %rbx
jmp 0xda99
movl $0x1, %edx
movl %ebx, %ecx
popq %rbx
jmp 0xcbbe
movl $0x1, %edx
movl %ebx, %ecx
popq %rbx
jmp 0xca19
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: precomputable
static int
precomputable(treenode *n)
{	int lft, rgt;

	if (!n) return 0;

	switch (n->hdr.tok) {
	case INUM:
		return ((leafnode *) n)->data.ival;
	case B_OR:
		lft = precomputable(n->lnode);
		rgt = precomputable(n->rnode);
		if (!lft || !rgt) return 0;
		return (lft|rgt);
	case B_AND:
		lft = precomputable(n->lnode);
		rgt = precomputable(n->rnode);
		if (!lft || !rgt) return 0;
		return (lft&rgt);
	default:
		fprintf(stderr, "modex: %s:%d unexpected token, precomputable '%s'\n",
			n->hdr.fnm, n->hdr.line, toksym(n->hdr.tok,0));
	case DOT:
	case ARROW:
	case IDENT:
		return 0;
	}
#if 0
	debug_node(n, 1, "");
#endif
	return 0;
}

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
xorl %ebx, %ebx
testq %rdi, %rdi
je 0x133f3
movq %rdi, %r14
movl 0x18(%rdi), %esi
cmpl $0x15f, %esi            # imm = 0x15F
jg 0x133b8
cmpl $0x102, %esi            # imm = 0x102
je 0x133f3
cmpl $0x108, %esi            # imm = 0x108
je 0x133ef
cmpl $0x15e, %esi            # imm = 0x15E
jne 0x133fa
movq 0x30(%r14), %rdi
callq 0x1336d
movl %eax, %ebp
movq 0x38(%r14), %rdi
callq 0x1336d
movl %eax, %ebx
orl %ebp, %ebx
jmp 0x133e3
leal -0x175(%rsi), %eax
cmpl $0x2, %eax
jb 0x133f3
cmpl $0x160, %esi            # imm = 0x160
jne 0x133fa
movq 0x30(%r14), %rdi
callq 0x1336d
movl %eax, %ebp
movq 0x38(%r14), %rdi
callq 0x1336d
movl %eax, %ebx
andl %ebp, %ebx
testl %eax, %eax
cmovel %eax, %ebx
testl %ebp, %ebp
cmovel %ebp, %ebx
jmp 0x133f3
movl 0x30(%r14), %ebx
movl %ebx, %eax
popq %rbx
popq %r14
popq %rbp
retq
movq %r14, %rdi
callq 0x4e54
jmp 0x133f3
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: derive_type
void
derive_type(char *s, treenode *n)
{
	strcpy(derscope, s);
	strcpy(dertype, "");
	strcpy(dername, "");
	dotree(n, 0, 1);	/* calls 'add_global' and 'add_local'
				 * to instantiate rewrite rules
				 */
	strcpy(derscope, s);
	strcpy(dertype, "");
	strcpy(dername, "");
	with_decorations = 1;	/* reproduce the full declarations */
	dotree(n, 0, 1);
	with_decorations = 0;	/* such as [] and '*' with initialization */
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
leaq 0x31318(%rip), %r15     # 0x44730
movq %r15, %rdi
movq %r14, %rsi
callq 0x40b0
xorl %ebp, %ebp
movb %bpl, 0x30f04(%rip)     # 0x44330
movb %bpl, 0x28f9d(%rip)     # 0x3c3d0
movq %rbx, %rdi
xorl %esi, %esi
movl $0x1, %edx
callq 0xd0a5
movq %r15, %rdi
movq %r14, %rsi
callq 0x40b0
movb %bpl, 0x30edc(%rip)     # 0x44330
movb %bpl, 0x28f75(%rip)     # 0x3c3d0
movb $0x1, 0x28f66(%rip)     # 0x3c3c8
movq %rbx, %rdi
xorl %esi, %esi
movl $0x1, %edx
callq 0xd0a5
movb %bpl, 0x28f50(%rip)     # 0x3c3c8
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_c_makefile_star2_O1/nimble-code[P]Modex/Src/xtract.c
// Function: set_join_id
void
set_join_id(void)	// from first '(' til first ',' in OutBuf
{	char *s, *e;

	join_id = 0;
	s = strchr(OutBuf, '(');
	if (!s) { return; };
	e = strchr(s+1, ',');
	if (!e || e-s <= 1) { return; }

	join_id = (char *) e_malloc((e-s) * sizeof(char));
	strncpy(join_id, s+1, (e-s)-1);
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq $0x0, 0x3292b(%rip) # 0x46170
leaq 0x26b24(%rip), %rdi     # 0x3a370
movl $0x28, %esi
callq 0x4130
testq %rax, %rax
je 0x13880
movq %rax, %r15
leaq 0x1(%rax), %rbx
movq %rbx, %rdi
movl $0x2c, %esi
callq 0x4130
testq %rax, %rax
je 0x13880
movq %rax, %r14
subq %r15, %r14
cmpq $0x2, %r14
jge 0x13886
popq %rbx
popq %r14
popq %r15
retq
movl %r14d, %edi
callq 0x6469
movq %rax, 0x328db(%rip)     # 0x46170
decq %r14
movq %rax, %rdi
movq %rbx, %rsi
movq %r14, %rdx
popq %rbx
popq %r14
popq %r15
jmp 0x4090