// File: /workspace/github_cpp_makefile_star2_O3/Se6[P]CmdLineArgs/./CmdLineArgs.h
// Function: CmdLineArgs::getParam(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, char, 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::string CmdLineArgs::getParam(const std::string &long_name, char short_name, const std::string &default_value, const std::string &desc)
{
    std::string val;
    addUsage(long_name, short_name, "\"" + default_value + "\"", desc);

    // First search the long names:
    auto pos = findLongName(long_name);
    if( pos != args_.end() ) {

        if(pos+2>args_.end())
            throw std::runtime_error("\nError: parameter --" + long_name + " is not followed by a value");

        pos = args_.erase(pos);
        val = *pos;
        args_.erase(pos);

        return val;
    }

    // Then search the short names:
    pos = findShortName(short_name);
    if( pos != args_.end() ) {

        if(pos+2>args_.end())
            throw std::runtime_error("\nError: parameter -" + std::string(1,short_name) + " is not followed by a value");

        if(pos->size()==2)
            pos = args_.erase(pos);
        else{
            pos->erase(pos->find(short_name,1),1);
            ++pos;
        }

        val = *pos;
        args_.erase(pos);

        return val;
    }

    // did not find anything:
    return default_value;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x88, %rsp
movq %r9, %r13
movq %r8, %r12
movl %ecx, %ebp
movq %rdx, %r15
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x38(%rsp), %rax
movq %rax, -0x10(%rax)
movq $0x0, -0x8(%rax)
movb $0x0, (%rax)
leaq 0x618b(%rip), %rsi      # 0xa032
leaq 0x48(%rsp), %rdi
movq %r8, %rdx
callq 0x64c9
leaq 0x6177(%rip), %rsi      # 0xa032
leaq 0x48(%rsp), %rdi
callq 0x33e0
leaq 0x18(%rsp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rcx
movq %rax, %rdx
addq $0x10, %rdx
cmpq %rdx, %rcx
je 0x3eec
movq %rcx, 0x8(%rsp)
movq (%rdx), %rcx
movq %rcx, 0x18(%rsp)
jmp 0x3ef2
movups (%rdx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rsi
leaq 0x8(%rsp), %rcx
movq %rsi, 0x8(%rcx)
movq %rdx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movsbl %bpl, %ebp
movq %r14, %rdi
movq %r15, %rsi
movl %ebp, %edx
movq %r13, %r8
callq 0x3be6
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x3f3e
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3220
leaq 0x58(%rsp), %r13
movq -0x10(%r13), %rdi
cmpq %r13, %rdi
je 0x3f59
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x3220
movq %r14, %rdi
movq %r15, %rsi
callq 0x38ec
movq 0x8(%r14), %rcx
cmpq %rcx, %rax
je 0x3fa5
leaq 0x40(%rax), %rdx
cmpq %rcx, %rdx
ja 0x409b
movq %r14, %rdi
movq %rax, %rsi
callq 0x7a8c
movq %rax, %r15
leaq 0x28(%rsp), %rdi
movq %rax, %rsi
callq 0x3120
movq %r14, %rdi
movq %r15, %rsi
callq 0x7a8c
jmp 0x4053
movq %r14, %rdi
movl %ebp, %esi
callq 0x3a52
movq %rax, %r15
movq 0x8(%r14), %rax
cmpq %rax, %r15
je 0x3fdf
leaq 0x40(%r15), %rcx
cmpq %rax, %rcx
ja 0x40fa
cmpq $0x2, 0x8(%r15)
jne 0x4018
movq %r14, %rdi
movq %r15, %rsi
callq 0x7a8c
movq %rax, %r15
jmp 0x403b
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movq (%r12), %rsi
movq 0x8(%r12), %rdx
addq %rsi, %rdx
movq %rbx, %rdi
callq 0x7060
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x4086
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x3220
jmp 0x4086
movl $0x1, %edx
movq %r15, %rdi
movl %ebp, %esi
callq 0x3290
movl $0x1, %edx
movq %r15, %rdi
movq %rax, %rsi
callq 0x3050
addq $0x20, %r15
leaq 0x28(%rsp), %rdi
movq %r15, %rsi
callq 0x3120
movq %r14, %rdi
movq %r15, %rsi
callq 0x7a8c
leaq 0x10(%rbx), %rax
movq %rax, (%rbx)
movq 0x28(%rsp), %rcx
leaq 0x38(%rsp), %rdx
cmpq %rdx, %rcx
je 0x4077
movq %rcx, (%rbx)
movq 0x38(%rsp), %rax
movq %rax, 0x10(%rbx)
jmp 0x407d
movups (%rdx), %xmm0
movups %xmm0, (%rax)
movq 0x30(%rsp), %rax
movq %rax, 0x8(%rbx)
movq %rbx, %rax
addq $0x88, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movl $0x10, %edi
callq 0x30f0
movq %rax, %r14
leaq 0x5f85(%rip), %rsi      # 0xa034
leaq 0x48(%rsp), %rdi
movq %r15, %rdx
callq 0x64c9
leaq 0x5f86(%rip), %rsi      # 0xa049
leaq 0x48(%rsp), %rdi
callq 0x33e0
leaq 0x18(%rsp), %rcx
movq %rcx, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x416e
movups (%rcx), %xmm0
leaq 0x18(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x417b
movl $0x10, %edi
callq 0x30f0
movq %rax, %r14
leaq 0x78(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x68(%rsp), %rdi
movl $0x1, %esi
movl %ebp, %edx
callq 0x3270
leaq 0x5f3d(%rip), %rsi      # 0xa065
leaq 0x48(%rsp), %rdi
leaq 0x68(%rsp), %rdx
callq 0x6551
leaq 0x5f0b(%rip), %rsi      # 0xa049
leaq 0x48(%rsp), %rdi
callq 0x33e0
leaq 0x18(%rsp), %rcx
movq %rcx, 0x8(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
jne 0x41bc
movups (%rcx), %xmm0
leaq 0x18(%rsp), %rdx
movups %xmm0, (%rdx)
jmp 0x41c9
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movb $0x1, %bpl
movq %r14, %rdi
callq 0x3330
xorl %ebp, %ebp
movq 0x9e45(%rip), %rsi      # 0xdff0
movq 0x9e06(%rip), %rdx      # 0xdfb8
movq %r14, %rdi
callq 0x3380
jmp 0x4208
movq %rdx, 0x8(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x18(%rsp)
movq 0x8(%rax), %rdx
leaq 0x8(%rsp), %rsi
movq %rdx, 0x8(%rsi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movb $0x1, %bpl
movq %r14, %rdi
callq 0x3330
xorl %ebp, %ebp
movq 0x9df7(%rip), %rsi      # 0xdff0
movq 0x9db8(%rip), %rdx      # 0xdfb8
movq %r14, %rdi
callq 0x3380
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x422f
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3220
jmp 0x422f
movq %rax, %rbx
movb $0x1, %bpl
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x4246
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x3220
movq 0x68(%rsp), %rdi
cmpq %r15, %rdi
je 0x42a8
movq 0x78(%rsp), %rsi
jmp 0x42a0
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r15, %rdi
je 0x42ce
movq 0x78(%rsp), %rsi
jmp 0x42c1
jmp 0x431d
jmp 0x42cb
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x4291
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3220
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x42a8
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x3220
testb %bpl, %bpl
jne 0x42ce
jmp 0x4320
movq %rax, %rbx
movq 0x48(%rsp), %rdi
cmpq %r13, %rdi
je 0x42ce
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x3220
jmp 0x42ce
movq %rax, %rbx
movq %r14, %rdi
callq 0x3190
jmp 0x4320
jmp 0x431d
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x42fe
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x3220
jmp 0x42fe
movq %rax, %rbx
leaq 0x58(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x4320
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x3220
jmp 0x4320
jmp 0x431d
movq %rax, %rbx
movq 0x28(%rsp), %rdi
leaq 0x38(%rsp), %rax
cmpq %rax, %rdi
je 0x433c
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x3220
movq %rbx, %rdi
callq 0x33a0