// File: ncbi[P]amr/common.cpp
// Function: Common_sp::ShellApplication::findProg(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&) const
void ShellApplication::findProg (const string &progName) const
{
	ASSERT (! progName. empty ());
	ASSERT (! contains (progName, '/'));
	ASSERT (isDirName (execDir));
	
	string dir;
	if (! find (prog2dir, progName, dir))
	{
		dir = fileExists (execDir + progName)
		        ? execDir
		        : which (progName);
	  if (dir. empty ())
	    throw runtime_error ("Binary " + shellQuote (progName) + " is not found.\nPlease make sure that " 
	                         + shellQuote (progName) + " is in the same directory as " + shellQuote (Common_sp::programName) + " or is in your $PATH.");;
	  prog2dir [progName] = dir;
	}
	  
	ASSERT (isDirName (dir));
}

// Assembly:
subq $0x6c8, %rsp            # imm = 0x6C8
movq %rdi, 0x6c0(%rsp)
movq %rsi, 0x6b8(%rsp)
movq 0x6c0(%rsp), %rax
movq %rax, 0x78(%rsp)
callq 0xc090
movl $0x0, (%rax)
movq 0x6b8(%rsp), %rdi
callq 0xcc10
testb $0x1, %al
jne 0x70385
jmp 0x7060c
callq 0xc8c0
cmpl $0x0, %eax
jne 0x70602
leaq 0x617(%rsp), %rdi
movq %rdi, 0x70(%rsp)
callq 0xcd00
movq 0x70(%rsp), %rdx
leaq 0x5d668(%rip), %rsi     # 0xcda19
leaq 0x618(%rsp), %rdi
callq 0x29fd0
jmp 0x703c0
leaq 0x5e0(%rsp), %rdi
movl $0x1104, %esi           # imm = 0x1104
callq 0x2ded0
jmp 0x703d4
leaq 0x638(%rsp), %rdi
leaq 0x618(%rsp), %rsi
leaq 0x5e0(%rsp), %rdx
callq 0x2dde0
jmp 0x703f3
leaq 0x5b7a7(%rip), %rdx     # 0xcbba1
leaq 0x658(%rsp), %rdi
leaq 0x638(%rsp), %rsi
callq 0x2a2f0
jmp 0x70411
leaq 0x59f(%rsp), %rdi
movq %rdi, 0x68(%rsp)
callq 0xcd00
movq 0x68(%rsp), %rdx
leaq 0x5f85a(%rip), %rsi     # 0xcfc89
leaq 0x5a0(%rsp), %rdi
callq 0x29fd0
jmp 0x7043e
leaq 0x5d5d1(%rip), %rdx     # 0xcda16
leaq 0x5c0(%rsp), %rdi
leaq 0x5a0(%rsp), %rsi
callq 0x2a2f0
jmp 0x7045c
leaq 0x678(%rsp), %rdi
leaq 0x658(%rsp), %rsi
leaq 0x5c0(%rsp), %rdx
callq 0x2dde0
jmp 0x7047b
leaq 0x5de55(%rip), %rdx     # 0xce2d7
leaq 0x698(%rsp), %rdi
leaq 0x678(%rsp), %rsi
callq 0x2a2f0
jmp 0x70499
leaq 0x698(%rsp), %rdi
callq 0x3e9b0
jmp 0x704a8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x705f0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x705e3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x705d6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x705c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x705af
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x705a2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70595
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70588
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
leaq 0x698(%rsp), %rdi
callq 0xce98
leaq 0x678(%rsp), %rdi
callq 0xce98
leaq 0x5c0(%rsp), %rdi
callq 0xce98
leaq 0x5a0(%rsp), %rdi
callq 0xce98
leaq 0x59f(%rsp), %rdi
callq 0xc7a0
leaq 0x658(%rsp), %rdi
callq 0xce98
leaq 0x638(%rsp), %rdi
callq 0xce98
leaq 0x5e0(%rsp), %rdi
callq 0xce98
leaq 0x618(%rsp), %rdi
callq 0xce98
leaq 0x617(%rsp), %rdi
callq 0xc7a0
jmp 0x7134c
movl $0x1, %edi
callq 0xc8d0
callq 0xc090
movl $0x0, (%rax)
movq 0x6b8(%rsp), %rdi
movl $0x2f, %esi
callq 0x2dbd0
testb $0x1, %al
jne 0x70632
jmp 0x708b9
callq 0xc8c0
cmpl $0x0, %eax
jne 0x708af
leaq 0x4f7(%rsp), %rdi
movq %rdi, 0x60(%rsp)
callq 0xcd00
movq 0x60(%rsp), %rdx
leaq 0x5d3bb(%rip), %rsi     # 0xcda19
leaq 0x4f8(%rsp), %rdi
callq 0x29fd0
jmp 0x7066d
leaq 0x4d0(%rsp), %rdi
movl $0x1105, %esi           # imm = 0x1105
callq 0x2ded0
jmp 0x70681
leaq 0x518(%rsp), %rdi
leaq 0x4f8(%rsp), %rsi
leaq 0x4d0(%rsp), %rdx
callq 0x2dde0
jmp 0x706a0
leaq 0x5b4fa(%rip), %rdx     # 0xcbba1
leaq 0x538(%rsp), %rdi
leaq 0x518(%rsp), %rsi
callq 0x2a2f0
jmp 0x706be
leaq 0x48f(%rsp), %rdi
movq %rdi, 0x58(%rsp)
callq 0xcd00
movq 0x58(%rsp), %rdx
leaq 0x5f5ad(%rip), %rsi     # 0xcfc89
leaq 0x490(%rsp), %rdi
callq 0x29fd0
jmp 0x706eb
leaq 0x5d324(%rip), %rdx     # 0xcda16
leaq 0x4b0(%rsp), %rdi
leaq 0x490(%rsp), %rsi
callq 0x2a2f0
jmp 0x70709
leaq 0x558(%rsp), %rdi
leaq 0x538(%rsp), %rsi
leaq 0x4b0(%rsp), %rdx
callq 0x2dde0
jmp 0x70728
leaq 0x5f59b(%rip), %rdx     # 0xcfcca
leaq 0x578(%rsp), %rdi
leaq 0x558(%rsp), %rsi
callq 0x2a2f0
jmp 0x70746
leaq 0x578(%rsp), %rdi
callq 0x3e9b0
jmp 0x70755
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x7089d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70883
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70876
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x7085c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x7084f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70842
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70835
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
leaq 0x578(%rsp), %rdi
callq 0xce98
leaq 0x558(%rsp), %rdi
callq 0xce98
leaq 0x4b0(%rsp), %rdi
callq 0xce98
leaq 0x490(%rsp), %rdi
callq 0xce98
leaq 0x48f(%rsp), %rdi
callq 0xc7a0
leaq 0x538(%rsp), %rdi
callq 0xce98
leaq 0x518(%rsp), %rdi
callq 0xce98
leaq 0x4d0(%rsp), %rdi
callq 0xce98
leaq 0x4f8(%rsp), %rdi
callq 0xce98
leaq 0x4f7(%rsp), %rdi
callq 0xc7a0
jmp 0x7134c
movl $0x1, %edi
callq 0xc8d0
callq 0xc090
movq 0x78(%rsp), %rdi
movl $0x0, (%rax)
addq $0xb0, %rdi
callq 0x31310
testb $0x1, %al
jne 0x70b64
callq 0xc8c0
cmpl $0x0, %eax
jne 0x70b5a
leaq 0x3e7(%rsp), %rdi
movq %rdi, 0x50(%rsp)
callq 0xcd00
movq 0x50(%rsp), %rdx
leaq 0x5d110(%rip), %rsi     # 0xcda19
leaq 0x3e8(%rsp), %rdi
callq 0x29fd0
jmp 0x70918
leaq 0x3c0(%rsp), %rdi
movl $0x1106, %esi           # imm = 0x1106
callq 0x2ded0
jmp 0x7092c
leaq 0x408(%rsp), %rdi
leaq 0x3e8(%rsp), %rsi
leaq 0x3c0(%rsp), %rdx
callq 0x2dde0
jmp 0x7094b
leaq 0x5b24f(%rip), %rdx     # 0xcbba1
leaq 0x428(%rsp), %rdi
leaq 0x408(%rsp), %rsi
callq 0x2a2f0
jmp 0x70969
leaq 0x37f(%rsp), %rdi
movq %rdi, 0x48(%rsp)
callq 0xcd00
movq 0x48(%rsp), %rdx
leaq 0x5f302(%rip), %rsi     # 0xcfc89
leaq 0x380(%rsp), %rdi
callq 0x29fd0
jmp 0x70996
leaq 0x5d079(%rip), %rdx     # 0xcda16
leaq 0x3a0(%rsp), %rdi
leaq 0x380(%rsp), %rsi
callq 0x2a2f0
jmp 0x709b4
leaq 0x448(%rsp), %rdi
leaq 0x428(%rsp), %rsi
leaq 0x3a0(%rsp), %rdx
callq 0x2dde0
jmp 0x709d3
leaq 0x5f30b(%rip), %rdx     # 0xcfce5
leaq 0x468(%rsp), %rdi
leaq 0x448(%rsp), %rsi
callq 0x2a2f0
jmp 0x709f1
leaq 0x468(%rsp), %rdi
callq 0x3e9b0
jmp 0x70a00
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70b48
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70b3b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70b2e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70b21
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70b07
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70afa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70aed
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70ae0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
leaq 0x468(%rsp), %rdi
callq 0xce98
leaq 0x448(%rsp), %rdi
callq 0xce98
leaq 0x3a0(%rsp), %rdi
callq 0xce98
leaq 0x380(%rsp), %rdi
callq 0xce98
leaq 0x37f(%rsp), %rdi
callq 0xc7a0
leaq 0x428(%rsp), %rdi
callq 0xce98
leaq 0x408(%rsp), %rdi
callq 0xce98
leaq 0x3c0(%rsp), %rdi
callq 0xce98
leaq 0x3e8(%rsp), %rdi
callq 0xce98
leaq 0x3e7(%rsp), %rdi
callq 0xc7a0
jmp 0x7134c
movl $0x1, %edi
callq 0xc8d0
leaq 0x358(%rsp), %rdi
movq %rdi, 0x38(%rsp)
callq 0xca10
movq 0x78(%rsp), %rdi
movq 0x38(%rsp), %rdx
addq $0x188, %rdi            # imm = 0x188
movq 0x6b8(%rsp), %rsi
callq 0x77970
movb %al, 0x47(%rsp)
jmp 0x70b9a
movb 0x47(%rsp), %al
testb $0x1, %al
jne 0x7107a
jmp 0x70ba8
movq 0x78(%rsp), %rsi
addq $0xb0, %rsi
movq 0x6b8(%rsp), %rdx
leaq 0x318(%rsp), %rdi
callq 0x30680
jmp 0x70bcb
leaq 0x318(%rsp), %rdi
callq 0x43f20
movb %al, 0x37(%rsp)
jmp 0x70bde
movb 0x37(%rsp), %al
testb $0x1, %al
jne 0x70be8
jmp 0x70c05
movq 0x78(%rsp), %rsi
addq $0xb0, %rsi
leaq 0x338(%rsp), %rdi
callq 0xc320
jmp 0x70c03
jmp 0x70c1e
movq 0x6b8(%rsp), %rsi
leaq 0x338(%rsp), %rdi
callq 0x4b150
jmp 0x70c1c
jmp 0x70c1e
leaq 0x358(%rsp), %rdi
leaq 0x338(%rsp), %rsi
callq 0xc080
jmp 0x70c35
leaq 0x338(%rsp), %rdi
callq 0xce98
leaq 0x318(%rsp), %rdi
callq 0xce98
leaq 0x358(%rsp), %rdi
callq 0xcc10
testb $0x1, %al
jne 0x70c65
jmp 0x71044
movb $0x1, 0x197(%rsp)
movl $0x10, %edi
callq 0xc3b0
movq %rax, 0x28(%rsp)
movq 0x6b8(%rsp), %rsi
leaq 0x218(%rsp), %rdi
callq 0xc320
jmp 0x70c93
leaq 0x238(%rsp), %rdi
leaq 0x218(%rsp), %rsi
callq 0x2d3d0
jmp 0x70caa
leaq 0x5f048(%rip), %rsi     # 0xcfcf9
leaq 0x258(%rsp), %rdi
leaq 0x238(%rsp), %rdx
callq 0x2a340
jmp 0x70cc8
leaq 0x5f032(%rip), %rdx     # 0xcfd01
leaq 0x278(%rsp), %rdi
leaq 0x258(%rsp), %rsi
callq 0x2a2f0
jmp 0x70ce6
movq 0x6b8(%rsp), %rsi
leaq 0x1d8(%rsp), %rdi
callq 0xc320
jmp 0x70cfd
leaq 0x1f8(%rsp), %rdi
leaq 0x1d8(%rsp), %rsi
callq 0x2d3d0
jmp 0x70d14
leaq 0x298(%rsp), %rdi
leaq 0x278(%rsp), %rsi
leaq 0x1f8(%rsp), %rdx
callq 0x2dde0
jmp 0x70d33
leaq 0x5efed(%rip), %rdx     # 0xcfd27
leaq 0x2b8(%rsp), %rdi
leaq 0x298(%rsp), %rsi
callq 0x2a2f0
jmp 0x70d51
leaq 0x95f00(%rip), %rsi     # 0x106c58
leaq 0x198(%rsp), %rdi
callq 0xc320
jmp 0x70d67
leaq 0x1b8(%rsp), %rdi
leaq 0x198(%rsp), %rsi
callq 0x2d3d0
jmp 0x70d7e
leaq 0x2d8(%rsp), %rdi
leaq 0x2b8(%rsp), %rsi
leaq 0x1b8(%rsp), %rdx
callq 0x2dde0
jmp 0x70d9d
leaq 0x5efa1(%rip), %rdx     # 0xcfd45
leaq 0x2f8(%rsp), %rdi
leaq 0x2d8(%rsp), %rsi
callq 0x2a2f0
jmp 0x70dbb
movq 0x28(%rsp), %rdi
leaq 0x2f8(%rsp), %rsi
callq 0xcbb0
jmp 0x70dcf
movq 0x28(%rsp), %rdi
movb $0x0, 0x197(%rsp)
movq 0x9520d(%rip), %rsi     # 0x105ff0
movq 0x95186(%rip), %rdx     # 0x105f70
callq 0xcc80
jmp 0x71359
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x7133f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70e44
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
leaq 0x338(%rsp), %rdi
callq 0xce98
leaq 0x318(%rsp), %rdi
callq 0xce98
jmp 0x7133f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x71029
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x7101c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x7100f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x71002
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70ff5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70fe8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70fdb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70fce
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70fc1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70fb4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70fa7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x70f9a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
leaq 0x2f8(%rsp), %rdi
callq 0xce98
leaq 0x2d8(%rsp), %rdi
callq 0xce98
leaq 0x1b8(%rsp), %rdi
callq 0xce98
leaq 0x198(%rsp), %rdi
callq 0xce98
leaq 0x2b8(%rsp), %rdi
callq 0xce98
leaq 0x298(%rsp), %rdi
callq 0xce98
leaq 0x1f8(%rsp), %rdi
callq 0xce98
leaq 0x1d8(%rsp), %rdi
callq 0xce98
leaq 0x278(%rsp), %rdi
callq 0xce98
leaq 0x258(%rsp), %rdi
callq 0xce98
leaq 0x238(%rsp), %rdi
callq 0xce98
leaq 0x218(%rsp), %rdi
callq 0xce98
testb $0x1, 0x197(%rsp)
jne 0x71035
jmp 0x7103f
movq 0x28(%rsp), %rdi
callq 0xc580
jmp 0x7133f
movq 0x78(%rsp), %rdi
addq $0x188, %rdi            # imm = 0x188
movq 0x6b8(%rsp), %rsi
callq 0x77a10
movq %rax, 0x20(%rsp)
jmp 0x71064
movq 0x20(%rsp), %rdi
leaq 0x358(%rsp), %rsi
callq 0xc080
jmp 0x71078
jmp 0x7107a
callq 0xc090
movl $0x0, (%rax)
leaq 0x358(%rsp), %rdi
callq 0x31310
movb %al, 0x1f(%rsp)
jmp 0x71098
movb 0x1f(%rsp), %al
testb $0x1, %al
jne 0x7132a
jmp 0x710a6
callq 0xc8c0
cmpl $0x0, %eax
jne 0x71320
leaq 0xef(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0xcd00
movq 0x10(%rsp), %rdx
leaq 0x5c947(%rip), %rsi     # 0xcda19
leaq 0xf0(%rsp), %rdi
callq 0x29fd0
jmp 0x710e1
leaq 0xc8(%rsp), %rdi
movl $0x1114, %esi           # imm = 0x1114
callq 0x2ded0
jmp 0x710f5
leaq 0x110(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
leaq 0xc8(%rsp), %rdx
callq 0x2dde0
jmp 0x71114
leaq 0x5aa86(%rip), %rdx     # 0xcbba1
leaq 0x130(%rsp), %rdi
leaq 0x110(%rsp), %rsi
callq 0x2a2f0
jmp 0x71132
leaq 0x87(%rsp), %rdi
movq %rdi, 0x8(%rsp)
callq 0xcd00
movq 0x8(%rsp), %rdx
leaq 0x5eb39(%rip), %rsi     # 0xcfc89
leaq 0x88(%rsp), %rdi
callq 0x29fd0
jmp 0x7115f
leaq 0x5c8b0(%rip), %rdx     # 0xcda16
leaq 0xa8(%rsp), %rdi
leaq 0x88(%rsp), %rsi
callq 0x2a2f0
jmp 0x7117d
leaq 0x150(%rsp), %rdi
leaq 0x130(%rsp), %rsi
leaq 0xa8(%rsp), %rdx
callq 0x2dde0
jmp 0x7119c
leaq 0x5ebb8(%rip), %rdx     # 0xcfd5b
leaq 0x170(%rsp), %rdi
leaq 0x150(%rsp), %rsi
callq 0x2a2f0
jmp 0x711ba
leaq 0x170(%rsp), %rdi
callq 0x3e9b0
jmp 0x711c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x71311
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x71304
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x712f7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x712ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x712d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x712c3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x712b6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
jmp 0x712a9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x608(%rsp)
movl %eax, 0x604(%rsp)
leaq 0x170(%rsp), %rdi
callq 0xce98
leaq 0x150(%rsp), %rdi
callq 0xce98
leaq 0xa8(%rsp), %rdi
callq 0xce98
leaq 0x88(%rsp), %rdi
callq 0xce98
leaq 0x87(%rsp), %rdi
callq 0xc7a0
leaq 0x130(%rsp), %rdi
callq 0xce98
leaq 0x110(%rsp), %rdi
callq 0xce98
leaq 0xc8(%rsp), %rdi
callq 0xce98
leaq 0xf0(%rsp), %rdi
callq 0xce98
leaq 0xef(%rsp), %rdi
callq 0xc7a0
jmp 0x7133f
movl $0x1, %edi
callq 0xc8d0
leaq 0x358(%rsp), %rdi
callq 0xce98
addq $0x6c8, %rsp            # imm = 0x6C8
retq
leaq 0x358(%rsp), %rdi
callq 0xce98
movq 0x608(%rsp), %rdi
callq 0xccf0
nopl (%rax)