// File: halfflat[P]tinyopt/test/test_run.cc
// Function: run_keyless_Test::TestBody()
TEST(run, keyless) {
    bool a = false;
    std::string kl_first;
    int kl_second = 0;

    to::option opts[] = {
        {kl_first, to::single},
        {kl_second, to::single},
        {to::set(a), "-a", to::flag}
    };

    mockargs M1("first\0002\0");
    auto r1 = to::run(opts, M1.argc, M1.argv);
    ASSERT_TRUE(r1);
    EXPECT_EQ((svector{"first", "2"}), svector(r1->begin(), r1->end()));
    EXPECT_EQ("first"s, kl_first);
    EXPECT_EQ(2, kl_second);

    a = false;
    kl_first = "";
    kl_second = 0;

    mockargs M2("-a\0foo\0003\0");
    auto r2 = to::run(opts, M2.argc, M2.argv);
    ASSERT_TRUE(r2);
    EXPECT_EQ((svector{"-a", "foo", "3"}), svector(r2->begin(), r2->end()));
    EXPECT_TRUE(a);
    EXPECT_EQ("foo"s, kl_first);
    EXPECT_EQ(3, kl_second);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x820, %rsp            # imm = 0x820
movq %rdi, -0x8(%rbp)
movb $0x0, -0x9(%rbp)
leaq -0x30(%rbp), %rdi
movq %rdi, -0x638(%rbp)
callq 0x10b60
movq -0x638(%rbp), %rsi
movl $0x0, -0x34(%rbp)
movb $0x1, -0x215(%rbp)
leaq -0x190(%rbp), %rax
movq %rax, -0x198(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x38df0
jmp 0x6bb14
movl $0x4, -0x1c8(%rbp)
leaq -0x190(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
leaq -0x1c8(%rbp), %rdx
callq 0x6ef40
jmp 0x6bb3a
leaq -0x120(%rbp), %rax
movq %rax, -0x640(%rbp)
movq %rax, -0x198(%rbp)
leaq -0x1e8(%rbp), %rdi
leaq -0x34(%rbp), %rsi
callq 0x1d5a0
jmp 0x6bb61
movq -0x640(%rbp), %rdi
movl $0x4, -0x1ec(%rbp)
leaq -0x1e8(%rbp), %rsi
leaq -0x1ec(%rbp), %rdx
callq 0x6ef40
jmp 0x6bb87
leaq -0xb0(%rbp), %rax
movq %rax, -0x648(%rbp)
movq %rax, -0x198(%rbp)
leaq -0x210(%rbp), %rdi
leaq -0x9(%rbp), %rsi
callq 0x6df00
jmp 0x6bbae
movq -0x648(%rbp), %rdi
movl $0x1, -0x214(%rbp)
leaq 0x5daba(%rip), %rdx     # 0xc9680
leaq -0x210(%rbp), %rsi
leaq -0x214(%rbp), %rcx
callq 0x6df30
jmp 0x6bbdb
movb $0x0, -0x215(%rbp)
leaq -0x210(%rbp), %rdi
callq 0x1d540
leaq -0x1e8(%rbp), %rdi
callq 0x1d540
leaq -0x1b8(%rbp), %rdi
callq 0x1d540
leaq 0x5febd(%rip), %rsi     # 0xcbaca
leaq -0x240(%rbp), %rdi
callq 0x4bfe0
jmp 0x6bc1b
movq -0x238(%rbp), %rax
movq %rax, -0x658(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x280(%rbp)
movq $0x0, -0x270(%rbp)
leaq -0x280(%rbp), %rdi
movq %rdi, -0x650(%rbp)
callq 0x611a0
movq -0x658(%rbp), %rcx
movq -0x650(%rbp), %r8
leaq -0x260(%rbp), %rdi
leaq -0x190(%rbp), %rsi
leaq -0x240(%rbp), %rdx
callq 0x6f000
jmp 0x6bc7b
leaq -0x280(%rbp), %rdi
callq 0x61330
xorl %eax, %eax
movl %eax, %edx
leaq -0x290(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x6e4b0
jmp 0x6bca0
leaq -0x290(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x659(%rbp)
jmp 0x6bcb4
movb -0x659(%rbp), %al
testb $0x1, %al
jne 0x6bcc3
jmp 0x6bdff
jmp 0x6bf0d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6bd3a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6bd2e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6bd22
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x210(%rbp), %rdi
callq 0x1d540
leaq -0x1e8(%rbp), %rdi
callq 0x1d540
leaq -0x1b8(%rbp), %rdi
callq 0x1d540
testb $0x1, -0x215(%rbp)
jne 0x6bd45
jmp 0x6bd92
movq -0x198(%rbp), %rax
leaq -0x190(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x668(%rbp)
je 0x6bd90
movq -0x668(%rbp), %rdi
addq $-0x70, %rdi
movq %rdi, -0x670(%rbp)
callq 0x38ed0
movq -0x670(%rbp), %rax
leaq -0x190(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x668(%rbp)
jne 0x6bd5f
jmp 0x6bd92
jmp 0x6d338
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6d2ea
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x280(%rbp), %rdi
callq 0x61330
jmp 0x6d2de
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6d2d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c16f
leaq -0x298(%rbp), %rdi
callq 0x84210
jmp 0x6be0d
leaq 0x5cfb7(%rip), %rdx     # 0xc8dcb
leaq 0x5c634(%rip), %rcx     # 0xc844f
leaq 0x5c633(%rip), %r8      # 0xc8455
leaq -0x2c0(%rbp), %rdi
leaq -0x290(%rbp), %rsi
callq 0x7d210
jmp 0x6be37
leaq -0x2c0(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0x5f74d(%rip), %rdx     # 0xcb59a
leaq -0x2a0(%rbp), %rdi
movl $0x2, %esi
movl $0xd9, %ecx
callq 0x80580
jmp 0x6be65
leaq -0x2a0(%rbp), %rdi
leaq -0x298(%rbp), %rsi
callq 0x7d370
jmp 0x6be7a
leaq -0x2a0(%rbp), %rdi
callq 0x80600
leaq -0x2c0(%rbp), %rdi
callq 0x10fc8
leaq -0x298(%rbp), %rdi
callq 0x1d500
movl $0x1, -0x2c4(%rbp)
jmp 0x6bf17
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6befc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6bef0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x2a0(%rbp), %rdi
callq 0x80600
leaq -0x2c0(%rbp), %rdi
callq 0x10fc8
leaq -0x298(%rbp), %rdi
callq 0x1d500
jmp 0x6c16f
movl $0x0, -0x2c4(%rbp)
leaq -0x290(%rbp), %rdi
callq 0x1d520
movl -0x2c4(%rbp), %eax
testl %eax, %eax
jne 0x6d238
jmp 0x6bf33
movb $0x1, -0x34b(%rbp)
leaq -0x340(%rbp), %rax
movq %rax, -0x680(%rbp)
movq %rax, -0x348(%rbp)
leaq -0x349(%rbp), %rdi
movq %rdi, -0x678(%rbp)
callq 0x10e10
movq -0x680(%rbp), %rdi
movq -0x678(%rbp), %rdx
leaq 0x5fa98(%rip), %rsi     # 0xcba0f
callq 0x1d070
jmp 0x6bf7e
leaq -0x320(%rbp), %rax
movq %rax, -0x690(%rbp)
movq %rax, -0x348(%rbp)
leaq -0x34a(%rbp), %rdi
movq %rdi, -0x688(%rbp)
callq 0x10e10
movq -0x690(%rbp), %rdi
movq -0x688(%rbp), %rdx
leaq 0x5e30b(%rip), %rsi     # 0xca2c6
callq 0x1d070
jmp 0x6bfc2
movb $0x0, -0x34b(%rbp)
leaq -0x340(%rbp), %rax
movq %rax, -0x300(%rbp)
movq $0x2, -0x2f8(%rbp)
leaq -0x34c(%rbp), %rdi
movq %rdi, -0x698(%rbp)
callq 0x39000
movq -0x698(%rbp), %rcx
movq -0x300(%rbp), %rsi
movq -0x2f8(%rbp), %rdx
leaq -0x2f0(%rbp), %rdi
callq 0x39020
jmp 0x6c018
leaq -0x260(%rbp), %rdi
movq %rdi, -0x6a8(%rbp)
callq 0x6e4f0
movq %rax, %rdi
callq 0x416b0
movq -0x6a8(%rbp), %rdi
movq %rax, -0x370(%rbp)
callq 0x6e4f0
movq %rax, %rdi
callq 0x416e0
movq %rax, -0x378(%rbp)
leaq -0x379(%rbp), %rdi
movq %rdi, -0x6a0(%rbp)
callq 0x39000
movq -0x6a0(%rbp), %rcx
movq -0x370(%rbp), %rsi
movq -0x378(%rbp), %rdx
leaq -0x368(%rbp), %rdi
callq 0x6e510
jmp 0x6c08b
leaq 0x5f959(%rip), %rsi     # 0xcb9eb
leaq 0x5f574(%rip), %rdx     # 0xcb60d
leaq -0x2d8(%rbp), %rdi
leaq -0x2f0(%rbp), %rcx
leaq -0x368(%rbp), %r8
callq 0x38fb0
jmp 0x6c0b5
leaq -0x368(%rbp), %rdi
callq 0x390a0
leaq -0x379(%rbp), %rdi
callq 0x39100
leaq -0x2f0(%rbp), %rdi
callq 0x390a0
leaq -0x34c(%rbp), %rdi
callq 0x39100
leaq -0x340(%rbp), %rax
movq %rax, -0x6b8(%rbp)
addq $0x40, %rax
movq %rax, -0x6b0(%rbp)
movq -0x6b0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x6c0(%rbp)
callq 0x10fc8
movq -0x6b8(%rbp), %rcx
movq -0x6c0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x6b0(%rbp)
jne 0x6c0fe
leaq -0x34a(%rbp), %rdi
callq 0x10810
leaq -0x349(%rbp), %rdi
callq 0x10810
leaq -0x2d8(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x6c1(%rbp)
jmp 0x6c15b
movb -0x6c1(%rbp), %al
testb $0x1, %al
jne 0x6c16a
jmp 0x6c2f0
jmp 0x6c3a8
leaq -0x290(%rbp), %rdi
callq 0x1d520
jmp 0x6d2d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c270
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c264
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c20c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c1f4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x368(%rbp), %rdi
callq 0x390a0
leaq -0x379(%rbp), %rdi
callq 0x39100
leaq -0x2f0(%rbp), %rdi
callq 0x390a0
leaq -0x34c(%rbp), %rdi
callq 0x39100
leaq -0x340(%rbp), %rax
movq %rax, -0x6d8(%rbp)
addq $0x40, %rax
movq %rax, -0x6d0(%rbp)
movq -0x6d0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x6e0(%rbp)
callq 0x10fc8
movq -0x6d8(%rbp), %rcx
movq -0x6e0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x6d0(%rbp)
jne 0x6c231
jmp 0x6c264
leaq -0x34a(%rbp), %rdi
callq 0x10810
leaq -0x349(%rbp), %rdi
callq 0x10810
testb $0x1, -0x34b(%rbp)
jne 0x6c287
jmp 0x6c2d4
movq -0x348(%rbp), %rax
leaq -0x340(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x6e8(%rbp)
je 0x6c2d2
movq -0x6e8(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x6f0(%rbp)
callq 0x10fc8
movq -0x6f0(%rbp), %rax
leaq -0x340(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x6e8(%rbp)
jne 0x6c2a1
jmp 0x6c2d4
jmp 0x6d2d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c426
leaq -0x388(%rbp), %rdi
callq 0x84210
jmp 0x6c2fe
leaq -0x2d8(%rbp), %rdi
callq 0x1d620
movq %rax, -0x6f8(%rbp)
jmp 0x6c313
movq -0x6f8(%rbp), %r8
leaq 0x5f279(%rip), %rdx     # 0xcb59a
leaq -0x390(%rbp), %rdi
movl $0x1, %esi
movl $0xda, %ecx
callq 0x80580
jmp 0x6c339
leaq -0x390(%rbp), %rdi
leaq -0x388(%rbp), %rsi
callq 0x7d370
jmp 0x6c34e
leaq -0x390(%rbp), %rdi
callq 0x80600
leaq -0x388(%rbp), %rdi
callq 0x1d500
jmp 0x6c3a8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c39a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x390(%rbp), %rdi
callq 0x80600
leaq -0x388(%rbp), %rdi
callq 0x1d500
jmp 0x6c426
leaq -0x2d8(%rbp), %rdi
callq 0x1d520
leaq 0x5f654(%rip), %rsi     # 0xcba0f
leaq -0x3c0(%rbp), %rdi
movl $0x5, %edx
callq 0x39200
jmp 0x6c3ce
leaq 0x5f62e(%rip), %rsi     # 0xcba03
leaq 0x5f630(%rip), %rdx     # 0xcba0c
leaq -0x3a0(%rbp), %rdi
leaq -0x3c0(%rbp), %rcx
leaq -0x30(%rbp), %r8
callq 0x391b0
jmp 0x6c3f5
leaq -0x3c0(%rbp), %rdi
callq 0x10fc8
leaq -0x3a0(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x6f9(%rbp)
jmp 0x6c415
movb -0x6f9(%rbp), %al
testb $0x1, %al
jne 0x6c421
jmp 0x6c471
jmp 0x6c529
leaq -0x2d8(%rbp), %rdi
callq 0x1d520
jmp 0x6d2d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x3c0(%rbp), %rdi
callq 0x10fc8
jmp 0x6d2d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c58b
leaq -0x3c8(%rbp), %rdi
callq 0x84210
jmp 0x6c47f
leaq -0x3a0(%rbp), %rdi
callq 0x1d620
movq %rax, -0x708(%rbp)
jmp 0x6c494
movq -0x708(%rbp), %r8
leaq 0x5f0f8(%rip), %rdx     # 0xcb59a
leaq -0x3d0(%rbp), %rdi
movl $0x1, %esi
movl $0xdb, %ecx
callq 0x80580
jmp 0x6c4ba
leaq -0x3d0(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
callq 0x7d370
jmp 0x6c4cf
leaq -0x3d0(%rbp), %rdi
callq 0x80600
leaq -0x3c8(%rbp), %rdi
callq 0x1d500
jmp 0x6c529
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c51b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x3d0(%rbp), %rdi
callq 0x80600
leaq -0x3c8(%rbp), %rdi
callq 0x1d500
jmp 0x6c58b
leaq -0x3a0(%rbp), %rdi
callq 0x1d520
movl $0x2, -0x3e4(%rbp)
leaq 0x5dd80(%rip), %rsi     # 0xca2c6
leaq 0x5f4c8(%rip), %rdx     # 0xcba15
leaq -0x3e0(%rbp), %rdi
leaq -0x3e4(%rbp), %rcx
leaq -0x34(%rbp), %r8
callq 0x1d5d0
jmp 0x6c566
leaq -0x3e0(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x709(%rbp)
jmp 0x6c57a
movb -0x709(%rbp), %al
testb $0x1, %al
jne 0x6c586
jmp 0x6c5b3
jmp 0x6c66e
leaq -0x3a0(%rbp), %rdi
callq 0x1d520
jmp 0x6d2d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c756
leaq -0x3f0(%rbp), %rdi
callq 0x84210
jmp 0x6c5c1
leaq -0x3e0(%rbp), %rdi
callq 0x1d620
movq %rax, -0x718(%rbp)
jmp 0x6c5d6
movq -0x718(%rbp), %r8
leaq 0x5efb6(%rip), %rdx     # 0xcb59a
leaq -0x3f8(%rbp), %rdi
movl $0x1, %esi
movl $0xdc, %ecx
callq 0x80580
jmp 0x6c5fc
leaq -0x3f8(%rbp), %rdi
leaq -0x3f0(%rbp), %rsi
callq 0x7d370
jmp 0x6c611
leaq -0x3f8(%rbp), %rdi
callq 0x80600
leaq -0x3f0(%rbp), %rdi
callq 0x1d500
jmp 0x6c66e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c65d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x3f8(%rbp), %rdi
callq 0x80600
leaq -0x3f0(%rbp), %rdi
callq 0x1d500
jmp 0x6c756
leaq -0x3e0(%rbp), %rdi
callq 0x1d520
movb $0x0, -0x9(%rbp)
leaq 0x5ec82(%rip), %rsi     # 0xcb307
leaq -0x30(%rbp), %rdi
callq 0x10b40
jmp 0x6c690
movl $0x0, -0x34(%rbp)
leaq 0x5f435(%rip), %rsi     # 0xcbad3
leaq -0x420(%rbp), %rdi
callq 0x4bfe0
jmp 0x6c6ac
movq -0x418(%rbp), %rax
movq %rax, -0x728(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x460(%rbp)
movq $0x0, -0x450(%rbp)
leaq -0x460(%rbp), %rdi
movq %rdi, -0x720(%rbp)
callq 0x611a0
movq -0x728(%rbp), %rcx
movq -0x720(%rbp), %r8
leaq -0x440(%rbp), %rdi
leaq -0x190(%rbp), %rsi
leaq -0x420(%rbp), %rdx
callq 0x6f000
jmp 0x6c70c
leaq -0x460(%rbp), %rdi
callq 0x61330
xorl %eax, %eax
movl %eax, %edx
leaq -0x470(%rbp), %rdi
leaq -0x440(%rbp), %rsi
callq 0x6e4b0
jmp 0x6c731
leaq -0x470(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x729(%rbp)
jmp 0x6c745
movb -0x729(%rbp), %al
testb $0x1, %al
jne 0x6c751
jmp 0x6c7b8
jmp 0x6c8c6
leaq -0x3e0(%rbp), %rdi
callq 0x1d520
jmp 0x6d2d2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x460(%rbp), %rdi
callq 0x61330
jmp 0x6d2c6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6d2ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cb78
leaq -0x478(%rbp), %rdi
callq 0x84210
jmp 0x6c7c6
leaq 0x5c613(%rip), %rdx     # 0xc8de0
leaq 0x5bc7b(%rip), %rcx     # 0xc844f
leaq 0x5bc7a(%rip), %r8      # 0xc8455
leaq -0x4a0(%rbp), %rdi
leaq -0x470(%rbp), %rsi
callq 0x7d210
jmp 0x6c7f0
leaq -0x4a0(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0x5ed94(%rip), %rdx     # 0xcb59a
leaq -0x480(%rbp), %rdi
movl $0x2, %esi
movl $0xe4, %ecx
callq 0x80580
jmp 0x6c81e
leaq -0x480(%rbp), %rdi
leaq -0x478(%rbp), %rsi
callq 0x7d370
jmp 0x6c833
leaq -0x480(%rbp), %rdi
callq 0x80600
leaq -0x4a0(%rbp), %rdi
callq 0x10fc8
leaq -0x478(%rbp), %rdi
callq 0x1d500
movl $0x1, -0x2c4(%rbp)
jmp 0x6c8d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c8b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6c8a9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x480(%rbp), %rdi
callq 0x80600
leaq -0x4a0(%rbp), %rdi
callq 0x10fc8
leaq -0x478(%rbp), %rdi
callq 0x1d500
jmp 0x6cb78
movl $0x0, -0x2c4(%rbp)
leaq -0x470(%rbp), %rdi
callq 0x1d520
movl -0x2c4(%rbp), %eax
testl %eax, %eax
jne 0x6d220
jmp 0x6c8ec
movb $0x1, -0x544(%rbp)
leaq -0x538(%rbp), %rax
movq %rax, -0x740(%rbp)
movq %rax, -0x540(%rbp)
leaq -0x541(%rbp), %rdi
movq %rdi, -0x738(%rbp)
callq 0x10e10
movq -0x740(%rbp), %rdi
movq -0x738(%rbp), %rdx
leaq 0x5cd50(%rip), %rsi     # 0xc9680
callq 0x1d070
jmp 0x6c937
leaq -0x518(%rbp), %rax
movq %rax, -0x750(%rbp)
movq %rax, -0x540(%rbp)
leaq -0x542(%rbp), %rdi
movq %rdi, -0x748(%rbp)
callq 0x10e10
movq -0x750(%rbp), %rdi
movq -0x748(%rbp), %rdx
leaq 0x5bace(%rip), %rsi     # 0xc8442
callq 0x1d070
jmp 0x6c97b
leaq -0x4f8(%rbp), %rax
movq %rax, -0x760(%rbp)
movq %rax, -0x540(%rbp)
leaq -0x543(%rbp), %rdi
movq %rdi, -0x758(%rbp)
callq 0x10e10
movq -0x760(%rbp), %rdi
movq -0x758(%rbp), %rdx
leaq 0x5e442(%rip), %rsi     # 0xcadfa
callq 0x1d070
jmp 0x6c9bf
movb $0x0, -0x544(%rbp)
leaq -0x538(%rbp), %rax
movq %rax, -0x4d8(%rbp)
movq $0x3, -0x4d0(%rbp)
leaq -0x545(%rbp), %rdi
movq %rdi, -0x768(%rbp)
callq 0x39000
movq -0x768(%rbp), %rcx
movq -0x4d8(%rbp), %rsi
movq -0x4d0(%rbp), %rdx
leaq -0x4c8(%rbp), %rdi
callq 0x39020
jmp 0x6ca15
leaq -0x440(%rbp), %rdi
movq %rdi, -0x778(%rbp)
callq 0x6e4f0
movq %rax, %rdi
callq 0x416b0
movq -0x778(%rbp), %rdi
movq %rax, -0x568(%rbp)
callq 0x6e4f0
movq %rax, %rdi
callq 0x416e0
movq %rax, -0x570(%rbp)
leaq -0x571(%rbp), %rdi
movq %rdi, -0x770(%rbp)
callq 0x39000
movq -0x770(%rbp), %rcx
movq -0x568(%rbp), %rsi
movq -0x570(%rbp), %rdx
leaq -0x560(%rbp), %rdi
callq 0x6e510
jmp 0x6ca88
leaq 0x5ef90(%rip), %rsi     # 0xcba1f
leaq 0x5efa5(%rip), %rdx     # 0xcba3b
leaq -0x4b0(%rbp), %rdi
leaq -0x4c8(%rbp), %rcx
leaq -0x560(%rbp), %r8
callq 0x38fb0
jmp 0x6cab2
leaq -0x560(%rbp), %rdi
callq 0x390a0
leaq -0x571(%rbp), %rdi
callq 0x39100
leaq -0x4c8(%rbp), %rdi
callq 0x390a0
leaq -0x545(%rbp), %rdi
callq 0x39100
leaq -0x538(%rbp), %rax
movq %rax, -0x788(%rbp)
addq $0x60, %rax
movq %rax, -0x780(%rbp)
movq -0x780(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x790(%rbp)
callq 0x10fc8
movq -0x788(%rbp), %rcx
movq -0x790(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x780(%rbp)
jne 0x6cafb
leaq -0x543(%rbp), %rdi
callq 0x10810
leaq -0x542(%rbp), %rdi
callq 0x10810
leaq -0x541(%rbp), %rdi
callq 0x10810
leaq -0x4b0(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x791(%rbp)
jmp 0x6cb64
movb -0x791(%rbp), %al
testb $0x1, %al
jne 0x6cb73
jmp 0x6cd1c
jmp 0x6cdd4
leaq -0x470(%rbp), %rdi
callq 0x1d520
jmp 0x6d2ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cc9c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cc90
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cc84
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cc2c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cc14
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x560(%rbp), %rdi
callq 0x390a0
leaq -0x571(%rbp), %rdi
callq 0x39100
leaq -0x4c8(%rbp), %rdi
callq 0x390a0
leaq -0x545(%rbp), %rdi
callq 0x39100
leaq -0x538(%rbp), %rax
movq %rax, -0x7a8(%rbp)
addq $0x60, %rax
movq %rax, -0x7a0(%rbp)
movq -0x7a0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x7b0(%rbp)
callq 0x10fc8
movq -0x7a8(%rbp), %rcx
movq -0x7b0(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x7a0(%rbp)
jne 0x6cc51
jmp 0x6cc84
leaq -0x543(%rbp), %rdi
callq 0x10810
leaq -0x542(%rbp), %rdi
callq 0x10810
leaq -0x541(%rbp), %rdi
callq 0x10810
testb $0x1, -0x544(%rbp)
jne 0x6ccb3
jmp 0x6cd00
movq -0x540(%rbp), %rax
leaq -0x538(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x7b8(%rbp)
je 0x6ccfe
movq -0x7b8(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x7c0(%rbp)
callq 0x10fc8
movq -0x7c0(%rbp), %rax
leaq -0x538(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x7b8(%rbp)
jne 0x6cccd
jmp 0x6cd00
jmp 0x6d2ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6ce1b
leaq -0x580(%rbp), %rdi
callq 0x84210
jmp 0x6cd2a
leaq -0x4b0(%rbp), %rdi
callq 0x1d620
movq %rax, -0x7c8(%rbp)
jmp 0x6cd3f
movq -0x7c8(%rbp), %r8
leaq 0x5e84d(%rip), %rdx     # 0xcb59a
leaq -0x588(%rbp), %rdi
movl $0x1, %esi
movl $0xe5, %ecx
callq 0x80580
jmp 0x6cd65
leaq -0x588(%rbp), %rdi
leaq -0x580(%rbp), %rsi
callq 0x7d370
jmp 0x6cd7a
leaq -0x588(%rbp), %rdi
callq 0x80600
leaq -0x580(%rbp), %rdi
callq 0x1d500
jmp 0x6cdd4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cdc6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x588(%rbp), %rdi
callq 0x80600
leaq -0x580(%rbp), %rdi
callq 0x1d500
jmp 0x6ce1b
leaq -0x4b0(%rbp), %rdi
callq 0x1d520
xorl %eax, %eax
movl %eax, %edx
leaq -0x598(%rbp), %rdi
leaq -0x9(%rbp), %rsi
callq 0x1d4a0
jmp 0x6cdf6
leaq -0x598(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x7c9(%rbp)
jmp 0x6ce0a
movb -0x7c9(%rbp), %al
testb $0x1, %al
jne 0x6ce16
jmp 0x6ce43
jmp 0x6cf44
leaq -0x4b0(%rbp), %rdi
callq 0x1d520
jmp 0x6d2ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cfc2
leaq -0x5a0(%rbp), %rdi
callq 0x84210
jmp 0x6ce51
leaq 0x5c829(%rip), %rdx     # 0xc9681
leaq 0x5b5f0(%rip), %rcx     # 0xc844f
leaq 0x5b5ef(%rip), %r8      # 0xc8455
leaq -0x5c8(%rbp), %rdi
leaq -0x598(%rbp), %rsi
callq 0x7d210
jmp 0x6ce7b
leaq -0x5c8(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0x5e709(%rip), %rdx     # 0xcb59a
leaq -0x5a8(%rbp), %rdi
movl $0x1, %esi
movl $0xe6, %ecx
callq 0x80580
jmp 0x6cea9
leaq -0x5a8(%rbp), %rdi
leaq -0x5a0(%rbp), %rsi
callq 0x7d370
jmp 0x6cebe
leaq -0x5a8(%rbp), %rdi
callq 0x80600
leaq -0x5c8(%rbp), %rdi
callq 0x10fc8
leaq -0x5a0(%rbp), %rdi
callq 0x1d500
jmp 0x6cf44
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cf36
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6cf2a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x5a8(%rbp), %rdi
callq 0x80600
leaq -0x5c8(%rbp), %rdi
callq 0x10fc8
leaq -0x5a0(%rbp), %rdi
callq 0x1d500
jmp 0x6cfc2
leaq -0x598(%rbp), %rdi
callq 0x1d520
leaq 0x5b4eb(%rip), %rsi     # 0xc8442
leaq -0x5f8(%rbp), %rdi
movl $0x3, %edx
callq 0x39200
jmp 0x6cf6a
leaq 0x5e726(%rip), %rsi     # 0xcb697
leaq 0x5ea94(%rip), %rdx     # 0xcba0c
leaq -0x5d8(%rbp), %rdi
leaq -0x5f8(%rbp), %rcx
leaq -0x30(%rbp), %r8
callq 0x391b0
jmp 0x6cf91
leaq -0x5f8(%rbp), %rdi
callq 0x10fc8
leaq -0x5d8(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x7ca(%rbp)
jmp 0x6cfb1
movb -0x7ca(%rbp), %al
testb $0x1, %al
jne 0x6cfbd
jmp 0x6d00d
jmp 0x6d0c5
leaq -0x598(%rbp), %rdi
callq 0x1d520
jmp 0x6d2ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x5f8(%rbp), %rdi
callq 0x10fc8
jmp 0x6d2ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6d127
leaq -0x600(%rbp), %rdi
callq 0x84210
jmp 0x6d01b
leaq -0x5d8(%rbp), %rdi
callq 0x1d620
movq %rax, -0x7d8(%rbp)
jmp 0x6d030
movq -0x7d8(%rbp), %r8
leaq 0x5e55c(%rip), %rdx     # 0xcb59a
leaq -0x608(%rbp), %rdi
movl $0x1, %esi
movl $0xe7, %ecx
callq 0x80580
jmp 0x6d056
leaq -0x608(%rbp), %rdi
leaq -0x600(%rbp), %rsi
callq 0x7d370
jmp 0x6d06b
leaq -0x608(%rbp), %rdi
callq 0x80600
leaq -0x600(%rbp), %rdi
callq 0x1d500
jmp 0x6d0c5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6d0b7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x608(%rbp), %rdi
callq 0x80600
leaq -0x600(%rbp), %rdi
callq 0x1d500
jmp 0x6d127
leaq -0x5d8(%rbp), %rdi
callq 0x1d520
movl $0x3, -0x61c(%rbp)
leaq 0x5dd18(%rip), %rsi     # 0xcadfa
leaq 0x5e92c(%rip), %rdx     # 0xcba15
leaq -0x618(%rbp), %rdi
leaq -0x61c(%rbp), %rcx
leaq -0x34(%rbp), %r8
callq 0x1d5d0
jmp 0x6d102
leaq -0x618(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x7d9(%rbp)
jmp 0x6d116
movb -0x7d9(%rbp), %al
testb $0x1, %al
jne 0x6d122
jmp 0x6d14f
jmp 0x6d20a
leaq -0x5d8(%rbp), %rdi
callq 0x1d520
jmp 0x6d2ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6d2ae
leaq -0x628(%rbp), %rdi
callq 0x84210
jmp 0x6d15d
leaq -0x618(%rbp), %rdi
callq 0x1d620
movq %rax, -0x7e8(%rbp)
jmp 0x6d172
movq -0x7e8(%rbp), %r8
leaq 0x5e41a(%rip), %rdx     # 0xcb59a
leaq -0x630(%rbp), %rdi
movl $0x1, %esi
movl $0xe8, %ecx
callq 0x80580
jmp 0x6d198
leaq -0x630(%rbp), %rdi
leaq -0x628(%rbp), %rsi
callq 0x7d370
jmp 0x6d1ad
leaq -0x630(%rbp), %rdi
callq 0x80600
leaq -0x628(%rbp), %rdi
callq 0x1d500
jmp 0x6d20a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x6d1f9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x630(%rbp), %rdi
callq 0x80600
leaq -0x628(%rbp), %rdi
callq 0x1d500
jmp 0x6d2ae
leaq -0x618(%rbp), %rdi
callq 0x1d520
movl $0x0, -0x2c4(%rbp)
leaq -0x440(%rbp), %rdi
callq 0x6e5d0
leaq -0x420(%rbp), %rdi
callq 0x4c380
leaq -0x260(%rbp), %rdi
callq 0x6e5d0
leaq -0x240(%rbp), %rdi
callq 0x4c380
leaq -0x190(%rbp), %rax
movq %rax, -0x7f8(%rbp)
addq $0x150, %rax            # imm = 0x150
movq %rax, -0x7f0(%rbp)
movq -0x7f0(%rbp), %rdi
addq $-0x70, %rdi
movq %rdi, -0x800(%rbp)
callq 0x38ed0
movq -0x7f8(%rbp), %rcx
movq -0x800(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x7f0(%rbp)
jne 0x6d26b
leaq -0x30(%rbp), %rdi
callq 0x10fc8
addq $0x820, %rsp            # imm = 0x820
popq %rbp
retq
leaq -0x618(%rbp), %rdi
callq 0x1d520
leaq -0x440(%rbp), %rdi
callq 0x6e5d0
leaq -0x420(%rbp), %rdi
callq 0x4c380
leaq -0x260(%rbp), %rdi
callq 0x6e5d0
leaq -0x240(%rbp), %rdi
callq 0x4c380
leaq -0x190(%rbp), %rax
movq %rax, -0x810(%rbp)
addq $0x150, %rax            # imm = 0x150
movq %rax, -0x808(%rbp)
movq -0x808(%rbp), %rdi
addq $-0x70, %rdi
movq %rdi, -0x818(%rbp)
callq 0x38ed0
movq -0x810(%rbp), %rcx
movq -0x818(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x808(%rbp)
jne 0x6d305
jmp 0x6d338
leaq -0x30(%rbp), %rdi
callq 0x10fc8
movq -0x1c0(%rbp), %rdi
callq 0x10e00
nopl (%rax)