// File: /workspace/github_cpp_makefile_star2_O3/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 0x1810b
movl %eax, %ebp
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0xff8f
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x9100
testb %bpl, %bpl
je 0x10070
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 0x1810b
movl %eax, %ebp
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0xffd9
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x9100
testb %bpl, %bpl
je 0x1010f
movl $0x0, (%r13)
cmpq $0x0, 0x8(%r14)
je 0x101ae
movq %rsp, %rdi
movq %r12, %rsi
movq %r14, %rdx
callq 0x119f4
leaq 0x60(%rsp), %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x119f4
movq %rsp, %rsi
leaq 0x60(%rsp), %rdx
movq 0x100(%rsp), %rdi
leaq 0x10(%rsp), %rbx
callq 0x590a8
leaq 0x70(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x10048
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x9100
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x1005e
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 0x1024d
leaq 0xb0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4b440(%rip), %rsi     # 0x5b4d0
leaq 0x4b456(%rip), %rdx     # 0x5b4ed
leaq 0xa0(%rsp), %rdi
callq 0x10cc8
leaq 0xc0(%rsp), %rdi
movl $0xbd, %esi
callq 0x11784
leaq 0xe0(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
leaq 0xc0(%rsp), %rdx
callq 0x11481
leaq 0x4b414(%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 0x10257
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x10264
callq 0x9750
testl %eax, %eax
jne 0x1024d
leaq 0xb0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4b3a1(%rip), %rsi     # 0x5b4d0
leaq 0x4b3b7(%rip), %rdx     # 0x5b4ed
leaq 0xa0(%rsp), %rdi
callq 0x10cc8
leaq 0xc0(%rsp), %rdi
movl $0xbe, %esi
callq 0x11784
leaq 0xe0(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
leaq 0xc0(%rsp), %rdx
callq 0x11481
leaq 0x4b375(%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 0x102e1
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x102ee
callq 0x9750
testl %eax, %eax
jne 0x1024d
leaq 0xb0(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x4b302(%rip), %rsi     # 0x5b4d0
leaq 0x4b318(%rip), %rdx     # 0x5b4ed
leaq 0xa0(%rsp), %rdi
callq 0x10cc8
leaq 0xc0(%rsp), %rdi
movl $0xbf, %esi
callq 0x11784
leaq 0xe0(%rsp), %rdi
leaq 0xa0(%rsp), %rsi
leaq 0xc0(%rsp), %rdx
callq 0x11481
leaq 0x4b2d6(%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 0x1036b
movups (%rcx), %xmm0
movups %xmm0, (%r15)
jmp 0x10378
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 0x4b71b(%rip), %rsi     # 0x5b9ab
leaq 0x4b774(%rip), %rdx     # 0x5ba0b
leaq 0x80(%rsp), %rdi
callq 0x10cc8
leaq 0x4bcf6(%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 0x103f5
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x10402
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 0x4b691(%rip), %rsi     # 0x5b9ab
leaq 0x4b6ea(%rip), %rdx     # 0x5ba0b
leaq 0x80(%rsp), %rdi
callq 0x10cc8
leaq 0x4bc6c(%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 0x1046a
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x10477
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 0x4b607(%rip), %rsi     # 0x5b9ab
leaq 0x4b660(%rip), %rdx     # 0x5ba0b
leaq 0x80(%rsp), %rdi
callq 0x10cc8
leaq 0x4bbe2(%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 0x104df
movups (%rcx), %xmm0
movups %xmm0, (%r13)
jmp 0x104ec
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 0x11481
leaq 0x4b5d8(%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 0x1054d
movups (%rcx), %xmm0
leaq 0x10(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x10559
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 0x11481
leaq 0x4b576(%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 0x10578
movups (%rcx), %xmm0
leaq 0x10(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x10584
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 0x11481
leaq 0x4b516(%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 0x105a3
movups (%rcx), %xmm0
leaq 0x10(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x105af
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 0x16026
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 0x16026
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 0x16026
jmp 0x105d6
jmp 0x105f6
jmp 0x105d6
jmp 0x105f6
movq %rax, %rbp
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
je 0x105f9
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x105f9
movq %rax, %rbp
leaq 0x70(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1061d
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x1061d
jmp 0x1061a
jmp 0x1061a
movq %rax, %rbp
movq 0x40(%rsp), %rdi
cmpq %r13, %rdi
je 0x1063d
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x1063d
jmp 0x1063a
jmp 0x1063a
movq %rax, %rbp
movq 0x80(%rsp), %rdi
cmpq %r12, %rdi
je 0x10663
movq 0x90(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x10663
jmp 0x10660
jmp 0x10660
movq %rax, %rbp
movq 0x20(%rsp), %rdi
cmpq %r15, %rdi
je 0x10683
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x10683
jmp 0x10680
jmp 0x10680
movq %rax, %rbp
leaq 0xf0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x106ad
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x106ad
jmp 0x106aa
jmp 0x106aa
movq %rax, %rbp
leaq 0xd0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x106d7
movq 0xd0(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x106d7
jmp 0x106d4
jmp 0x106d4
movq %rax, %rbp
movq 0xa0(%rsp), %rdi
cmpq %r14, %rdi
je 0x10745
movq 0xb0(%rsp), %rsi
jmp 0x1073d
jmp 0x106f2
jmp 0x106f2
movq %rax, %rbp
jmp 0x10745
movq %rax, %rbp
leaq 0x70(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x1071a
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x9100
jmp 0x1071a
movq %rax, %rbp
movq (%rsp), %rdi
leaq 0x10(%rsp), %rax
cmpq %rax, %rdi
jne 0x10738
jmp 0x10745
jmp 0x1072c
movq %rax, %rbp
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x10745
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x9100
movq %rbp, %rdi
callq 0x95b0
nop