// File: /workspace/github_cpp_makefile_star2_O1/halfflat[P]tinyopt/ex/ex4-run.cc
// Function: main
int main(int argc, char** argv) {
    try {
        using namespace to::literals;
        auto help = [argv0 = argv[0]] { to::usage(argv0, usage_str); };

        int a = 0, b = 0, c = 0;
        bool one = false, two = false, three = false;
        std::string save_file;

        to::option opts[] = {
            { to::increment(a), to::flag, "-a"_compact },
            { to::increment(b), to::flag, "-b"_compact },
            { to::increment(c), to::flag, "-c"_compact },
            { to::set(one),     to::flag, "set/one"_compact },
            { to::set(two),     to::flag, "set/two"_compact },
            { to::set(three),   to::flag, "set/three"_compact },
            { save_file,        to::ephemeral, "--save" },
            { to::action(help), to::flag, to::exit, "-h", "--help" }
        };

        auto saved = to::run(opts, argc, argv);
        if (!saved) return 0;

        if (!save_file.empty()) {
            std::ofstream f(save_file);
            f << *saved << '\n';
        }

        if (a>0) std::cout << "a=" << a << '\n';
        if (b>0) std::cout << "b=" << b << '\n';
        if (c>0) std::cout << "c=" << c << '\n';
        if (one) std::cout << "set/one\n";
        if (two) std::cout << "set/two\n";
        if (three) std::cout << "set/three\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 $0x7d8, %rsp            # imm = 0x7D8
movl %edi, 0x74(%rsp)
movq %rsi, 0xa0(%rsp)
movq (%rsi), %rbx
xorl %eax, %eax
leaq 0xc(%rsp), %rcx
movl %eax, (%rcx)
movl %eax, 0x4(%rsp)
movl %eax, 0x8(%rsp)
movb %al, 0x3(%rsp)
movb %al, 0x2(%rsp)
movb %al, 0x1(%rsp)
leaq 0x20(%rsp), %rdx
movq %rdx, -0x10(%rdx)
movq $0x0, -0x8(%rdx)
movb %al, (%rdx)
xorps %xmm0, %xmm0
movaps %xmm0, 0x1c0(%rsp)
movaps %xmm0, 0x1d0(%rsp)
movq %rcx, 0x1c0(%rsp)
leaq 0x1b56(%rip), %r15      # 0x4094
movq %r15, 0x1d8(%rsp)
leaq 0x1b4f(%rip), %r12      # 0x409c
movq %r12, 0x1d0(%rsp)
movl $0x1, 0x70(%rsp)
leaq 0x40(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x4bcd(%rip), %rsi      # 0x713a
leaq 0x4bc8(%rip), %rdx      # 0x713c
leaq 0x30(%rsp), %rdi
callq 0x4004
leaq 0x260(%rsp), %rcx
movq %rcx, -0x10(%rcx)
movq 0x30(%rsp), %rax
cmpq %r13, %rax
je 0x25ab
movq %rax, 0x250(%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x260(%rsp)
jmp 0x25b3
movups (%r13), %xmm0
movups %xmm0, (%rcx)
movq 0x38(%rsp), %rax
leaq 0x250(%rsp), %rcx
movq %rax, 0x8(%rcx)
movl $0x2, 0x20(%rcx)
leaq 0x450(%rsp), %r14
leaq 0x1c0(%rsp), %rsi
leaq 0x70(%rsp), %rdx
movq %r14, %rdi
callq 0x34c4
leaq 0x4c0(%rsp), %r14
xorps %xmm0, %xmm0
movaps %xmm0, 0x1a0(%rsp)
movaps %xmm0, 0x1b0(%rsp)
leaq 0x4(%rsp), %rax
movq %rax, 0x1a0(%rsp)
movq %r15, 0x1b8(%rsp)
movq %r12, 0x1b0(%rsp)
movl $0x1, 0x6c(%rsp)
leaq 0x88(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x4b02(%rip), %rsi      # 0x713d
leaq 0x4afd(%rip), %rdx      # 0x713f
leaq 0x78(%rsp), %rdi
callq 0x4004
movq %r13, 0x30(%rsp)
movq 0x78(%rsp), %rax
cmpq %rbp, %rax
je 0x266f
movq %rax, 0x30(%rsp)
movq 0x88(%rsp), %rax
movq %rax, 0x40(%rsp)
jmp 0x2678
movups (%rbp), %xmm0
movups %xmm0, (%r13)
movq 0x80(%rsp), %rax
leaq 0x30(%rsp), %rcx
movq %rax, 0x8(%rcx)
movl $0x2, 0x20(%rcx)
leaq 0x1a0(%rsp), %rsi
leaq 0x6c(%rsp), %rdx
movq %r14, %rdi
callq 0x34c4
leaq 0x530(%rsp), %r14
xorps %xmm0, %xmm0
movaps %xmm0, 0x180(%rsp)
movaps %xmm0, 0x190(%rsp)
leaq 0x8(%rsp), %rax
movq %rax, 0x180(%rsp)
movq %r15, 0x198(%rsp)
movq %r12, 0x190(%rsp)
movl $0x1, 0x68(%rsp)
leaq 0xb8(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x4a48(%rip), %rsi      # 0x7140
leaq 0x4a43(%rip), %rdx      # 0x7142
leaq 0xa8(%rsp), %rdi
callq 0x4004
movq %rbp, 0x78(%rsp)
movq 0xa8(%rsp), %rax
cmpq %r15, %rax
je 0x2735
movq %rax, 0x78(%rsp)
movq 0xb8(%rsp), %rax
movq %rax, 0x88(%rsp)
jmp 0x273d
movups (%r15), %xmm0
movups %xmm0, (%rbp)
movq 0xb0(%rsp), %rax
leaq 0x78(%rsp), %rcx
movq %rax, 0x8(%rcx)
movl $0x2, 0x20(%rcx)
leaq 0x180(%rsp), %rsi
leaq 0x68(%rsp), %rdx
movq %r14, %rdi
callq 0x34c4
leaq 0x5a0(%rsp), %r14
xorps %xmm0, %xmm0
movaps %xmm0, 0x110(%rsp)
movaps %xmm0, 0x120(%rsp)
leaq 0x3(%rsp), %rax
movq %rax, 0x110(%rsp)
movb $0x1, 0x118(%rsp)
leaq 0x1921(%rip), %r12      # 0x40c2
movq %r12, 0x128(%rsp)
leaq 0x191e(%rip), %r13      # 0x40ce
movq %r13, 0x120(%rsp)
movl $0x1, 0x64(%rsp)
leaq 0x168(%rsp), %rbp
movq %rbp, -0x10(%rbp)
leaq 0x4970(%rip), %rsi      # 0x7143
leaq 0x4970(%rip), %rdx      # 0x714a
leaq 0x158(%rsp), %rdi
callq 0x4004
movq %r15, 0xa8(%rsp)
movq 0x158(%rsp), %rax
cmpq %rbp, %rax
je 0x2816
movq %rax, 0xa8(%rsp)
movq 0x168(%rsp), %rax
movq %rax, 0xb8(%rsp)
jmp 0x281e
movups (%rbp), %xmm0
movups %xmm0, (%r15)
movq 0x160(%rsp), %rax
leaq 0xa8(%rsp), %rcx
movq %rax, 0x8(%rcx)
movl $0x2, 0x20(%rcx)
leaq 0x110(%rsp), %rsi
leaq 0x64(%rsp), %rdx
movq %r14, %rdi
callq 0x34c4
leaq 0x610(%rsp), %r14
xorps %xmm0, %xmm0
movaps %xmm0, 0xf0(%rsp)
movaps %xmm0, 0x100(%rsp)
leaq 0x2(%rsp), %rax
movq %rax, 0xf0(%rsp)
movb $0x1, 0xf8(%rsp)
movq %r12, 0x108(%rsp)
movq %r13, 0x100(%rsp)
movl $0x1, 0x60(%rsp)
leaq 0x140(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x48a2(%rip), %rsi      # 0x714b
leaq 0x48a2(%rip), %rdx      # 0x7152
leaq 0x130(%rsp), %rdi
callq 0x4004
movq %rbp, 0x158(%rsp)
movq 0x130(%rsp), %rax
cmpq %r15, %rax
je 0x28ec
movq %rax, 0x158(%rsp)
movq 0x140(%rsp), %rax
movq %rax, 0x168(%rsp)
jmp 0x28f4
movups (%r15), %xmm0
movups %xmm0, (%rbp)
movq 0x138(%rsp), %rax
leaq 0x158(%rsp), %rcx
movq %rax, 0x8(%rcx)
movl $0x2, 0x20(%rcx)
leaq 0xf0(%rsp), %rsi
leaq 0x60(%rsp), %rdx
movq %r14, %rdi
callq 0x34c4
leaq 0x680(%rsp), %r14
xorps %xmm0, %xmm0
movaps %xmm0, 0xd0(%rsp)
movaps %xmm0, 0xe0(%rsp)
leaq 0x1(%rsp), %rax
movq %rax, 0xd0(%rsp)
movb $0x1, 0xd8(%rsp)
movq %r12, 0xe8(%rsp)
movq %r13, 0xe0(%rsp)
movl $0x1, 0x5c(%rsp)
leaq 0x200(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x47d3(%rip), %rsi      # 0x7153
leaq 0x47d5(%rip), %rdx      # 0x715c
leaq 0x1f0(%rsp), %rdi
callq 0x4004
movq %r15, 0x130(%rsp)
movq 0x1f0(%rsp), %rax
cmpq %r12, %rax
je 0x29c3
movq %rax, 0x130(%rsp)
movq 0x200(%rsp), %rax
movq %rax, 0x140(%rsp)
jmp 0x29cc
movups (%r12), %xmm0
movups %xmm0, (%r15)
movq 0x1f8(%rsp), %rax
leaq 0x130(%rsp), %rcx
movq %rax, 0x8(%rcx)
movl $0x2, 0x20(%rcx)
leaq 0xd0(%rsp), %rsi
leaq 0x5c(%rsp), %rdx
movq %r14, %rdi
callq 0x34c4
leaq 0x6f0(%rsp), %r14
xorps %xmm0, %xmm0
leaq 0x230(%rsp), %rsi
movaps %xmm0, (%rsi)
movaps %xmm0, 0x10(%rsi)
leaq 0x10(%rsp), %rax
movq %rax, (%rsi)
leaq 0x1b47(%rip), %rax      # 0x456c
movq %rax, 0x18(%rsi)
leaq 0x1b42(%rip), %rax      # 0x4572
movq %rax, 0x10(%rsi)
leaq 0x1f0(%rsp), %rdx
movl $0x2, (%rdx)
leaq 0x4714(%rip), %rcx      # 0x715d
movq %r14, %rdi
callq 0x3578
leaq 0x760(%rsp), %r14
leaq 0x210(%rsp), %rsi
xorps %xmm0, %xmm0
movaps %xmm0, (%rsi)
movaps %xmm0, 0x10(%rsi)
movq %rbx, (%rsi)
leaq 0x95f(%rip), %rax       # 0x33d4
movq %rax, 0x18(%rsi)
leaq 0xa1e(%rip), %rax       # 0x349e
movq %rax, 0x10(%rsi)
leaq 0x1ec(%rsp), %rdx
movl $0x1, (%rdx)
leaq 0x1e8(%rsp), %rcx
movl $0x10, (%rcx)
leaq 0x46bd(%rip), %r8       # 0x7164
leaq 0x46b9(%rip), %r9       # 0x7167
movq %r14, %rdi
callq 0x362c
movq 0x220(%rsp), %rax
testq %rax, %rax
je 0x2ad5
leaq 0x210(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x240(%rsp), %rax
testq %rax, %rax
je 0x2af4
leaq 0x230(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x130(%rsp), %rdi
cmpq %r15, %rdi
je 0x2b11
movq 0x140(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0xe0(%rsp), %rax
testq %rax, %rax
leaq 0xb8(%rsp), %r15
je 0x2b38
leaq 0xd0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x158(%rsp), %rdi
cmpq %rbp, %rdi
je 0x2b55
movq 0x168(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x100(%rsp), %rax
testq %rax, %rax
leaq 0x40(%rsp), %rbx
leaq 0x88(%rsp), %r14
je 0x2b81
leaq 0xf0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0xa8(%rsp), %rdi
cmpq %r15, %rdi
je 0x2b9e
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x120(%rsp), %rax
testq %rax, %rax
je 0x2bbd
leaq 0x110(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x78(%rsp), %rdi
cmpq %r14, %rdi
je 0x2bd7
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x190(%rsp), %rax
testq %rax, %rax
je 0x2bf6
leaq 0x180(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x30(%rsp), %rdi
cmpq %rbx, %rdi
je 0x2c0d
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x1b0(%rsp), %rax
testq %rax, %rax
je 0x2c2c
leaq 0x1a0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x250(%rsp), %rdi
leaq 0x260(%rsp), %rax
cmpq %rax, %rdi
je 0x2c51
movq 0x260(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x1d0(%rsp), %rax
testq %rax, %rax
je 0x2c70
leaq 0x1c0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
xorps %xmm0, %xmm0
leaq 0x250(%rsp), %r8
movaps %xmm0, (%r8)
movq $0x0, 0x10(%r8)
leaq 0x30(%rsp), %rdi
leaq 0x450(%rsp), %rsi
leaq 0x74(%rsp), %rdx
movq 0xa0(%rsp), %rcx
callq 0x36e6
leaq 0x250(%rsp), %rdi
callq 0x39e4
cmpb $0x0, 0x30(%rsp)
je 0x2e65
cmpq $0x0, 0x18(%rsp)
je 0x2d3c
leaq 0x250(%rsp), %rdi
leaq 0x10(%rsp), %rsi
movl $0x10, %edx
callq 0x22a0
leaq 0x38(%rsp), %rsi
leaq 0x250(%rsp), %rdi
callq 0x3a3f
leaq 0x78(%rsp), %rsi
movb $0xa, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x21a0
movq 0x82bd(%rip), %rax      # 0xafc8
movq (%rax), %rcx
movq 0x18(%rax), %rax
leaq 0x258(%rsp), %rdi
movq %rcx, -0x8(%rdi)
movq -0x18(%rcx), %rcx
movq %rax, 0x250(%rsp,%rcx)
callq 0x2130
leaq 0x348(%rsp), %rdi
callq 0x2060
cmpl $0x0, 0xc(%rsp)
jle 0x2d80
movq 0x8286(%rip), %rdi      # 0xafd0
leaq 0x441d(%rip), %rsi      # 0x716e
movl $0x2, %edx
callq 0x21a0
movl 0xc(%rsp), %esi
movq 0x826a(%rip), %rdi      # 0xafd0
callq 0x2260
leaq 0x78(%rsp), %rsi
movb $0xa, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x21a0
cmpl $0x0, 0x4(%rsp)
jle 0x2dc4
movq 0x8242(%rip), %rdi      # 0xafd0
leaq 0x43dc(%rip), %rsi      # 0x7171
movl $0x2, %edx
callq 0x21a0
movl 0x4(%rsp), %esi
movq 0x8226(%rip), %rdi      # 0xafd0
callq 0x2260
leaq 0x78(%rsp), %rsi
movb $0xa, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x21a0
cmpl $0x0, 0x8(%rsp)
jle 0x2e08
movq 0x81fe(%rip), %rdi      # 0xafd0
leaq 0x439b(%rip), %rsi      # 0x7174
movl $0x2, %edx
callq 0x21a0
movl 0x8(%rsp), %esi
movq 0x81e2(%rip), %rdi      # 0xafd0
callq 0x2260
leaq 0x78(%rsp), %rsi
movb $0xa, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x21a0
cmpb $0x1, 0x3(%rsp)
jne 0x2e27
movq 0x81ba(%rip), %rdi      # 0xafd0
leaq 0x435a(%rip), %rsi      # 0x7177
movl $0x8, %edx
callq 0x21a0
cmpb $0x1, 0x2(%rsp)
jne 0x2e46
movq 0x819b(%rip), %rdi      # 0xafd0
leaq 0x4344(%rip), %rsi      # 0x7180
movl $0x8, %edx
callq 0x21a0
cmpb $0x1, 0x1(%rsp)
jne 0x2e65
movq 0x817c(%rip), %rdi      # 0xafd0
leaq 0x432e(%rip), %rsi      # 0x7189
movl $0xa, %edx
callq 0x21a0
cmpb $0x1, 0x30(%rsp)
jne 0x2e76
leaq 0x38(%rsp), %rdi
callq 0x39e4
movl $0x380, %r14d           # imm = 0x380
leaq (%rsp,%r14), %rdi
addq $0x430, %rdi            # imm = 0x430
callq 0x3c80
leaq (%rsp,%r14), %rdi
addq $0x418, %rdi            # imm = 0x418
callq 0x3cb0
leaq (%rsp,%r14), %rbx
addq $0x400, %rbx            # imm = 0x400
movq %rbx, %rdi
callq 0x3ce0
movq -0x10(%rbx), %rax
testq %rax, %rax
je 0x2ecd
leaq (%rsp,%r14), %rdi
addq $0x3e0, %rdi            # imm = 0x3E0
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
addq $-0x70, %r14
jne 0x2e7c
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x2eef
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x2170
xorl %eax, %eax
addq $0x7d8, %rsp            # imm = 0x7D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x31f4
movq %rdx, %r13
movq %rax, %r12
leaq 0x250(%rsp), %rdi
callq 0x21f0
jmp 0x31fa
jmp 0x33cb
jmp 0x33cb
jmp 0x33cb
jmp 0x33cb
jmp 0x33cb
jmp 0x33cb
jmp 0x33cb
jmp 0x33cb
movq %rdx, %r13
movq %rax, %r12
leaq 0x250(%rsp), %rdi
callq 0x39e4
jmp 0x3210
movq %rdx, %r13
movq %rax, %r12
movq 0x220(%rsp), %rax
testq %rax, %rax
je 0x2f92
leaq 0x210(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0x2f92
jmp 0x33cb
movq %rdx, %r13
movq %rax, %r12
movq 0x240(%rsp), %rax
testq %rax, %rax
je 0x2fbe
leaq 0x230(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0x2fbe
jmp 0x33cb
movq %rdx, %r13
movq %rax, %r12
movq 0x130(%rsp), %rdi
cmpq %r15, %rdi
je 0x2fe3
movq 0x140(%rsp), %rsi
incq %rsi
callq 0x2170
jmp 0x2fe3
movq %rdx, %r13
movq %rax, %r12
movq 0xe0(%rsp), %rax
testq %rax, %rax
je 0x300f
leaq 0xd0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0x300f
jmp 0x33cb
movq %rdx, %r13
movq %rax, %r12
movq 0x158(%rsp), %rdi
cmpq %rbp, %rdi
je 0x3034
movq 0x168(%rsp), %rsi
incq %rsi
callq 0x2170
jmp 0x3034
movq %rdx, %r13
movq %rax, %r12
movq 0x100(%rsp), %rax
testq %rax, %rax
je 0x3060
leaq 0xf0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
jmp 0x3060
jmp 0x33cb
movq %rdx, %r13
movq %rax, %r12
movq 0xa8(%rsp), %rdi
leaq 0xb8(%rsp), %rax
cmpq %rax, %rdi
je 0x3085
movq 0xb8(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x120(%rsp), %rax
testq %rax, %rax
je 0x30a4
leaq 0x110(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x78(%rsp), %rdi
leaq 0x88(%rsp), %rax
cmpq %rax, %rdi
je 0x30c6
movq 0x88(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x190(%rsp), %rax
testq %rax, %rax
je 0x30e5
leaq 0x180(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x30(%rsp), %rdi
leaq 0x40(%rsp), %rax
cmpq %rax, %rdi
je 0x3101
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x1b0(%rsp), %rax
testq %rax, %rax
je 0x3120
leaq 0x1a0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
movq 0x250(%rsp), %rdi
leaq 0x260(%rsp), %rax
cmpq %rax, %rdi
je 0x3145
movq 0x260(%rsp), %rsi
incq %rsi
callq 0x2170
movq 0x1d0(%rsp), %rax
testq %rax, %rax
je 0x3164
leaq 0x1c0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x450(%rsp), %rbx
cmpq %r14, %rbx
je 0x322f
addq $-0x70, %r14
movq %r14, %rdi
callq 0x574a
cmpq %rbx, %r14
jne 0x3175
jmp 0x322f
jmp 0x33cb
jmp 0x33cb
jmp 0x33cb
jmp 0x33cb
movq %rdx, %r13
movq %rax, %r12
jmp 0x3085
movq %rdx, %r13
movq %rax, %r12
jmp 0x30a4
movq %rdx, %r13
movq %rax, %r12
jmp 0x30c6
movq %rdx, %r13
movq %rax, %r12
jmp 0x30e5
movq %rdx, %r13
movq %rax, %r12
jmp 0x3101
movq %rdx, %r13
movq %rax, %r12
jmp 0x3120
movq %rdx, %r13
movq %rax, %r12
leaq 0x450(%rsp), %r14
jmp 0x3145
movq %rdx, %r13
movq %rax, %r12
cmpb $0x1, 0x30(%rsp)
jne 0x320b
leaq 0x38(%rsp), %rdi
callq 0x39e4
movb $0x0, 0x30(%rsp)
movl $0x310, %ebx            # imm = 0x310
leaq (%rsp,%rbx), %rdi
addq $0x450, %rdi            # imm = 0x450
callq 0x574a
addq $-0x70, %rbx
cmpq $-0x70, %rbx
jne 0x3215
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x324b
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x2170
cmpl $0x1, %r13d
jne 0x33c1
movq %r12, %rdi
callq 0x2090
movq %rax, %r14
movq 0xa0(%rsp), %rax
movq (%rax), %rbx
movq 0x7ef6(%rip), %rsi      # 0xb168
leaq 0x450(%rsp), %rdi
leaq 0xc(%rsp), %rdx
callq 0x3c38
movq (%r14), %rax
movq %r14, %rdi
callq *0x10(%rax)
leaq 0x250(%rsp), %rdi
leaq 0x4(%rsp), %rdx
movq %rax, %rsi
callq 0x3c38
leaq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
movq %rax, (%rdi)
leaq 0x3ede(%rip), %rsi      # 0x7194
leaq 0x3ede(%rip), %rdx      # 0x719b
callq 0x4004
leaq 0x450(%rsp), %rsi
leaq 0x250(%rsp), %rdx
leaq 0x10(%rsp), %rcx
movq %rbx, %rdi
callq 0x3b06
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x32fb
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x2170
leaq 0x260(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x331c
movq 0x260(%rsp), %rsi
incq %rsi
callq 0x2170
leaq 0x460(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x333d
movq 0x460(%rsp), %rsi
incq %rsi
callq 0x2170
callq 0x2230
movl $0x1, %eax
jmp 0x2ef1
movq %rax, %r12
movq 0x10(%rsp), %rdi
leaq 0x20(%rsp), %rax
cmpq %rax, %rdi
je 0x3370
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x2170
jmp 0x3370
movq %rax, %r12
leaq 0x260(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x3396
movq 0x260(%rsp), %rsi
incq %rsi
callq 0x2170
jmp 0x3396
movq %rax, %r12
leaq 0x460(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x33bc
movq 0x460(%rsp), %rsi
incq %rsi
callq 0x2170
jmp 0x33bc
movq %rax, %r12
callq 0x2230
movq %r12, %rdi
callq 0x2270
jmp 0x33cb
movq %rax, %rdi
callq 0x3c75
nop