// File: /workspace/github_cpp_makefile_star2_O1/halfflat[P]tinyopt/ex/ex2-parse.cc
// Function: main
int main(int, char** argv) {
    try {
        std::vector<int> x;
        bool help = false;

        for (auto arg = argv+1; *arg; ) {
            bool ok =
                help << to::parse(arg, "-h", "--help") ||
                x    << to::parse<std::vector<int>>(arg, to::delimited<int>(), "--sum");

            if (!ok) throw to::option_error("unrecognized argument", *arg);
        }

        if (help) {
            to::usage(argv[0], usage_str);
            return 0;
        }

        std::cout << std::accumulate(x.begin(), x.end(), 0) << "\n";
    }
    catch (to::option_error& e) {
        to::usage_error(argv[0], usage_str, e.what());
        return 1;
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x128, %rsp            # imm = 0x128
xorps %xmm0, %xmm0
leaq 0x50(%rsp), %rax
movaps %xmm0, (%rax)
movq $0x0, 0x10(%rax)
movq %rsi, 0x70(%rsp)
leaq 0x8(%rsi), %rax
leaq 0x30(%rsp), %rcx
movq %rax, (%rcx)
movl $0x0, 0x8(%rsp)
leaq 0xe0(%rsp), %rbx
leaq 0xb8(%rsp), %r12
leaq 0x78(%rsp), %r13
movq 0x30(%rsp), %rax
cmpq $0x0, (%rax)
je 0x25df
movq %rbx, %rdi
leaq 0x1c53(%rip), %rsi      # 0x407a
callq 0x2a68
leaq 0x10(%rsp), %rdi
leaq 0x30(%rsp), %rsi
movq %rbx, %rbp
movq %rbx, %rdx
leaq 0x1c3a(%rip), %rcx      # 0x407d
callq 0x2975
movb 0x10(%rsp), %bl
movl 0x8(%rsp), %ecx
movzbl %cl, %ecx
movb $0x1, %r14b
testb %bl, %bl
movl $0x1, %eax
cmovnel %eax, %ecx
movl %ecx, 0x8(%rsp)
jne 0x24b2
movb $0x2c, 0x6(%rsp)
movq %r12, %r14
movq %r12, %rdi
leaq 0x1c0c(%rip), %rsi      # 0x4084
callq 0x2a68
movq %r13, %r15
movq %r13, %rdi
leaq 0x30(%rsp), %rsi
leaq 0x6(%rsp), %rdx
movq %r14, %rcx
callq 0x2b20
leaq 0x98(%rsp), %rdi
leaq 0x50(%rsp), %rsi
movq %r15, %rdx
callq 0x2aec
movb 0x98(%rsp), %r14b
testb %bl, %bl
jne 0x2533
cmpb $0x1, 0x98(%rsp)
jne 0x24dd
movq 0xa0(%rsp), %rdi
testq %rdi, %rdi
je 0x24dd
movq 0xb0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2160
movb $0x0, 0x98(%rsp)
cmpb $0x1, 0x78(%rsp)
jne 0x2509
movq 0x80(%rsp), %rdi
testq %rdi, %rdi
je 0x2509
movq 0x90(%rsp), %rsi
subq %rdi, %rsi
callq 0x2160
movb $0x0, 0x78(%rsp)
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x2533
movq 0xc8(%rsp), %rsi
incq %rsi
callq 0x2160
testb %bl, %bl
movq 0xe0(%rsp), %rdi
leaq 0xf0(%rsp), %rax
cmpq %rax, %rdi
movq %rbp, %rbx
je 0x255d
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x2160
testb %r14b, %r14b
jne 0x240e
movl $0x30, %edi
callq 0x20b0
movq %rax, %rbx
leaq 0x20(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x1b06(%rip), %rsi      # 0x408a
leaq 0x1b14(%rip), %rdx      # 0x409f
leaq 0x10(%rsp), %rdi
callq 0x322e
movq 0x30(%rsp), %rax
movq (%rax), %rsi
leaq 0x108(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x2dc8
movb $0x1, %bpl
leaq 0x10(%rsp), %rsi
leaq 0x108(%rsp), %rdx
movq %rbx, %rdi
callq 0x2e06
xorl %ebp, %ebp
leaq 0x3718(%rip), %rsi      # 0x5ce8
leaq 0x1081(%rip), %rdx      # 0x3658
movq %rbx, %rdi
callq 0x2210
testb $0x1, 0x8(%rsp)
je 0x2670
movq 0x70(%rsp), %rax
movq (%rax), %rbx
movq 0x3b47(%rip), %rsi      # 0x6140
leaq 0x10(%rsp), %rdi
leaq 0x6(%rsp), %rdx
callq 0x2dc8
leaq 0x40(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x1a87(%rip), %rsi      # 0x40a0
leaq 0x1a87(%rip), %rdx      # 0x40a7
leaq 0x30(%rsp), %rdi
callq 0x322e
leaq 0x10(%rsp), %rsi
leaq 0x30(%rsp), %rdx
movq %rbx, %rdi
callq 0x2f6f
movq 0x30(%rsp), %rdi
cmpq %r12, %rdi
je 0x2653
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x2160
leaq 0x20(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x26a9
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x26a9
movq 0x50(%rsp), %rax
movq 0x58(%rsp), %rcx
xorl %esi, %esi
cmpq %rcx, %rax
je 0x2689
addl (%rax), %esi
addq $0x4, %rax
jmp 0x267c
movq 0x3940(%rip), %rdi      # 0x5fd0
callq 0x2220
leaq 0x19dc(%rip), %rsi      # 0x4078
movl $0x1, %edx
movq %rax, %rdi
callq 0x2190
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x26c0
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x2160
xorl %eax, %eax
addq $0x128, %rsp            # imm = 0x128
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rdx, %r15
movq %rax, %r14
movq 0x30(%rsp), %rdi
cmpq %r12, %rdi
je 0x26f9
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x26f9
movq %rdx, %r15
movq %rax, %r14
leaq 0x20(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2808
movq 0x20(%rsp), %rsi
jmp 0x27f8
jmp 0x2802
jmp 0x2802
movq %rdx, %r15
movq %rax, %r14
leaq 0x118(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2751
movq 0x118(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x2751
movq %rdx, %r15
movq %rax, %r14
movb $0x1, %bpl
movq 0x10(%rsp), %rdi
cmpq %r12, %rdi
je 0x277b
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x277b
movq %rdx, %r15
movq %rax, %r14
jmp 0x27a2
movq %rdx, %r15
movq %rax, %r14
movb $0x1, %bpl
testb %bpl, %bpl
je 0x2808
movq %rbx, %rdi
callq 0x2100
jmp 0x2808
jmp 0x27d5
movq %rdx, %r15
movq %rax, %r14
cmpb $0x1, 0x78(%rsp)
je 0x27c9
movb $0x0, 0x78(%rsp)
movq 0xb8(%rsp), %rdi
leaq 0xc8(%rsp), %rax
cmpq %rax, %rdi
je 0x27db
movq 0xc8(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x27db
leaq 0x78(%rsp), %rdi
callq 0x2270
jmp 0x279d
movq %rdx, %r15
movq %rax, %r14
movq 0xe0(%rsp), %rdi
leaq 0xf0(%rsp), %rax
cmpq %rax, %rdi
je 0x2808
movq 0xf0(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x2808
movq %rdx, %r15
movq %rax, %r14
movq 0x50(%rsp), %rdi
testq %rdi, %rdi
je 0x281f
movq 0x60(%rsp), %rsi
subq %rdi, %rsi
callq 0x2160
cmpl $0x1, %r15d
jne 0x2965
movq %r14, %rdi
callq 0x2080
movq %rax, %r14
movq 0x70(%rsp), %rax
movq (%rax), %rbx
movq 0x38fd(%rip), %rsi      # 0x6140
leaq 0x10(%rsp), %rdi
leaq 0xf(%rsp), %rdx
callq 0x2dc8
movq (%r14), %rax
movq %r14, %rdi
callq *0x10(%rax)
leaq 0x30(%rsp), %rdi
leaq 0xe(%rsp), %rdx
movq %rax, %rsi
callq 0x2dc8
leaq 0x60(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1823(%rip), %rsi      # 0x40a0
leaq 0x1823(%rip), %rdx      # 0x40a7
leaq 0x50(%rsp), %rdi
callq 0x322e
leaq 0x10(%rsp), %rsi
leaq 0x30(%rsp), %rdx
leaq 0x50(%rsp), %rcx
movq %rbx, %rdi
callq 0x3024
movq 0x50(%rsp), %rdi
cmpq %r15, %rdi
je 0x28bc
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x2160
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x28d7
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x2160
leaq 0x20(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x28f2
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x2160
callq 0x21e0
movl $0x1, %eax
jmp 0x26c2
movq %rax, %r14
movq 0x50(%rsp), %rdi
cmpq %r15, %rdi
je 0x2920
movq 0x60(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x2920
movq %rax, %r14
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2940
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x2940
movq %rax, %r14
leaq 0x20(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x2960
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x2160
jmp 0x2960
movq %rax, %r14
callq 0x21e0
movq %r14, %rdi
callq 0x2230
movq %rax, %rdi
callq 0x3156