// File: /workspace/github_cpp_makefile_star2_O1/ncbi[P]amr/amrfinder_update.cpp
// Function: (anonymous namespace)::fetchAMRFile(CURL_sp::Curl&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
void fetchAMRFile (Curl &curl,
                   const string &urlDir,
                   const string &localDir,
                   const string &fName) 
{
  ASSERT (isDirName (urlDir));
  ASSERT (isDirName (localDir));
  ASSERT (! fName. empty ());  
  curl. download (urlDir + fName, localDir + fName);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x108, %rsp            # imm = 0x108
movq %rcx, %r14
movq %rdx, %r15
movq %rsi, %r12
movq %rdi, 0x100(%rsp)
callq 0x9930
movq %rax, %r13
movl $0x0, (%rax)
leaq 0x10(%rsp), %rbx
movq %rbx, -0x10(%rbx)
movw $0x2f, (%rbx)
movq $0x1, -0x8(%rbx)
movq %rsp, %rsi
movq %r12, %rdi
callq 0x1813b
movl %eax, %ebp
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0xff87
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x9100
testb %bpl, %bpl
je 0x10068
movl $0x0, (%r13)
movq %rsp, %rsi
leaq 0x10(%rsp), %rbx
movq %rbx, (%rsi)
movw $0x2f, 0x10(%rsi)
movq $0x1, 0x8(%rsi)
movq %r15, %rdi
callq 0x1813b
movl %eax, %ebp
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0xffd1
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x9100
testb %bpl, %bpl
je 0x10107
movl $0x0, (%r13)
cmpq $0x0, 0x8(%r14)
je 0x101a6
movq %rsp, %rdi
movq %r12, %rsi
movq %r14, %rdx
callq 0x11a05
leaq 0x60(%rsp), %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x11a05
movq %rsp, %rsi
leaq 0x60(%rsp), %rdx
movq 0x100(%rsp), %rdi
leaq 0x10(%rsp), %rbx
callq 0x5917e
leaq 0x70(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x10040
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x9100
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x10056
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x9100
addq $0x108, %rsp            # imm = 0x108
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x9750
testl %eax, %eax
jne 0x10245
leaq 0xb0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4b448(%rip), %rsi     # 0x5b4d0
leaq 0x4b45e(%rip), %rdx     # 0x5b4ed
leaq 0xa0(%rsp), %rdi
callq 0x10cc2
leaq 0xc0(%rsp), %rdi
movl $0xbd, %esi
callq 0x11774
leaq 0xe0(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
leaq 0xc0(%rsp), %rdx
callq 0x11471
leaq 0x4b41c(%rip), %rsi     # 0x5b4ee
leaq 0xe0(%rsp), %rdi
callq 0x95e0
leaq 0x30(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x1024f
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x1025c
callq 0x9750
testl %eax, %eax
jne 0x10245
leaq 0xb0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4b3a9(%rip), %rsi     # 0x5b4d0
leaq 0x4b3bf(%rip), %rdx     # 0x5b4ed
leaq 0xa0(%rsp), %rdi
callq 0x10cc2
leaq 0xc0(%rsp), %rdi
movl $0xbe, %esi
callq 0x11774
leaq 0xe0(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
leaq 0xc0(%rsp), %rdx
callq 0x11471
leaq 0x4b37d(%rip), %rsi     # 0x5b4ee
leaq 0xe0(%rsp), %rdi
callq 0x95e0
leaq 0x30(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x102d9
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x102e6
callq 0x9750
testl %eax, %eax
jne 0x10245
leaq 0xb0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4b30a(%rip), %rsi     # 0x5b4d0
leaq 0x4b320(%rip), %rdx     # 0x5b4ed
leaq 0xa0(%rsp), %rdi
callq 0x10cc2
leaq 0xc0(%rsp), %rdi
movl $0xbf, %esi
callq 0x11774
leaq 0xe0(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
leaq 0xc0(%rsp), %rdx
callq 0x11471
leaq 0x4b2de(%rip), %rsi     # 0x5b4ee
leaq 0xe0(%rsp), %rdi
callq 0x95e0
leaq 0x30(%rsp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x10363
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x10370
movl $0x1, %edi
callq 0x95f0
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x90(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x4b723(%rip), %rsi     # 0x5b9ab
leaq 0x4b77c(%rip), %rdx     # 0x5ba0b
leaq 0x80(%rsp), %rdi
callq 0x10cc2
leaq 0x4bcfe(%rip), %rsi     # 0x5bfa1
leaq 0x80(%rsp), %rdi
callq 0x95e0
leaq 0x50(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x103ed
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x103fa
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x90(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x4b699(%rip), %rsi     # 0x5b9ab
leaq 0x4b6f2(%rip), %rdx     # 0x5ba0b
leaq 0x80(%rsp), %rdi
callq 0x10cc2
leaq 0x4bc74(%rip), %rsi     # 0x5bfa1
leaq 0x80(%rsp), %rdi
callq 0x95e0
leaq 0x50(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x10462
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x1046f
movq %rdx, 0x20(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x30(%rsp)
movq 0x8(%rax), %rdx
movq %rdx, 0x28(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x90(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x4b60f(%rip), %rsi     # 0x5b9ab
leaq 0x4b668(%rip), %rdx     # 0x5ba0b
leaq 0x80(%rsp), %rdi
callq 0x10cc2
leaq 0x4bbea(%rip), %rsi     # 0x5bfa1
leaq 0x80(%rsp), %rdi
callq 0x95e0
leaq 0x50(%rsp), %r13
movq %r13, -0x10(%r13)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x104d7
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x104e4
movq %rdx, 0x40(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x50(%rsp)
movq 0x8(%rax), %rsi
leaq 0x40(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x60(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x11471
leaq 0x4b5e0(%rip), %rsi     # 0x5ba0c
leaq 0x60(%rsp), %rdi
callq 0x95e0
leaq 0x10(%rsp), %rcx
movq %rcx, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x10545
movups (%rcx), %xmm0
leaq 0x10(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x10551
movq %rdx, 0x40(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x50(%rsp)
movq 0x8(%rax), %rsi
leaq 0x40(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x60(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x11471
leaq 0x4b57e(%rip), %rsi     # 0x5ba1f
leaq 0x60(%rsp), %rdi
callq 0x95e0
leaq 0x10(%rsp), %rcx
movq %rcx, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x10570
movups (%rcx), %xmm0
leaq 0x10(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x1057c
movq %rdx, 0x40(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x50(%rsp)
movq 0x8(%rax), %rsi
leaq 0x40(%rsp), %rdx
movq %rsi, 0x8(%rdx)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x60(%rsp), %rdi
leaq 0x20(%rsp), %rsi
callq 0x11471
leaq 0x4b51e(%rip), %rsi     # 0x5ba34
leaq 0x60(%rsp), %rdi
callq 0x95e0
leaq 0x10(%rsp), %rcx
movq %rcx, (%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x1059b
movups (%rcx), %xmm0
leaq 0x10(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x105a7
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
movq 0x8(%rax), %rdx
movq %rsp, %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x16073
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
movq 0x8(%rax), %rdx
movq %rsp, %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x16073
movq %rdx, (%rsp)
movq (%rcx), %rdx
movq %rdx, 0x10(%rsp)
movq 0x8(%rax), %rdx
movq %rsp, %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
callq 0x16073
jmp 0x105ce
jmp 0x105ee
jmp 0x105ce
jmp 0x105ee
movq %rax, %rbp
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x105f1
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x105f1
movq %rax, %rbp
leaq 0x70(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x10615
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x10615
jmp 0x10612
jmp 0x10612
movq %rax, %rbp
movq 0x40(%rsp), %rdi
cmpq %r13, %rdi
je 0x10635
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x10635
jmp 0x10632
jmp 0x10632
movq %rax, %rbp
movq 0x80(%rsp), %rdi
cmpq %r12, %rdi
je 0x1065b
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x1065b
jmp 0x10658
jmp 0x10658
movq %rax, %rbp
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x1067b
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x1067b
jmp 0x10678
jmp 0x10678
movq %rax, %rbp
leaq 0xf0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x106a5
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x106a5
jmp 0x106a2
jmp 0x106a2
movq %rax, %rbp
leaq 0xd0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x106cf
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x106cf
jmp 0x106cc
jmp 0x106cc
movq %rax, %rbp
movq 0xa0(%rsp), %rdi
cmpq %r14, %rdi
je 0x1073d
movq 0xb0(%rsp), %rsi
jmp 0x10735
jmp 0x106ea
jmp 0x106ea
movq %rax, %rbp
jmp 0x1073d
movq %rax, %rbp
leaq 0x70(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x10712
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x10712
movq %rax, %rbp
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
jne 0x10730
jmp 0x1073d
jmp 0x10724
movq %rax, %rbp
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x1073d
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x9100
movq %rbp, %rdi
callq 0x95b0
nop