// File: halfflat[P]tinyopt/include/tinyopt/tinyopt.h
// Function: to::maybe<to::saved_options> to::run<to::option [5]>(to::option const (&) [5], int&, char**, to::saved_options const&)
maybe<saved_options> run(const Options& options, int& argc, char** argv, const saved_options& restore = saved_options{}) {
    using std::begin;
    using std::end;
    std::vector<impl::counted_option> opts(begin(options), end(options));
    auto r_args = restore.as_arglist();

    saved_options coll1, coll2;
    if (coll1 << impl::run(opts, r_args.argc, r_args.argv) && coll2 << impl::run(opts, argc, argv)) {
        for (auto& o: opts) {
            if (o.is_mandatory && !o.count) throw missing_mandatory_option(o.longest_label());
        }
        return coll1 += coll2;
    }

    return nothing;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1d0, %rsp            # imm = 0x1D0
movq %rdi, -0x1b0(%rbp)
movq %rdi, %rax
movq %rax, -0x1a8(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq -0x10(%rbp), %rdi
callq 0x9800
movq %rax, -0x1a0(%rbp)
movq -0x10(%rbp), %rdi
callq 0x9810
movq %rax, -0x198(%rbp)
leaq -0x41(%rbp), %rdi
movq %rdi, -0x190(%rbp)
callq 0x9830
movq -0x1a0(%rbp), %rsi
movq -0x198(%rbp), %rdx
movq -0x190(%rbp), %rcx
leaq -0x40(%rbp), %rdi
callq 0x9850
jmp 0x4340
leaq -0x41(%rbp), %rdi
callq 0x98d0
movq -0x28(%rbp), %rsi
leaq -0x80(%rbp), %rdi
callq 0x98f0
jmp 0x4358
leaq -0x98(%rbp), %rdi
callq 0x4730
leaq -0xb0(%rbp), %rdi
callq 0x4730
movq -0x78(%rbp), %rcx
movb $0x0, -0x131(%rbp)
movb $0x0, -0x132(%rbp)
leaq -0xf0(%rbp), %rdi
leaq -0x40(%rbp), %rsi
leaq -0x80(%rbp), %rdx
callq 0x9a90
jmp 0x4398
leaq -0xd0(%rbp), %rdi
leaq -0x98(%rbp), %rsi
leaq -0xf0(%rbp), %rdx
callq 0x9a20
jmp 0x43b4
leaq -0xd0(%rbp), %rdi
callq 0xa150
movb %al, %cl
xorl %eax, %eax
testb $0x1, %cl
movb %al, -0x1b1(%rbp)
jne 0x43d1
jmp 0x4427
movq -0x18(%rbp), %rdx
movq -0x20(%rbp), %rcx
leaq -0x130(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x9a90
jmp 0x43eb
movb $0x1, -0x131(%rbp)
leaq -0x110(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
leaq -0x130(%rbp), %rdx
callq 0x9a20
jmp 0x440e
movb $0x1, -0x132(%rbp)
leaq -0x110(%rbp), %rdi
callq 0xa150
movb %al, -0x1b1(%rbp)
movb -0x1b1(%rbp), %al
movb %al, -0x1b2(%rbp)
testb $0x1, -0x132(%rbp)
jne 0x443e
jmp 0x444a
leaq -0x110(%rbp), %rdi
callq 0x4750
testb $0x1, -0x131(%rbp)
jne 0x4455
jmp 0x4461
leaq -0x130(%rbp), %rdi
callq 0x4750
leaq -0xd0(%rbp), %rdi
callq 0x4750
leaq -0xf0(%rbp), %rdi
callq 0x4750
movb -0x1b2(%rbp), %al
testb $0x1, %al
jne 0x4488
jmp 0x469e
leaq -0x40(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rdi
callq 0xa170
movq %rax, -0x148(%rbp)
movq -0x140(%rbp), %rdi
callq 0xa1a0
movq %rax, -0x150(%rbp)
leaq -0x148(%rbp), %rdi
leaq -0x150(%rbp), %rsi
callq 0xa1d0
testb $0x1, %al
jne 0x44d5
jmp 0x4661
leaq -0x148(%rbp), %rdi
callq 0xa210
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
testb $0x1, 0x6b(%rax)
je 0x464e
movq -0x158(%rbp), %rax
cmpl $0x0, 0x70(%rax)
jne 0x464e
movb $0x1, -0x179(%rbp)
movl $0x30, %edi
callq 0x30f0
movq %rax, -0x1c0(%rbp)
movq -0x158(%rbp), %rsi
leaq -0x178(%rbp), %rdi
callq 0xa230
jmp 0x4537
movq -0x1c0(%rbp), %rdi
leaq -0x178(%rbp), %rsi
callq 0xa300
jmp 0x454c
movq -0x1c0(%rbp), %rdi
movb $0x0, -0x179(%rbp)
leaq 0x1678f(%rip), %rsi     # 0x1acf0
leaq 0x5e88(%rip), %rdx      # 0xa3f0
callq 0x3310
jmp 0x4721
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x41(%rbp), %rdi
callq 0x98d0
jmp 0x4718
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x470f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x46ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x45fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x45ef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
testb $0x1, -0x131(%rbp)
jne 0x45e1
jmp 0x45ed
leaq -0x130(%rbp), %rdi
callq 0x4750
jmp 0x45ef
leaq -0xd0(%rbp), %rdi
callq 0x4750
leaq -0xf0(%rbp), %rdi
callq 0x4750
jmp 0x46ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
jmp 0x4632
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x50(%rbp)
movl %eax, -0x54(%rbp)
leaq -0x178(%rbp), %rdi
callq 0x3130
testb $0x1, -0x179(%rbp)
jne 0x463d
jmp 0x4649
movq -0x1c0(%rbp), %rdi
callq 0x3170
jmp 0x46ee
jmp 0x4650
leaq -0x148(%rbp), %rdi
callq 0xa410
jmp 0x44b9
leaq -0x98(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
callq 0xa430
movq %rax, -0x1c8(%rbp)
jmp 0x467d
movq -0x1c8(%rbp), %rsi
movq -0x1b0(%rbp), %rdi
callq 0xa4a0
jmp 0x4692
movl $0x1, -0x180(%rbp)
jmp 0x46b4
movq -0x1b0(%rbp), %rdi
callq 0xa4d0
movl $0x1, -0x180(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x4780
leaq -0x98(%rbp), %rdi
callq 0x4780
leaq -0x80(%rbp), %rdi
callq 0xa4f0
leaq -0x40(%rbp), %rdi
callq 0xa510
movq -0x1a8(%rbp), %rax
addq $0x1d0, %rsp            # imm = 0x1D0
popq %rbp
retq
leaq -0xb0(%rbp), %rdi
callq 0x4780
leaq -0x98(%rbp), %rdi
callq 0x4780
leaq -0x80(%rbp), %rdi
callq 0xa4f0
leaq -0x40(%rbp), %rdi
callq 0xa510
movq -0x50(%rbp), %rdi
callq 0x3320
nopw %cs:(%rax,%rax)
nopl (%rax,%rax)