// File: /workspace/github_cpp_makefile_star2_O2/halfflat[P]tinyopt/ex/ex2-run.cc
// Function: main
int main(int argc, char** argv) {
    try {
        std::vector<int> x;
        auto help = [argv0 = argv[0]] { to::usage(argv0, usage_str); };

        to::option opts[] = {
            { {x, to::delimited<int>()}, "--sum" },
            { to::action(help), to::flag, to::exit, "-h", "--help" }
        };

        if (!to::run(opts, argc, argv+1)) return 0;
        if (argv[1]) throw to::option_error("unrecognized argument", argv[1]);

        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 $0x1b8, %rsp            # imm = 0x1B8
movq %rsi, %rbx
movl %edi, 0xc(%rsp)
xorps %xmm0, %xmm0
leaq 0x30(%rsp), %rax
movaps %xmm0, (%rax)
andq $0x0, 0x10(%rax)
movq (%rsi), %r14
leaq 0xb0(%rsp), %rsi
movq $0x2c, 0x8(%rsi)
movq %rax, (%rsi)
leaq 0xcff(%rip), %rax       # 0x3130
movq %rax, 0x18(%rsi)
leaq 0xcfa(%rip), %rax       # 0x3136
movq %rax, 0x10(%rsi)
leaq 0x3c5f(%rip), %rdx      # 0x60a6
leaq 0xd0(%rsp), %r12
movq %r12, %rdi
callq 0x2850
leaq 0x140(%rsp), %r13
leaq 0x90(%rsp), %rsi
andq $0x0, 0x8(%rsi)
movq %r14, (%rsi)
leaq 0x32e(%rip), %rax       # 0x27a4
movq %rax, 0x18(%rsi)
leaq 0x3a9(%rip), %rax       # 0x282a
movq %rax, 0x10(%rsi)
leaq 0x10(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x50(%rsp), %rcx
movl $0x10, (%rcx)
leaq 0x3c0a(%rip), %r8       # 0x60ac
leaq 0x3c06(%rip), %r9       # 0x60af
movq %r13, %rdi
callq 0x28e8
leaq 0x90(%rsp), %rdi
callq 0x2e82
leaq 0xb0(%rsp), %rdi
callq 0x2e82
leaq 0x8(%rbx), %r14
xorps %xmm0, %xmm0
leaq 0x50(%rsp), %r8
movaps %xmm0, (%r8)
andq $0x0, 0x10(%r8)
leaq 0x10(%rsp), %rdi
leaq 0xd0(%rsp), %rsi
leaq 0xc(%rsp), %rdx
movq %r14, %rcx
callq 0x2975
leaq 0x10(%rsp), %rdi
movb (%rdi), %bpl
callq 0x3072
leaq 0x50(%rsp), %rdi
callq 0x2bd8
testb %bpl, %bpl
je 0x2550
cmpq $0x0, (%r14)
jne 0x258b
movq 0x30(%rsp), %rax
movq 0x38(%rsp), %rcx
xorl %esi, %esi
cmpq %rcx, %rax
je 0x2535
addl (%rax), %esi
addq $0x4, %rax
jmp 0x2528
movq 0x7a94(%rip), %rdi      # 0x9fd0
callq 0x2270
leaq 0x3b5c(%rip), %rsi      # 0x60a4
movq %rax, %rdi
callq 0x2180
pushq $0x70
popq %rbx
leaq (%rsp,%rbx), %rdi
addq $0xd0, %rdi
callq 0x478a
addq $-0x70, %rbx
cmpq $-0x70, %rbx
jne 0x2553
leaq 0x30(%rsp), %rdi
callq 0x308a
xorl %eax, %eax
addq $0x1b8, %rsp            # imm = 0x1B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x30
popq %rdi
callq 0x20c0
movq %rax, %r12
leaq 0x3b19(%rip), %rsi      # 0x60b6
leaq 0x10(%rsp), %rdi
leaq 0x50(%rsp), %rdx
callq 0x2bfa
movq (%r14), %rsi
leaq 0x70(%rsp), %rdi
leaq 0xa(%rsp), %rdx
callq 0x2bfa
movb $0x1, %bpl
leaq 0x10(%rsp), %rsi
leaq 0x70(%rsp), %rdx
movq %r12, %rdi
callq 0x2c36
xorl %ebp, %ebp
leaq 0x76b4(%rip), %rsi      # 0x9c90
leaq 0x1af1(%rip), %rdx      # 0x40d4
movq %r12, %rdi
callq 0x2260
movq %rdx, %r15
movq %rax, %r14
leaq 0x70(%rsp), %rdi
callq 0x2090
jmp 0x2606
movq %rdx, %r15
movq %rax, %r14
movb $0x1, %bpl
leaq 0x10(%rsp), %rdi
callq 0x2090
testb %bpl, %bpl
jne 0x261d
jmp 0x263f
movq %rdx, %r15
movq %rax, %r14
movq %r12, %rdi
callq 0x2120
jmp 0x263f
movq %rdx, %r15
movq %rax, %r14
jmp 0x263f
movq %rdx, %r15
movq %rax, %r14
leaq 0x50(%rsp), %rdi
callq 0x2bd8
pushq $0x70
popq %r12
leaq (%rsp,%r12), %rdi
addq $0xd0, %rdi
callq 0x478a
addq $-0x70, %r12
cmpq $-0x70, %r12
jne 0x2643
jmp 0x26a8
movq %rdx, %r15
movq %rax, %r14
leaq 0x90(%rsp), %rdi
callq 0x2e82
jmp 0x267d
movq %rdx, %r15
movq %rax, %r14
movq %r12, %r13
leaq 0xb0(%rsp), %rdi
callq 0x2e82
cmpq %r13, %r12
je 0x26a8
leaq 0xd0(%rsp), %r12
addq $-0x70, %r13
movq %r13, %rdi
callq 0x478a
cmpq %r12, %r13
jne 0x2697
leaq 0x30(%rsp), %rdi
callq 0x308a
cmpl $0x1, %r15d
jne 0x2794
movq %r14, %rdi
callq 0x2070
movq %rax, %r14
movq (%rbx), %rbx
movq 0x7a9f(%rip), %rsi      # 0xa170
leaq 0xd0(%rsp), %rdi
leaq 0x50(%rsp), %rdx
callq 0x2bfa
movq (%r14), %rax
movq %r14, %rdi
callq *0x10(%rax)
leaq 0x10(%rsp), %rdi
leaq 0xa(%rsp), %rdx
movq %rax, %rsi
callq 0x2bfa
leaq 0x39c7(%rip), %rsi      # 0x60cc
leaq 0x30(%rsp), %rdi
leaq 0xb(%rsp), %rdx
callq 0x2bfa
leaq 0xd0(%rsp), %rsi
leaq 0x10(%rsp), %rdx
leaq 0x30(%rsp), %rcx
movq %rbx, %rdi
callq 0x2cc9
leaq 0x30(%rsp), %rdi
callq 0x2090
leaq 0x10(%rsp), %rdi
callq 0x2090
leaq 0xd0(%rsp), %rdi
callq 0x2090
callq 0x2240
pushq $0x1
popq %rax
jmp 0x2579
movq %rax, %r14
leaq 0x30(%rsp), %rdi
callq 0x2090
jmp 0x276e
movq %rax, %r14
leaq 0x10(%rsp), %rdi
callq 0x2090
jmp 0x277d
movq %rax, %r14
leaq 0xd0(%rsp), %rdi
callq 0x2090
jmp 0x278f
movq %rax, %r14
callq 0x2240
movq %r14, %rdi
callq 0x2280
movq %rax, %rdi
callq 0x2d73