// File: grame-cncm[P]digraph/mtests.cpp
// Function: mtest1[abi:cxx11]()
std::string mtest1()
{
    digraph<char, multidep> g;
    g.add('A', 'B', mdep("M"))
        .add('B', 'C', mdep("M"))
        .add('C', 'A', mdep("M"))
        .add('D', 'B', mdep("M"))
        .add('D', 'C', mdep("M"))
        .add('D', 'E', mdep("M"))
        .add('E', 'D', mdep("M"))
        .add('E', 'F', mdep("M"))
        .add('F', 'G', mdep("M"))
        .add('G', 'F', mdep("M"))
        .add('H', 'G', mdep("M"))
        .add('H', 'E', mdep("M"))
        .add('H', 'H', mdep("M"));

    std::stringstream ss;
    ss << "Tarjan partition of g = ";
    Tarjan<char, multidep> tarj(g);
    for (const auto& cycle : tarj.partition()) {
        ss << "group{ ";
        for (const auto& n : cycle) {
            ss << n << " ";
        }
        ss << "} ";
    }
    return ss.str();
}

// Assembly:
subq $0x888, %rsp            # imm = 0x888
movq %rdi, 0xd0(%rsp)
movq %rdi, %rax
movq %rax, 0xd8(%rsp)
movq %rdi, 0x880(%rsp)
leaq 0x870(%rsp), %rdi
callq 0x29c0
movb $0x41, 0x86f(%rsp)
movb $0x42, 0x86e(%rsp)
leaq 0x80f(%rsp), %rdi
movq %rdi, 0xe0(%rsp)
callq 0x22a0
movq 0xe0(%rsp), %rdx
leaq 0x2c251(%rip), %rsi     # 0x3d004
leaq 0x810(%rsp), %rdi
callq 0x2200
jmp 0x10dc2
leaq 0x830(%rsp), %rdi
leaq 0x810(%rsp), %rsi
callq 0x15930
jmp 0x10dd9
leaq 0x870(%rsp), %rdi
leaq 0x86f(%rsp), %rsi
leaq 0x86e(%rsp), %rdx
leaq 0x830(%rsp), %rcx
callq 0x2a00
movq %rax, 0xc8(%rsp)
jmp 0x10e08
movb $0x42, 0x7fb(%rsp)
movb $0x43, 0x7fa(%rsp)
leaq 0x79f(%rsp), %rdi
movq %rdi, 0xc0(%rsp)
callq 0x22a0
movq 0xc0(%rsp), %rdx
leaq 0x2c1c8(%rip), %rsi     # 0x3d004
leaq 0x7a0(%rsp), %rdi
callq 0x2200
jmp 0x10e4b
leaq 0x7c0(%rsp), %rdi
leaq 0x7a0(%rsp), %rsi
callq 0x15930
jmp 0x10e62
movq 0xc8(%rsp), %rdi
leaq 0x7fb(%rsp), %rsi
leaq 0x7fa(%rsp), %rdx
leaq 0x7c0(%rsp), %rcx
callq 0x2a00
movq %rax, 0xb8(%rsp)
jmp 0x10e91
movb $0x43, 0x79e(%rsp)
movb $0x41, 0x79d(%rsp)
leaq 0x73f(%rsp), %rdi
movq %rdi, 0xb0(%rsp)
callq 0x22a0
movq 0xb0(%rsp), %rdx
leaq 0x2c13f(%rip), %rsi     # 0x3d004
leaq 0x740(%rsp), %rdi
callq 0x2200
jmp 0x10ed4
leaq 0x760(%rsp), %rdi
leaq 0x740(%rsp), %rsi
callq 0x15930
jmp 0x10eeb
movq 0xb8(%rsp), %rdi
leaq 0x79e(%rsp), %rsi
leaq 0x79d(%rsp), %rdx
leaq 0x760(%rsp), %rcx
callq 0x2a00
movq %rax, 0xa8(%rsp)
jmp 0x10f1a
movb $0x44, 0x73e(%rsp)
movb $0x42, 0x73d(%rsp)
leaq 0x6df(%rsp), %rdi
movq %rdi, 0xa0(%rsp)
callq 0x22a0
movq 0xa0(%rsp), %rdx
leaq 0x2c0b6(%rip), %rsi     # 0x3d004
leaq 0x6e0(%rsp), %rdi
callq 0x2200
jmp 0x10f5d
leaq 0x700(%rsp), %rdi
leaq 0x6e0(%rsp), %rsi
callq 0x15930
jmp 0x10f74
movq 0xa8(%rsp), %rdi
leaq 0x73e(%rsp), %rsi
leaq 0x73d(%rsp), %rdx
leaq 0x700(%rsp), %rcx
callq 0x2a00
movq %rax, 0x98(%rsp)
jmp 0x10fa3
movb $0x44, 0x6de(%rsp)
movb $0x43, 0x6dd(%rsp)
leaq 0x67f(%rsp), %rdi
movq %rdi, 0x90(%rsp)
callq 0x22a0
movq 0x90(%rsp), %rdx
leaq 0x2c02d(%rip), %rsi     # 0x3d004
leaq 0x680(%rsp), %rdi
callq 0x2200
jmp 0x10fe6
leaq 0x6a0(%rsp), %rdi
leaq 0x680(%rsp), %rsi
callq 0x15930
jmp 0x10ffd
movq 0x98(%rsp), %rdi
leaq 0x6de(%rsp), %rsi
leaq 0x6dd(%rsp), %rdx
leaq 0x6a0(%rsp), %rcx
callq 0x2a00
movq %rax, 0x88(%rsp)
jmp 0x1102c
movb $0x44, 0x67e(%rsp)
movb $0x45, 0x67d(%rsp)
leaq 0x61f(%rsp), %rdi
movq %rdi, 0x80(%rsp)
callq 0x22a0
movq 0x80(%rsp), %rdx
leaq 0x2bfa4(%rip), %rsi     # 0x3d004
leaq 0x620(%rsp), %rdi
callq 0x2200
jmp 0x1106f
leaq 0x640(%rsp), %rdi
leaq 0x620(%rsp), %rsi
callq 0x15930
jmp 0x11086
movq 0x88(%rsp), %rdi
leaq 0x67e(%rsp), %rsi
leaq 0x67d(%rsp), %rdx
leaq 0x640(%rsp), %rcx
callq 0x2a00
movq %rax, 0x78(%rsp)
jmp 0x110b2
movb $0x45, 0x61e(%rsp)
movb $0x44, 0x61d(%rsp)
leaq 0x5bf(%rsp), %rdi
movq %rdi, 0x70(%rsp)
callq 0x22a0
movq 0x70(%rsp), %rdx
leaq 0x2bf24(%rip), %rsi     # 0x3d004
leaq 0x5c0(%rsp), %rdi
callq 0x2200
jmp 0x110ef
leaq 0x5e0(%rsp), %rdi
leaq 0x5c0(%rsp), %rsi
callq 0x15930
jmp 0x11106
movq 0x78(%rsp), %rdi
leaq 0x61e(%rsp), %rsi
leaq 0x61d(%rsp), %rdx
leaq 0x5e0(%rsp), %rcx
callq 0x2a00
movq %rax, 0x68(%rsp)
jmp 0x1112f
movb $0x45, 0x5be(%rsp)
movb $0x46, 0x5bd(%rsp)
leaq 0x55f(%rsp), %rdi
movq %rdi, 0x60(%rsp)
callq 0x22a0
movq 0x60(%rsp), %rdx
leaq 0x2bea7(%rip), %rsi     # 0x3d004
leaq 0x560(%rsp), %rdi
callq 0x2200
jmp 0x1116c
leaq 0x580(%rsp), %rdi
leaq 0x560(%rsp), %rsi
callq 0x15930
jmp 0x11183
movq 0x68(%rsp), %rdi
leaq 0x5be(%rsp), %rsi
leaq 0x5bd(%rsp), %rdx
leaq 0x580(%rsp), %rcx
callq 0x2a00
movq %rax, 0x58(%rsp)
jmp 0x111ac
movb $0x46, 0x55e(%rsp)
movb $0x47, 0x55d(%rsp)
leaq 0x4ff(%rsp), %rdi
movq %rdi, 0x50(%rsp)
callq 0x22a0
movq 0x50(%rsp), %rdx
leaq 0x2be2a(%rip), %rsi     # 0x3d004
leaq 0x500(%rsp), %rdi
callq 0x2200
jmp 0x111e9
leaq 0x520(%rsp), %rdi
leaq 0x500(%rsp), %rsi
callq 0x15930
jmp 0x11200
movq 0x58(%rsp), %rdi
leaq 0x55e(%rsp), %rsi
leaq 0x55d(%rsp), %rdx
leaq 0x520(%rsp), %rcx
callq 0x2a00
movq %rax, 0x48(%rsp)
jmp 0x11229
movb $0x47, 0x4fe(%rsp)
movb $0x46, 0x4fd(%rsp)
leaq 0x49f(%rsp), %rdi
movq %rdi, 0x40(%rsp)
callq 0x22a0
movq 0x40(%rsp), %rdx
leaq 0x2bdad(%rip), %rsi     # 0x3d004
leaq 0x4a0(%rsp), %rdi
callq 0x2200
jmp 0x11266
leaq 0x4c0(%rsp), %rdi
leaq 0x4a0(%rsp), %rsi
callq 0x15930
jmp 0x1127d
movq 0x48(%rsp), %rdi
leaq 0x4fe(%rsp), %rsi
leaq 0x4fd(%rsp), %rdx
leaq 0x4c0(%rsp), %rcx
callq 0x2a00
movq %rax, 0x38(%rsp)
jmp 0x112a6
movb $0x48, 0x49e(%rsp)
movb $0x47, 0x49d(%rsp)
leaq 0x43f(%rsp), %rdi
movq %rdi, 0x30(%rsp)
callq 0x22a0
movq 0x30(%rsp), %rdx
leaq 0x2bd30(%rip), %rsi     # 0x3d004
leaq 0x440(%rsp), %rdi
callq 0x2200
jmp 0x112e3
leaq 0x460(%rsp), %rdi
leaq 0x440(%rsp), %rsi
callq 0x15930
jmp 0x112fa
movq 0x38(%rsp), %rdi
leaq 0x49e(%rsp), %rsi
leaq 0x49d(%rsp), %rdx
leaq 0x460(%rsp), %rcx
callq 0x2a00
movq %rax, 0x28(%rsp)
jmp 0x11323
movb $0x48, 0x43e(%rsp)
movb $0x45, 0x43d(%rsp)
leaq 0x3df(%rsp), %rdi
movq %rdi, 0x20(%rsp)
callq 0x22a0
movq 0x20(%rsp), %rdx
leaq 0x2bcb3(%rip), %rsi     # 0x3d004
leaq 0x3e0(%rsp), %rdi
callq 0x2200
jmp 0x11360
leaq 0x400(%rsp), %rdi
leaq 0x3e0(%rsp), %rsi
callq 0x15930
jmp 0x11377
movq 0x28(%rsp), %rdi
leaq 0x43e(%rsp), %rsi
leaq 0x43d(%rsp), %rdx
leaq 0x400(%rsp), %rcx
callq 0x2a00
movq %rax, 0x18(%rsp)
jmp 0x113a0
movb $0x48, 0x3de(%rsp)
movb $0x48, 0x3dd(%rsp)
leaq 0x37f(%rsp), %rdi
movq %rdi, 0x10(%rsp)
callq 0x22a0
movq 0x10(%rsp), %rdx
leaq 0x2bc36(%rip), %rsi     # 0x3d004
leaq 0x380(%rsp), %rdi
callq 0x2200
jmp 0x113dd
leaq 0x3a0(%rsp), %rdi
leaq 0x380(%rsp), %rsi
callq 0x15930
jmp 0x113f4
movq 0x18(%rsp), %rdi
leaq 0x3de(%rsp), %rsi
leaq 0x3dd(%rsp), %rdx
leaq 0x3a0(%rsp), %rcx
callq 0x2a00
jmp 0x11418
leaq 0x3a0(%rsp), %rdi
callq 0x2c20
leaq 0x380(%rsp), %rdi
callq 0x20e0
leaq 0x37f(%rsp), %rdi
callq 0x21c0
leaq 0x400(%rsp), %rdi
callq 0x2c20
leaq 0x3e0(%rsp), %rdi
callq 0x20e0
leaq 0x3df(%rsp), %rdi
callq 0x21c0
leaq 0x460(%rsp), %rdi
callq 0x2c20
leaq 0x440(%rsp), %rdi
callq 0x20e0
leaq 0x43f(%rsp), %rdi
callq 0x21c0
leaq 0x4c0(%rsp), %rdi
callq 0x2c20
leaq 0x4a0(%rsp), %rdi
callq 0x20e0
leaq 0x49f(%rsp), %rdi
callq 0x21c0
leaq 0x520(%rsp), %rdi
callq 0x2c20
leaq 0x500(%rsp), %rdi
callq 0x20e0
leaq 0x4ff(%rsp), %rdi
callq 0x21c0
leaq 0x580(%rsp), %rdi
callq 0x2c20
leaq 0x560(%rsp), %rdi
callq 0x20e0
leaq 0x55f(%rsp), %rdi
callq 0x21c0
leaq 0x5e0(%rsp), %rdi
callq 0x2c20
leaq 0x5c0(%rsp), %rdi
callq 0x20e0
leaq 0x5bf(%rsp), %rdi
callq 0x21c0
leaq 0x640(%rsp), %rdi
callq 0x2c20
leaq 0x620(%rsp), %rdi
callq 0x20e0
leaq 0x61f(%rsp), %rdi
callq 0x21c0
leaq 0x6a0(%rsp), %rdi
callq 0x2c20
leaq 0x680(%rsp), %rdi
callq 0x20e0
leaq 0x67f(%rsp), %rdi
callq 0x21c0
leaq 0x700(%rsp), %rdi
callq 0x2c20
leaq 0x6e0(%rsp), %rdi
callq 0x20e0
leaq 0x6df(%rsp), %rdi
callq 0x21c0
leaq 0x760(%rsp), %rdi
callq 0x2c20
leaq 0x740(%rsp), %rdi
callq 0x20e0
leaq 0x73f(%rsp), %rdi
callq 0x21c0
leaq 0x7c0(%rsp), %rdi
callq 0x2c20
leaq 0x7a0(%rsp), %rdi
callq 0x20e0
leaq 0x79f(%rsp), %rdi
callq 0x21c0
leaq 0x830(%rsp), %rdi
callq 0x2c20
leaq 0x810(%rsp), %rdi
callq 0x20e0
leaq 0x80f(%rsp), %rdi
callq 0x21c0
leaq 0x1f0(%rsp), %rdi
callq 0x2110
jmp 0x11622
leaq 0x200(%rsp), %rdi
leaq 0x2be32(%rip), %rsi     # 0x3d463
callq 0x2180
jmp 0x11638
leaq 0x128(%rsp), %rdi
leaq 0x870(%rsp), %rsi
callq 0xab60
jmp 0x1164f
leaq 0x128(%rsp), %rdi
callq 0xacf0
movq %rax, 0x8(%rsp)
jmp 0x11663
movq 0x8(%rsp), %rax
movq %rax, 0x120(%rsp)
movq 0x120(%rsp), %rdi
callq 0xad10
movq %rax, 0x118(%rsp)
movq 0x120(%rsp), %rdi
callq 0xad40
movq %rax, 0x110(%rsp)
leaq 0x118(%rsp), %rdi
leaq 0x110(%rsp), %rsi
callq 0xad70
testb $0x1, %al
jne 0x116b8
jmp 0x11dd1
leaq 0x118(%rsp), %rdi
callq 0xad90
movq %rax, 0x108(%rsp)
leaq 0x200(%rsp), %rdi
leaq 0x2bda0(%rip), %rsi     # 0x3d47c
callq 0x2180
jmp 0x116e3
movq 0x108(%rsp), %rax
movq %rax, 0x100(%rsp)
movq 0x100(%rsp), %rdi
callq 0xa150
movq %rax, 0xf8(%rsp)
movq 0x100(%rsp), %rdi
callq 0xa180
movq %rax, 0xf0(%rsp)
leaq 0xf8(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0xa1b0
testb $0x1, %al
jne 0x1173b
jmp 0x11da7
leaq 0xf8(%rsp), %rdi
callq 0xa1d0
movq %rax, 0xe8(%rsp)
leaq 0x200(%rsp), %rdi
movq 0xe8(%rsp), %rax
movsbl (%rax), %esi
callq 0x21e0
movq %rax, (%rsp)
jmp 0x1176e
movq (%rsp), %rdi
leaq 0x2d35a(%rip), %rsi     # 0x3ead3
callq 0x2180
jmp 0x11780
jmp 0x11782
leaq 0xf8(%rsp), %rdi
callq 0xa350
jmp 0x1171d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11d40
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11d33
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11d26
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11d19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11d0c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11cff
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11cf2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11ce5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11cd8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11ccb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11cbe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11cb1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11ca4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c97
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c8a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c7d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c70
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c63
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c56
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c49
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c3c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c2f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c22
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c15
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11c08
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11bfb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11bee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11be1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11bd4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11bc7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11bba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11bad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11ba0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11b93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11b86
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11b79
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11b6c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11b5f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
leaq 0x3a0(%rsp), %rdi
callq 0x2c20
leaq 0x380(%rsp), %rdi
callq 0x20e0
leaq 0x37f(%rsp), %rdi
callq 0x21c0
leaq 0x400(%rsp), %rdi
callq 0x2c20
leaq 0x3e0(%rsp), %rdi
callq 0x20e0
leaq 0x3df(%rsp), %rdi
callq 0x21c0
leaq 0x460(%rsp), %rdi
callq 0x2c20
leaq 0x440(%rsp), %rdi
callq 0x20e0
leaq 0x43f(%rsp), %rdi
callq 0x21c0
leaq 0x4c0(%rsp), %rdi
callq 0x2c20
leaq 0x4a0(%rsp), %rdi
callq 0x20e0
leaq 0x49f(%rsp), %rdi
callq 0x21c0
leaq 0x520(%rsp), %rdi
callq 0x2c20
leaq 0x500(%rsp), %rdi
callq 0x20e0
leaq 0x4ff(%rsp), %rdi
callq 0x21c0
leaq 0x580(%rsp), %rdi
callq 0x2c20
leaq 0x560(%rsp), %rdi
callq 0x20e0
leaq 0x55f(%rsp), %rdi
callq 0x21c0
leaq 0x5e0(%rsp), %rdi
callq 0x2c20
leaq 0x5c0(%rsp), %rdi
callq 0x20e0
leaq 0x5bf(%rsp), %rdi
callq 0x21c0
leaq 0x640(%rsp), %rdi
callq 0x2c20
leaq 0x620(%rsp), %rdi
callq 0x20e0
leaq 0x61f(%rsp), %rdi
callq 0x21c0
leaq 0x6a0(%rsp), %rdi
callq 0x2c20
leaq 0x680(%rsp), %rdi
callq 0x20e0
leaq 0x67f(%rsp), %rdi
callq 0x21c0
leaq 0x700(%rsp), %rdi
callq 0x2c20
leaq 0x6e0(%rsp), %rdi
callq 0x20e0
leaq 0x6df(%rsp), %rdi
callq 0x21c0
leaq 0x760(%rsp), %rdi
callq 0x2c20
leaq 0x740(%rsp), %rdi
callq 0x20e0
leaq 0x73f(%rsp), %rdi
callq 0x21c0
leaq 0x7c0(%rsp), %rdi
callq 0x2c20
leaq 0x7a0(%rsp), %rdi
callq 0x20e0
leaq 0x79f(%rsp), %rdi
callq 0x21c0
leaq 0x830(%rsp), %rdi
callq 0x2c20
leaq 0x810(%rsp), %rdi
callq 0x20e0
leaq 0x80f(%rsp), %rdi
callq 0x21c0
jmp 0x11e2c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11e2c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
jmp 0x11e1f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, 0x800(%rsp)
movl %eax, 0x7fc(%rsp)
leaq 0x128(%rsp), %rdi
callq 0xade0
jmp 0x11e1f
leaq 0x200(%rsp), %rdi
leaq 0x2b718(%rip), %rsi     # 0x3d4ce
callq 0x2180
jmp 0x11dbd
jmp 0x11dbf
leaq 0x118(%rsp), %rdi
callq 0xadb0
jmp 0x1169a
movq 0xd0(%rsp), %rdi
leaq 0x1f0(%rsp), %rsi
callq 0x2170
jmp 0x11de8
leaq 0x128(%rsp), %rdi
callq 0xade0
leaq 0x1f0(%rsp), %rdi
callq 0x2120
leaq 0x870(%rsp), %rdi
callq 0x3780
movq 0xd8(%rsp), %rax
addq $0x888, %rsp            # imm = 0x888
retq
leaq 0x1f0(%rsp), %rdi
callq 0x2120
leaq 0x870(%rsp), %rdi
callq 0x3780
movq 0x800(%rsp), %rdi
callq 0x2290
nopw %cs:(%rax,%rax)