// File: halfflat[P]tinyopt/test/test_state.cc
// Function: state_match_multi_compact_Test::TestBody()
TEST(state, match_multi_compact) {
    to::key k1("key/one", to::key::compact);
    to::key k2("key/two", to::key::compact);
    to::key k3("key/three", to::key::compact);
    to::key k4("key/four", to::key::compact);

    {
        mockargs M("key/one/three/two\0key/four\0rest\0");
        to::state s(M.argc, M.argv);

        to::maybe<to::state::match_result> mmr;

        ASSERT_TRUE(mmr = s.match_flag(k1));
        s.consume(*mmr);

        ASSERT_FALSE(mmr = s.match_flag(k2));

        ASSERT_TRUE(mmr = s.match_flag(k3));
        s.consume(*mmr);

        ASSERT_TRUE(mmr = s.match_flag(k2));
        s.consume(*mmr);

        ASSERT_TRUE(mmr = s.match_flag(k4));
        s.consume(*mmr);

        EXPECT_EQ("rest"s, M.argv[0]);
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x430, %rsp            # imm = 0x430
movq %rdi, -0x8(%rbp)
leaq -0x51(%rbp), %rdi
movq %rdi, -0x3c0(%rbp)
callq 0x10e10
movq -0x3c0(%rbp), %rdx
leaq 0x7f29c(%rip), %rsi     # 0xca379
leaq -0x50(%rbp), %rdi
callq 0x1d070
jmp 0x4b0e8
leaq -0x30(%rbp), %rdi
leaq -0x50(%rbp), %rsi
movl $0x2, %edx
callq 0x38420
jmp 0x4b0fc
leaq -0x50(%rbp), %rdi
callq 0x10fc8
leaq -0x51(%rbp), %rdi
callq 0x10810
leaq -0xb1(%rbp), %rdi
movq %rdi, -0x3c8(%rbp)
callq 0x10e10
movq -0x3c8(%rbp), %rdx
leaq 0x7f252(%rip), %rsi     # 0xca381
leaq -0xb0(%rbp), %rdi
callq 0x1d070
jmp 0x4b13d
leaq -0x90(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
movl $0x2, %edx
callq 0x38420
jmp 0x4b157
leaq -0xb0(%rbp), %rdi
callq 0x10fc8
leaq -0xb1(%rbp), %rdi
callq 0x10810
leaq -0x101(%rbp), %rdi
movq %rdi, -0x3d0(%rbp)
callq 0x10e10
movq -0x3d0(%rbp), %rdx
leaq 0x7f1f9(%rip), %rsi     # 0xca389
leaq -0x100(%rbp), %rdi
callq 0x1d070
jmp 0x4b19e
leaq -0xe0(%rbp), %rdi
leaq -0x100(%rbp), %rsi
movl $0x2, %edx
callq 0x38420
jmp 0x4b1b8
leaq -0x100(%rbp), %rdi
callq 0x10fc8
leaq -0x101(%rbp), %rdi
callq 0x10810
leaq -0x151(%rbp), %rdi
movq %rdi, -0x3d8(%rbp)
callq 0x10e10
movq -0x3d8(%rbp), %rdx
leaq 0x7f1a2(%rip), %rsi     # 0xca393
leaq -0x150(%rbp), %rdi
callq 0x1d070
jmp 0x4b1ff
leaq -0x130(%rbp), %rdi
leaq -0x150(%rbp), %rsi
movl $0x2, %edx
callq 0x38420
jmp 0x4b219
leaq -0x150(%rbp), %rdi
callq 0x10fc8
leaq -0x151(%rbp), %rdi
callq 0x10810
leaq 0x7f1f1(%rip), %rsi     # 0xca429
leaq -0x180(%rbp), %rdi
callq 0x4bfe0
jmp 0x4b246
movq -0x178(%rbp), %rdx
leaq -0x198(%rbp), %rdi
leaq -0x180(%rbp), %rsi
callq 0x4c130
jmp 0x4b262
leaq -0x1b0(%rbp), %rdi
callq 0x4cc00
leaq -0x1d8(%rbp), %rdi
leaq -0x198(%rbp), %rsi
leaq -0x30(%rbp), %rdx
callq 0x4c8d0
jmp 0x4b287
leaq -0x1b0(%rbp), %rdi
leaq -0x1d8(%rbp), %rsi
callq 0x4cc20
movq %rax, -0x3e0(%rbp)
jmp 0x4b2a3
movq -0x3e0(%rbp), %rsi
xorl %eax, %eax
movl %eax, %edx
leaq -0x1c0(%rbp), %rdi
callq 0x4c730
jmp 0x4b2bc
leaq -0x1d8(%rbp), %rdi
callq 0x4c8a0
leaq -0x1c0(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x3e1(%rbp)
jmp 0x4b2dc
movb -0x3e1(%rbp), %al
testb $0x1, %al
jne 0x4b2eb
jmp 0x4b427
jmp 0x4b523
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b313
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x10fc8
leaq -0x51(%rbp), %rdi
callq 0x10810
jmp 0x4bf88
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b347
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x10fc8
leaq -0xb1(%rbp), %rdi
callq 0x10810
jmp 0x4bf7f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b37e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x100(%rbp), %rdi
callq 0x10fc8
leaq -0x101(%rbp), %rdi
callq 0x10810
jmp 0x4bf73
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b3b5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x150(%rbp), %rdi
callq 0x10fc8
leaq -0x151(%rbp), %rdi
callq 0x10810
jmp 0x4bf67
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bf5b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bf4f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x1d8(%rbp), %rdi
callq 0x4c8a0
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b5fc
leaq -0x1e0(%rbp), %rdi
callq 0x84210
jmp 0x4b435
leaq 0x7ef60(%rip), %rdx     # 0xca39c
leaq 0x7d00c(%rip), %rcx     # 0xc844f
leaq 0x7d00b(%rip), %r8      # 0xc8455
leaq -0x208(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
callq 0x7d210
jmp 0x4b45f
leaq -0x208(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0x7ed96(%rip), %rdx     # 0xca20b
leaq -0x1e8(%rbp), %rdi
movl $0x2, %esi
movl $0x11d, %ecx            # imm = 0x11D
callq 0x80580
jmp 0x4b48d
leaq -0x1e8(%rbp), %rdi
leaq -0x1e0(%rbp), %rsi
callq 0x7d370
jmp 0x4b4a2
leaq -0x1e8(%rbp), %rdi
callq 0x80600
leaq -0x208(%rbp), %rdi
callq 0x10fc8
leaq -0x1e0(%rbp), %rdi
callq 0x1d500
movl $0x1, -0x20c(%rbp)
jmp 0x4b52d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b512
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b506
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x1e8(%rbp), %rdi
callq 0x80600
leaq -0x208(%rbp), %rdi
callq 0x10fc8
leaq -0x1e0(%rbp), %rdi
callq 0x1d500
jmp 0x4b5fc
movl $0x0, -0x20c(%rbp)
leaq -0x1c0(%rbp), %rdi
callq 0x1d520
movl -0x20c(%rbp), %eax
testl %eax, %eax
jne 0x4bed3
jmp 0x4b549
leaq -0x1b0(%rbp), %rdi
callq 0x4c830
movq %rax, %rsi
leaq -0x198(%rbp), %rdi
callq 0x4c3e0
jmp 0x4b566
leaq -0x240(%rbp), %rdi
leaq -0x198(%rbp), %rsi
leaq -0x90(%rbp), %rdx
callq 0x4c8d0
jmp 0x4b582
leaq -0x1b0(%rbp), %rdi
leaq -0x240(%rbp), %rsi
callq 0x4cc20
movq %rax, -0x3f0(%rbp)
jmp 0x4b59e
movq -0x3f0(%rbp), %rdi
callq 0x4cad0
xorb $0x1, %al
movb %al, -0x221(%rbp)
xorl %eax, %eax
movl %eax, %edx
leaq -0x220(%rbp), %rdi
leaq -0x221(%rbp), %rsi
callq 0x1d4a0
jmp 0x4b5cb
leaq -0x240(%rbp), %rdi
callq 0x4c8a0
leaq -0x220(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x3f1(%rbp)
jmp 0x4b5eb
movb -0x3f1(%rbp), %al
testb $0x1, %al
jne 0x4b5f7
jmp 0x4b63b
jmp 0x4b737
leaq -0x1c0(%rbp), %rdi
callq 0x1d520
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x240(%rbp), %rdi
callq 0x4c8a0
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b7df
leaq -0x248(%rbp), %rdi
callq 0x84210
jmp 0x4b649
leaq 0x7ed63(%rip), %rdx     # 0xca3b3
leaq 0x7cdfe(%rip), %rcx     # 0xc8455
leaq 0x7cdf1(%rip), %r8      # 0xc844f
leaq -0x270(%rbp), %rdi
leaq -0x220(%rbp), %rsi
callq 0x7d210
jmp 0x4b673
leaq -0x270(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0x7eb82(%rip), %rdx     # 0xca20b
leaq -0x250(%rbp), %rdi
movl $0x2, %esi
movl $0x120, %ecx            # imm = 0x120
callq 0x80580
jmp 0x4b6a1
leaq -0x250(%rbp), %rdi
leaq -0x248(%rbp), %rsi
callq 0x7d370
jmp 0x4b6b6
leaq -0x250(%rbp), %rdi
callq 0x80600
leaq -0x270(%rbp), %rdi
callq 0x10fc8
leaq -0x248(%rbp), %rdi
callq 0x1d500
movl $0x1, -0x20c(%rbp)
jmp 0x4b741
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b726
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b71a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x250(%rbp), %rdi
callq 0x80600
leaq -0x270(%rbp), %rdi
callq 0x10fc8
leaq -0x248(%rbp), %rdi
callq 0x1d500
jmp 0x4b7df
movl $0x0, -0x20c(%rbp)
leaq -0x220(%rbp), %rdi
callq 0x1d520
movl -0x20c(%rbp), %eax
testl %eax, %eax
jne 0x4bed3
jmp 0x4b75d
leaq -0x298(%rbp), %rdi
leaq -0x198(%rbp), %rsi
leaq -0xe0(%rbp), %rdx
callq 0x4c8d0
jmp 0x4b779
leaq -0x1b0(%rbp), %rdi
leaq -0x298(%rbp), %rsi
callq 0x4cc20
movq %rax, -0x400(%rbp)
jmp 0x4b795
movq -0x400(%rbp), %rsi
xorl %eax, %eax
movl %eax, %edx
leaq -0x280(%rbp), %rdi
callq 0x4c730
jmp 0x4b7ae
leaq -0x298(%rbp), %rdi
callq 0x4c8a0
leaq -0x280(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x401(%rbp)
jmp 0x4b7ce
movb -0x401(%rbp), %al
testb $0x1, %al
jne 0x4b7da
jmp 0x4b81e
jmp 0x4b91a
leaq -0x220(%rbp), %rdi
callq 0x1d520
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x298(%rbp), %rdi
callq 0x4c8a0
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b9df
leaq -0x2a0(%rbp), %rdi
callq 0x84210
jmp 0x4b82c
leaq 0x7eb97(%rip), %rdx     # 0xca3ca
leaq 0x7cc15(%rip), %rcx     # 0xc844f
leaq 0x7cc14(%rip), %r8      # 0xc8455
leaq -0x2c8(%rbp), %rdi
leaq -0x280(%rbp), %rsi
callq 0x7d210
jmp 0x4b856
leaq -0x2c8(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0x7e99f(%rip), %rdx     # 0xca20b
leaq -0x2a8(%rbp), %rdi
movl $0x2, %esi
movl $0x122, %ecx            # imm = 0x122
callq 0x80580
jmp 0x4b884
leaq -0x2a8(%rbp), %rdi
leaq -0x2a0(%rbp), %rsi
callq 0x7d370
jmp 0x4b899
leaq -0x2a8(%rbp), %rdi
callq 0x80600
leaq -0x2c8(%rbp), %rdi
callq 0x10fc8
leaq -0x2a0(%rbp), %rdi
callq 0x1d500
movl $0x1, -0x20c(%rbp)
jmp 0x4b924
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b909
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4b8fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x2a8(%rbp), %rdi
callq 0x80600
leaq -0x2c8(%rbp), %rdi
callq 0x10fc8
leaq -0x2a0(%rbp), %rdi
callq 0x1d500
jmp 0x4b9df
movl $0x0, -0x20c(%rbp)
leaq -0x280(%rbp), %rdi
callq 0x1d520
movl -0x20c(%rbp), %eax
testl %eax, %eax
jne 0x4bed3
jmp 0x4b940
leaq -0x1b0(%rbp), %rdi
callq 0x4c830
movq %rax, %rsi
leaq -0x198(%rbp), %rdi
callq 0x4c3e0
jmp 0x4b95d
leaq -0x2f0(%rbp), %rdi
leaq -0x198(%rbp), %rsi
leaq -0x90(%rbp), %rdx
callq 0x4c8d0
jmp 0x4b979
leaq -0x1b0(%rbp), %rdi
leaq -0x2f0(%rbp), %rsi
callq 0x4cc20
movq %rax, -0x410(%rbp)
jmp 0x4b995
movq -0x410(%rbp), %rsi
xorl %eax, %eax
movl %eax, %edx
leaq -0x2d8(%rbp), %rdi
callq 0x4c730
jmp 0x4b9ae
leaq -0x2f0(%rbp), %rdi
callq 0x4c8a0
leaq -0x2d8(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x411(%rbp)
jmp 0x4b9ce
movb -0x411(%rbp), %al
testb $0x1, %al
jne 0x4b9da
jmp 0x4ba1e
jmp 0x4bb1a
leaq -0x280(%rbp), %rdi
callq 0x1d520
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x2f0(%rbp), %rdi
callq 0x4c8a0
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bbdf
leaq -0x2f8(%rbp), %rdi
callq 0x84210
jmp 0x4ba2c
leaq 0x7e980(%rip), %rdx     # 0xca3b3
leaq 0x7ca15(%rip), %rcx     # 0xc844f
leaq 0x7ca14(%rip), %r8      # 0xc8455
leaq -0x320(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0x7d210
jmp 0x4ba56
leaq -0x320(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0x7e79f(%rip), %rdx     # 0xca20b
leaq -0x300(%rbp), %rdi
movl $0x2, %esi
movl $0x125, %ecx            # imm = 0x125
callq 0x80580
jmp 0x4ba84
leaq -0x300(%rbp), %rdi
leaq -0x2f8(%rbp), %rsi
callq 0x7d370
jmp 0x4ba99
leaq -0x300(%rbp), %rdi
callq 0x80600
leaq -0x320(%rbp), %rdi
callq 0x10fc8
leaq -0x2f8(%rbp), %rdi
callq 0x1d500
movl $0x1, -0x20c(%rbp)
jmp 0x4bb24
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bb09
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bafd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x300(%rbp), %rdi
callq 0x80600
leaq -0x320(%rbp), %rdi
callq 0x10fc8
leaq -0x2f8(%rbp), %rdi
callq 0x1d500
jmp 0x4bbdf
movl $0x0, -0x20c(%rbp)
leaq -0x2d8(%rbp), %rdi
callq 0x1d520
movl -0x20c(%rbp), %eax
testl %eax, %eax
jne 0x4bed3
jmp 0x4bb40
leaq -0x1b0(%rbp), %rdi
callq 0x4c830
movq %rax, %rsi
leaq -0x198(%rbp), %rdi
callq 0x4c3e0
jmp 0x4bb5d
leaq -0x348(%rbp), %rdi
leaq -0x198(%rbp), %rsi
leaq -0x130(%rbp), %rdx
callq 0x4c8d0
jmp 0x4bb79
leaq -0x1b0(%rbp), %rdi
leaq -0x348(%rbp), %rsi
callq 0x4cc20
movq %rax, -0x420(%rbp)
jmp 0x4bb95
movq -0x420(%rbp), %rsi
xorl %eax, %eax
movl %eax, %edx
leaq -0x330(%rbp), %rdi
callq 0x4c730
jmp 0x4bbae
leaq -0x348(%rbp), %rdi
callq 0x4c8a0
leaq -0x330(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x421(%rbp)
jmp 0x4bbce
movb -0x421(%rbp), %al
testb $0x1, %al
jne 0x4bbda
jmp 0x4bc1e
jmp 0x4bd1a
leaq -0x2d8(%rbp), %rdi
callq 0x1d520
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x348(%rbp), %rdi
callq 0x4c8a0
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bdd2
leaq -0x350(%rbp), %rdi
callq 0x84210
jmp 0x4bc2c
leaq 0x7e7ae(%rip), %rdx     # 0xca3e1
leaq 0x7c815(%rip), %rcx     # 0xc844f
leaq 0x7c814(%rip), %r8      # 0xc8455
leaq -0x378(%rbp), %rdi
leaq -0x330(%rbp), %rsi
callq 0x7d210
jmp 0x4bc56
leaq -0x378(%rbp), %rdi
callq 0x102c0
movq %rax, %r8
leaq 0x7e59f(%rip), %rdx     # 0xca20b
leaq -0x358(%rbp), %rdi
movl $0x2, %esi
movl $0x128, %ecx            # imm = 0x128
callq 0x80580
jmp 0x4bc84
leaq -0x358(%rbp), %rdi
leaq -0x350(%rbp), %rsi
callq 0x7d370
jmp 0x4bc99
leaq -0x358(%rbp), %rdi
callq 0x80600
leaq -0x378(%rbp), %rdi
callq 0x10fc8
leaq -0x350(%rbp), %rdi
callq 0x1d500
movl $0x1, -0x20c(%rbp)
jmp 0x4bd24
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bd09
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bcfd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x358(%rbp), %rdi
callq 0x80600
leaq -0x378(%rbp), %rdi
callq 0x10fc8
leaq -0x350(%rbp), %rdi
callq 0x1d500
jmp 0x4bdd2
movl $0x0, -0x20c(%rbp)
leaq -0x330(%rbp), %rdi
callq 0x1d520
movl -0x20c(%rbp), %eax
testl %eax, %eax
jne 0x4bed3
jmp 0x4bd40
leaq -0x1b0(%rbp), %rdi
callq 0x4c830
movq %rax, %rsi
leaq -0x198(%rbp), %rdi
callq 0x4c3e0
jmp 0x4bd5d
leaq 0x7e5b9(%rip), %rsi     # 0xca31d
leaq -0x3a8(%rbp), %rdi
movl $0x4, %edx
callq 0x39200
jmp 0x4bd77
movq -0x178(%rbp), %r8
leaq 0x7e590(%rip), %rsi     # 0xca315
leaq 0x7e4e9(%rip), %rdx     # 0xca275
leaq -0x388(%rbp), %rdi
leaq -0x3a8(%rbp), %rcx
callq 0x4c850
jmp 0x4bda1
leaq -0x3a8(%rbp), %rdi
callq 0x10fc8
leaq -0x388(%rbp), %rdi
callq 0x1d4e0
movb %al, -0x422(%rbp)
jmp 0x4bdc1
movb -0x422(%rbp), %al
testb $0x1, %al
jne 0x4bdcd
jmp 0x4be11
jmp 0x4bebd
leaq -0x330(%rbp), %rdi
callq 0x1d520
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x3a8(%rbp), %rdi
callq 0x10fc8
jmp 0x4bf43
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4bf37
leaq -0x3b0(%rbp), %rdi
callq 0x84210
jmp 0x4be1f
leaq -0x388(%rbp), %rdi
callq 0x1d620
movq %rax, -0x430(%rbp)
jmp 0x4be34
movq -0x430(%rbp), %r8
leaq 0x7e3c9(%rip), %rdx     # 0xca20b
leaq -0x3b8(%rbp), %rdi
movl $0x1, %esi
movl $0x12b, %ecx            # imm = 0x12B
callq 0x80580
jmp 0x4be5a
leaq -0x3b8(%rbp), %rdi
leaq -0x3b0(%rbp), %rsi
callq 0x7d370
jmp 0x4be6f
leaq -0x3b8(%rbp), %rdi
callq 0x80600
leaq -0x3b0(%rbp), %rdi
callq 0x1d500
jmp 0x4bebd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0x4beaf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x3b8(%rbp), %rdi
callq 0x80600
leaq -0x3b0(%rbp), %rdi
callq 0x1d500
jmp 0x4bf37
leaq -0x388(%rbp), %rdi
callq 0x1d520
movl $0x0, -0x20c(%rbp)
leaq -0x1b0(%rbp), %rdi
callq 0x4c8a0
leaq -0x180(%rbp), %rdi
callq 0x4c380
movl -0x20c(%rbp), %eax
testl %eax, %eax
jne 0x4bf01
jmp 0x4bef7
movl $0x0, -0x20c(%rbp)
leaq -0x130(%rbp), %rdi
callq 0x384f0
leaq -0xe0(%rbp), %rdi
callq 0x384f0
leaq -0x90(%rbp), %rdi
callq 0x384f0
leaq -0x30(%rbp), %rdi
callq 0x384f0
addq $0x430, %rsp            # imm = 0x430
popq %rbp
retq
leaq -0x388(%rbp), %rdi
callq 0x1d520
leaq -0x1b0(%rbp), %rdi
callq 0x4c8a0
leaq -0x180(%rbp), %rdi
callq 0x4c380
leaq -0x130(%rbp), %rdi
callq 0x384f0
leaq -0xe0(%rbp), %rdi
callq 0x384f0
leaq -0x90(%rbp), %rdi
callq 0x384f0
leaq -0x30(%rbp), %rdi
callq 0x384f0
movq -0x60(%rbp), %rdi
callq 0x10e00
nopw %cs:(%rax,%rax)
nopl (%rax,%rax)