// File: MPSLab-ASU[P]DiRAC/./src/../argparse/argparse.hpp
// Function: ArgumentParser::verify(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
String verify(const String& name) {
        if (name.empty()) argumentError("argument names must be non-empty");
        if ((name.size() == 2 && name[0] != '-') || name.size() == 3)
            argumentError(String("invalid argument '")
                              .append(name)
                              .append("'. Short names must begin with '-'"));
        if (name.size() > 3 && (name[0] != '-' || name[1] != '-'))
            argumentError(String("invalid argument '")
                              .append(name)
                              .append("'. Multi-character names must begin with '--'"));
        return name;
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xf0, %rsp
movq %rdi, -0xb8(%rbp)
movq %rdi, %rax
movq %rax, -0xb0(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0x18(%rbp), %rdi
callq 0x4a2c50
testb $0x1, %al
jne 0x41c125
jmp 0x41c1a7
leaq -0x39(%rbp), %rdi
movq %rdi, -0xc0(%rbp)
callq 0x426c50
movq -0xc0(%rbp), %rdx
leaq 0x187fa9(%rip), %rsi    # 0x5a40ec
leaq -0x38(%rbp), %rdi
callq 0x40ef60
jmp 0x41c14e
movq -0xa8(%rbp), %rdi
leaq -0x38(%rbp), %rsi
xorl %edx, %edx
callq 0x41c6d0
jmp 0x41c162
leaq -0x38(%rbp), %rdi
callq 0x4a2730
leaq -0x39(%rbp), %rdi
callq 0x426c70
jmp 0x41c1a7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x41c199
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x4a2730
leaq -0x39(%rbp), %rdi
callq 0x426c70
jmp 0x41c3c0
movq -0x18(%rbp), %rdi
callq 0x4a2950
cmpq $0x2, %rax
jne 0x41c1cb
movq -0x18(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x4a2c60
movsbl (%rax), %eax
cmpl $0x2d, %eax
jne 0x41c1de
movq -0x18(%rbp), %rdi
callq 0x4a2950
cmpq $0x3, %rax
jne 0x41c295
leaq -0x71(%rbp), %rdi
movq %rdi, -0xc8(%rbp)
callq 0x426c50
movq -0xc8(%rbp), %rdx
leaq 0x187f11(%rip), %rsi    # 0x5a410d
leaq -0x70(%rbp), %rdi
callq 0x40ef60
jmp 0x41c207
movq -0x18(%rbp), %rsi
leaq -0x70(%rbp), %rdi
callq 0x4a3e40
movq %rax, -0xd0(%rbp)
jmp 0x41c21d
movq -0xd0(%rbp), %rdi
leaq 0x187ef5(%rip), %rsi    # 0x5a4120
callq 0x4a3ee0
movq %rax, -0xd8(%rbp)
jmp 0x41c239
movq -0xd8(%rbp), %rsi
movq -0xa8(%rbp), %rdi
xorl %edx, %edx
callq 0x41c6d0
jmp 0x41c250
leaq -0x70(%rbp), %rdi
callq 0x4a2730
leaq -0x71(%rbp), %rdi
callq 0x426c70
jmp 0x41c295
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x41c287
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x70(%rbp), %rdi
callq 0x4a2730
leaq -0x71(%rbp), %rdi
callq 0x426c70
jmp 0x41c3c0
movq -0x18(%rbp), %rdi
callq 0x4a2950
cmpq $0x3, %rax
jbe 0x41c3a0
movq -0x18(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x4a2c60
movsbl (%rax), %eax
cmpl $0x2d, %eax
jne 0x41c2d7
movq -0x18(%rbp), %rdi
movl $0x1, %esi
callq 0x4a2c60
movsbl (%rax), %eax
cmpl $0x2d, %eax
je 0x41c3a0
leaq -0x99(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0x426c50
movq -0xe0(%rbp), %rdx
leaq 0x187e15(%rip), %rsi    # 0x5a410d
leaq -0x98(%rbp), %rdi
callq 0x40ef60
jmp 0x41c306
movq -0x18(%rbp), %rsi
leaq -0x98(%rbp), %rdi
callq 0x4a3e40
movq %rax, -0xe8(%rbp)
jmp 0x41c31f
movq -0xe8(%rbp), %rdi
leaq 0x187e16(%rip), %rsi    # 0x5a4143
callq 0x4a3ee0
movq %rax, -0xf0(%rbp)
jmp 0x41c33b
movq -0xf0(%rbp), %rsi
movq -0xa8(%rbp), %rdi
xorl %edx, %edx
callq 0x41c6d0
jmp 0x41c352
leaq -0x98(%rbp), %rdi
callq 0x4a2730
leaq -0x99(%rbp), %rdi
callq 0x426c70
jmp 0x41c3a0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x41c392
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x98(%rbp), %rdi
callq 0x4a2730
leaq -0x99(%rbp), %rdi
callq 0x426c70
jmp 0x41c3c0
movq -0xb8(%rbp), %rdi
movq -0x18(%rbp), %rsi
callq 0x4a4ec0
movq -0xb0(%rbp), %rax
addq $0xf0, %rsp
popq %rbp
retq
movq -0x48(%rbp), %rdi
callq 0x4d0770
nopl (%rax)