// File: /workspace/github_c_makefile_star2_O2/nimble-code[P]Modex/Src/modex.c
// Function: mkruncmd
void
mkruncmd(void)
{	FILE *fd;
	char buf[1024];
	char buf_w[32];

	if ((fd = fopen("_modex_.run", MFLAGS)) == NULL)
	{	fprintf(stderr, "modex: cannot create run cmd\n");
		return;
	}
if (debug_io) fprintf(stderr, "Open %s -> %p\n", "_modex_.run", fd);

	sprintf(buf, "%s -DVECTORSZ=%d -DMEMLIM=%d %s ", CC, vectorsz, memlim, optimized);

	if (exhaustive)
	{	quality = 10;
	}

	if (quality < 0)
	{	fprintf(stderr, "quality parameter must be 1..10, assuming 1\n");
		quality = 1;
	}
	if (quality > 10)
	{	fprintf(stderr, "quality parameter must be 1..10, assuming 10\n");
		quality = 10;
	}
	if (quality == 9)
	{	if (!bfs_par)
		{	strcat(buf, "-DHC4 ");
		}
	} else if (quality < 9)
	{	strcat(buf, "-DBITSTATE ");
	}

	if (bfs_par)
	{	strcat(buf, "-DBFS_PAR ");
	} else if (bfsx)
	{	strcat(buf, "-DBFS ");
	}

	/* liveness */
	if (!loops && !np_loops)
	{	/* strcat(buf, "-DSAFETY "); */
		/* misses presence of ltl formula */
	} else if (np_loops)
	{	if (bfs_par || bfsx)
		{	fprintf(stderr, "np_loops disabled by bfs%s\n", (bfs_par)?"_par":"");
		} else
		{	strcat(buf, "-DNP ");
	}	}

	/* shortest */
	if (shortest && !bfsx && !bfs_par)
	{	strcat(buf, "-DREACH ");
	}

	strcat(buf, "-o pan pan.c");

	fprintf(fd, "## generated by %s\n## from %s\n\n", VERSION, file_name);
	if (0) fprintf(fd, "set -v\n");

	fprintf(fd, "r_flags=\"\"\n");
	fprintf(fd, "while [ $# -gt 0 ]\n");
	fprintf(fd, "do\n");
	fprintf(fd, "	case $1 in\n");
	fprintf(fd, "	\"-E\")\n");
	fprintf(fd, "		r_flags=\"$r_flags -E\"\n");
	fprintf(fd, "		shift\n");
	fprintf(fd, "		;;\n");
	fprintf(fd, "	\"-A\")\n");
	fprintf(fd, "		r_flags=\"$r_flags -A\"\n");
	fprintf(fd, "		shift\n");
	fprintf(fd, "		;;\n");
	fprintf(fd, "	\"-a\")\n");
	fprintf(fd, "		r_flags=\"$r_flags -a\"\n");
	fprintf(fd, "		shift\n");
	fprintf(fd, "		;;\n");
	fprintf(fd, "	*)\n");
	fprintf(fd, "		break\n");
	fprintf(fd, "		;;\n");
	fprintf(fd, "	esac\n");
	fprintf(fd, "done\n\n");

	fprintf(fd, "if [ $# -eq 1 ]\n");
	fprintf(fd, "then\n");
	fprintf(fd, "	case $1 in\n");
	fprintf(fd, "	pprep)\n");
				boiler_plate(fd, 1);
	fprintf(fd, "		exit 0	# preserve tmp files\n");
	fprintf(fd, "		;;\n");
	fprintf(fd, "	prep)\n");
				boiler_plate(fd, 0);
	fprintf(fd, "		if [ -f _modex_.cln ]\n");
	fprintf(fd, "		then %s _modex_.cln # cleanup\n", SH);
	fprintf(fd, "		fi\n");
	fprintf(fd, "		exit 0\n");
	fprintf(fd, "		;;\n");
	fprintf(fd, "	*)\n");
	fprintf(fd, "		if [ -f _modex_.cln ]\n");
	fprintf(fd, "		then	%s _modex_.cln # cleanup and run\n", SH);
	fprintf(fd, "		fi\n");
	fprintf(fd, "		;;\n");
	fprintf(fd, "	esac\n");
	fprintf(fd, "fi\n\n");

	fprintf(fd, "if [ -f model ]\n");
	fprintf(fd, "then	true\n");
	fprintf(fd, "else\n");
	fprintf(fd, "	echo \"no model file\"\n");
	fprintf(fd, "	exit 1\n");
	fprintf(fd, "fi\n");

	fprintf(fd, "if %s model && %s %s\n", SPIN,
		buf, lnkage_info?lnkage_info:"");
	fprintf(fd, "then\n\t");

	if (bfsx || bfs_par)
	{	sprintf(buf, "./pan -n ");
	} else
	{	sprintf(buf, "./pan $r_flags -n -m%d ", maxdepth);
	}
#if 0
	int wmax = (int) log2( ((double)memlim / (double)vectorsz)*1024.*1024. );
	int wmin = (int) log2( ((double)memlim / (double)8)*1024.*1024. );
	fprintf(stderr, "w: %d .. %d (%d)\n", wmax, wmin, sizeof(long));
#endif

	if (quality >= 9)
	{	sprintf(buf_w, "-w%d ",
			(int) log2( ((double)memlim / (double)8)*1024.*1024. ) - 1);
	} else
	{	sprintf(buf_w, "-w%d ", 20+quality); /* 21 .. 28 */
	}
	strcat(buf, buf_w);

	if (np_loops)
		strcat(buf, "-l ");
	else if (loops)
		strcat(buf, "-a ");
	if (noend)
		strcat(buf, "-E ");
	if (noassert)
		strcat(buf, "-A ");
	if (shortest && !bfsx && !bfs_par)
		strcat(buf, "-i ");
	if (strlen(runtime) > 0)	/* can override builtin options */
		strcat(buf, runtime);

	fprintf(fd, "%s\n", buf);

	fprintf(fd, "else\n");
	fprintf(fd, "	exit 1\n");

	fprintf(fd, "fi\n");
	fprintf(fd, "exit 0\n");
if (debug_io) fprintf(stderr, "close 4 %p\n", fd);
	Fclose(fd);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x428, %rsp            # imm = 0x428
leaq 0x1a6d1(%rip), %rdi     # 0x21bb4
leaq 0x20305(%rip), %rsi     # 0x277ef
callq 0x4270
testq %rax, %rax
je 0x7cab
movq %rax, %rbx
cmpl $0x0, 0x2f516(%rip)     # 0x36a18
jne 0x7cd8
movl 0x2cd06(%rip), %ecx     # 0x34214
movl 0x2ccfb(%rip), %r8d     # 0x34210
movq 0x2ccc4(%rip), %r9      # 0x341e0
leaq 0x1a07c(%rip), %rsi     # 0x2159f
leaq 0x1a096(%rip), %rdx     # 0x215c0
movq %rsp, %rdi
xorl %eax, %eax
callq 0x42a0
cmpl $0x0, 0x2fbdd(%rip)     # 0x37118
je 0x7548
pushq $0xa
popq %rbp
movl %ebp, 0x2ccc2(%rip)     # 0x34208
jmp 0x7587
movl 0x2ccba(%rip), %ebp     # 0x34208
testl %ebp, %ebp
js 0x7d5d
cmpl $0xb, %ebp
jae 0x7d81
cmpl $0x9, %ebp
jne 0x7587
movl 0x2fbaa(%rip), %ebp     # 0x37114
testl %ebp, %ebp
jne 0x75b4
movq %rsp, %rdi
callq 0x4110
movl $0x4348442d, (%rsp,%rax) # imm = 0x4348442D
movl $0x203443, 0x3(%rsp,%rax) # imm = 0x203443
jmp 0x75aa
cmpl $0x8, %ebp
ja 0x75aa
movq %rsp, %rdi
callq 0x4110
movabsq $0x415453544942442d, %rcx # imm = 0x415453544942442D
movq %rcx, (%rsp,%rax)
movl $0x204554, 0x8(%rsp,%rax) # imm = 0x204554
movl 0x2fb64(%rip), %ebp     # 0x37114
testl %ebp, %ebp
je 0x75dd
movq %rsp, %rdi
callq 0x4110
movabsq $0x41505f534642442d, %rcx # imm = 0x41505F534642442D
movq %rcx, (%rsp,%rax)
movl $0x205241, 0x7(%rsp,%rax) # imm = 0x205241
movb $0x1, %al
movl 0x2fb35(%rip), %r14d    # 0x37110
jmp 0x7609
movl 0x2fb2c(%rip), %r14d    # 0x37110
testl %r14d, %r14d
je 0x7602
movq %rsp, %rdi
callq 0x4110
movl $0x4642442d, (%rsp,%rax) # imm = 0x4642442D
movl $0x205346, 0x3(%rsp,%rax) # imm = 0x205346
jmp 0x7605
xorl %r14d, %r14d
xorl %ebp, %ebp
xorl %eax, %eax
cmpl $0x0, 0x2fb18(%rip)     # 0x37128
je 0x763c
testl %r14d, %r14d
setne %cl
orb %al, %cl
cmpb $0x1, %cl
je 0x7d1f
movq %rsp, %rdi
callq 0x4110
movl $0x504e442d, (%rsp,%rax) # imm = 0x504E442D
movw $0x20, 0x4(%rsp,%rax)
xorl %r14d, %r14d
cmpl $0x0, 0x2fae9(%rip)     # 0x3712c
je 0x7669
testl %r14d, %r14d
jne 0x7669
testl %ebp, %ebp
jne 0x7669
movq %rsp, %rdi
callq 0x4110
movabsq $0x204843414552442d, %rcx # imm = 0x204843414552442D
movq %rcx, (%rsp,%rax)
movb $0x0, 0x8(%rsp,%rax)
movq %rsp, %rdi
callq 0x4110
movabsq $0x70206e6170206f2d, %rcx # imm = 0x70206E6170206F2D
movq %rcx, (%rsp,%rax)
movabsq $0x632e6e6170206e, %rcx # imm = 0x632E6E6170206E
movq %rcx, 0x5(%rsp,%rax)
movq 0x2cafb(%rip), %rdx     # 0x34190
movq 0x2f3ec(%rip), %rcx     # 0x36a88
leaq 0x19fe4(%rip), %rsi     # 0x21687
movq %rbx, %rdi
xorl %eax, %eax
callq 0x41c0
leaq 0x19ff3(%rip), %rdi     # 0x216a7
pushq $0xb
popq %rsi
pushq $0x1
popq %r15
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19fe6(%rip), %rdi     # 0x216b3
pushq $0x13
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x1bb5b(%rip), %rdi     # 0x2323d
pushq $0x3
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19fd0(%rip), %rdi     # 0x216c7
pushq $0xc
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19fc8(%rip), %rdi     # 0x216d4
pushq $0x7
popq %r12
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19fb7(%rip), %rdi     # 0x216dc
pushq $0x18
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19fb8(%rip), %rdi     # 0x216f5
pushq $0x8
popq %r14
movq %r14, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19fa8(%rip), %r13     # 0x216fe
pushq $0x5
popq %rsi
movq %r13, %rdi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19f96(%rip), %rdi     # 0x21704
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19f89(%rip), %rdi     # 0x2170c
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19f5d(%rip), %rdi     # 0x216f5
movq %r14, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
movq %r13, %rdi
pushq $0x5
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19f67(%rip), %rdi     # 0x21725
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19f5a(%rip), %rdi     # 0x2172d
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19f0d(%rip), %rdi     # 0x216f5
movq %r14, %rsi
movq %r14, %r12
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
movq %r13, %rdi
pushq $0x5
popq %rsi
movq %rsi, %rbp
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19f32(%rip), %rdi     # 0x21746
pushq $0x4
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19f22(%rip), %rdi     # 0x2174b
movq %r14, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19f05(%rip), %rdi     # 0x21754
pushq $0x6
popq %r14
movq %r14, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19ef3(%rip), %rdi     # 0x2175b
movq %r14, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19ee5(%rip), %rdi     # 0x21762
pushq $0x10
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19ee1(%rip), %rdi     # 0x21773
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19e20(%rip), %rdi     # 0x216c7
pushq $0xc
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19ebd(%rip), %rdi     # 0x21779
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
pushq $0x1
popq %rsi
movq %rbx, %rdi
callq 0x730a
leaq 0x19ea6(%rip), %rdi     # 0x21782
pushq $0x1e
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
movq %r13, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19e9f(%rip), %rdi     # 0x217a1
pushq $0x7
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
movq %rbx, %rdi
xorl %esi, %esi
callq 0x730a
leaq 0x19e88(%rip), %r13     # 0x217a9
movq %r13, %rdi
pushq $0x18
popq %r12
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19e85(%rip), %rsi     # 0x217c2
leaq 0x19e9f(%rip), %rdx     # 0x217e3
movq %rbx, %rdi
xorl %eax, %eax
callq 0x41c0
leaq 0x19bdf(%rip), %r14     # 0x21534
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19e79(%rip), %rdi     # 0x217e6
pushq $0x9
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19d7c(%rip), %rdi     # 0x216fe
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19daf(%rip), %rdi     # 0x21746
pushq $0x4
popq %rbp
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
movq %r13, %rdi
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19e30(%rip), %rsi     # 0x217f0
movq %rbx, %rdi
leaq 0x19e19(%rip), %rdx     # 0x217e3
xorl %eax, %eax
callq 0x41c0
movq %r14, %rdi
pushq $0x5
popq %r12
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19d11(%rip), %rdi     # 0x216fe
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19d52(%rip), %rdi     # 0x21754
pushq $0x6
popq %r14
movq %r14, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19a16(%rip), %rdi     # 0x21431
movq %rbp, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19de9(%rip), %rdi     # 0x21819
pushq $0x10
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x199a8(%rip), %rdi     # 0x213ed
pushq $0xa
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x1b81d(%rip), %rdi     # 0x23277
movq %r12, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19dbb(%rip), %rdi     # 0x2182a
pushq $0x16
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x199a2(%rip), %rdi     # 0x21426
pushq $0x8
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19a9d(%rip), %rdi     # 0x21536
pushq $0x3
popq %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
movq 0x2f682(%rip), %rax     # 0x37130
testq %rax, %rax
leaq 0x1c4d9(%rip), %r8      # 0x23f91
cmovneq %rax, %r8
leaq 0x19d7e(%rip), %rsi     # 0x21841
leaq 0x19d8d(%rip), %rdx     # 0x21857
movq %rbx, %rdi
movq %rsp, %rcx
xorl %eax, %eax
callq 0x41c0
leaq 0x19d81(%rip), %rdi     # 0x2185f
movq %r14, %rsi
movq %r15, %rdx
movq %rbx, %rcx
callq 0x42c0
movl 0x2f622(%rip), %eax     # 0x37114
orl 0x2f618(%rip), %eax     # 0x37110
je 0x7b11
movabsq $0x6e2d206e61702f2e, %rax # imm = 0x6E2D206E61702F2E
movq %rax, (%rsp)
movw $0x20, 0x8(%rsp)
jmp 0x7b28
movl 0x2c6f5(%rip), %edx     # 0x3420c
leaq 0x19d52(%rip), %rsi     # 0x21870
movq %rsp, %rdi
xorl %eax, %eax
callq 0x42a0
movl 0x2c6da(%rip), %edx     # 0x34208
cmpl $0x9, %edx
jl 0x7b60
cvtsi2sdl 0x2c6d5(%rip), %xmm0 # 0x34210
mulsd 0x18945(%rip), %xmm0    # 0x20488
movsd 0x18945(%rip), %xmm1    # 0x20490
mulsd %xmm1, %xmm0
mulsd %xmm1, %xmm0
callq 0x4040
cvttsd2si %xmm0, %edx
decl %edx
jmp 0x7b63
addl $0x14, %edx
leaq 0x19d1e(%rip), %rsi     # 0x21888
leaq 0x400(%rsp), %r14
movq %r14, %rdi
xorl %eax, %eax
callq 0x42a0
movq %rsp, %rdi
movq %r14, %rsi
callq 0x4290
movl $0x206c2d, %ebp         # imm = 0x206C2D
cmpl $0x0, 0x2f595(%rip)     # 0x37128
jne 0x7ba3
movl $0x20612d, %ebp         # imm = 0x20612D
cmpl $0x0, 0x2f57b(%rip)     # 0x3711c
je 0x7bae
movq %rsp, %rdi
callq 0x4110
movl %ebp, (%rsp,%rax)
cmpl $0x0, 0x2f56b(%rip)     # 0x37120
je 0x7bc6
movq %rsp, %rdi
callq 0x4110
movl $0x20452d, (%rsp,%rax)  # imm = 0x20452D
cmpl $0x0, 0x2f557(%rip)     # 0x37124
je 0x7bde
movq %rsp, %rdi
callq 0x4110
movl $0x20412d, (%rsp,%rax)  # imm = 0x20412D
cmpl $0x0, 0x2f547(%rip)     # 0x3712c
je 0x7c08
cmpl $0x0, 0x2f522(%rip)     # 0x37110
jne 0x7c08
cmpl $0x0, 0x2f51d(%rip)     # 0x37114
jne 0x7c08
movq %rsp, %rdi
callq 0x4110
movl $0x20692d, (%rsp,%rax)  # imm = 0x20692D
movq 0x2c5c1(%rip), %rsi     # 0x341d0
cmpb $0x0, (%rsi)
je 0x7c1c
movq %rsp, %rdi
callq 0x4290
leaq 0x1a659(%rip), %rsi     # 0x2227c
movq %rsp, %rdx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x41c0
leaq 0x1b640(%rip), %rdi     # 0x23277
pushq $0x5
popq %rsi
pushq $0x1
popq %r14
movq %r14, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x197d6(%rip), %rdi     # 0x21426
pushq $0x8
popq %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x198d1(%rip), %rdi     # 0x21536
pushq $0x3
popq %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x42c0
leaq 0x19b6e(%rip), %rdi     # 0x217e8
pushq $0x7
popq %rsi
movq %r14, %rdx
movq %rbx, %rcx
callq 0x42c0
cmpl $0x0, 0x2ed89(%rip)     # 0x36a18
jne 0x7cff
movq %rbx, %rdi
callq 0x59e0
addq $0x428, %rsp            # imm = 0x428
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x2c346(%rip), %rax     # 0x33ff8
movq (%rax), %rcx
leaq 0x198c5(%rip), %rdi     # 0x21581
pushq $0x1d
popq %rsi
pushq $0x1
popq %rdx
addq $0x428, %rsp            # imm = 0x428
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x42c0
movq 0x2c319(%rip), %rax     # 0x33ff8
movq (%rax), %rdi
leaq 0x19600(%rip), %rsi     # 0x212e9
leaq 0x19ec4(%rip), %rdx     # 0x21bb4
movq %rbx, %rcx
xorl %eax, %eax
callq 0x41c0
jmp 0x7508
movq 0x2c2f2(%rip), %rax     # 0x33ff8
movq (%rax), %rdi
leaq 0x19b7e(%rip), %rsi     # 0x2188e
movq %rbx, %rdx
xorl %eax, %eax
callq 0x41c0
jmp 0x7c91
movq 0x2c2d2(%rip), %rcx     # 0x33ff8
movq (%rcx), %rdi
leaq 0x19936(%rip), %rcx     # 0x21666
leaq 0x1c25a(%rip), %rdx     # 0x23f91
testb %al, %al
cmovneq %rcx, %rdx
leaq 0x19906(%rip), %rsi     # 0x2164a
xorl %eax, %eax
callq 0x41c0
movl 0x2f3be(%rip), %r14d    # 0x37110
movl 0x2f3bc(%rip), %ebp     # 0x37114
jmp 0x763c
pushq $0x1
popq %rbp
movq 0x2c291(%rip), %rax     # 0x33ff8
movq (%rax), %rcx
leaq 0x19859(%rip), %rdi     # 0x215ca
pushq $0x2c
popq %rsi
pushq $0x1
popq %rdx
callq 0x42c0
jmp 0x7540
movq 0x2c270(%rip), %rax     # 0x33ff8
movq (%rax), %rcx
leaq 0x19865(%rip), %rdi     # 0x215f7
pushq $0x2d
popq %rsi
pushq $0x1
popq %rdx
callq 0x42c0
movl $0xa, 0x2c461(%rip)     # 0x34208
jmp 0x75aa