// File: pfnet-research[P]pml/src/parser.cpp
// Function: token_kind_to_string[abi:cxx11](token_t::kind_t)
std::string token_kind_to_string(token_t::kind_t kind) {
    using kind_t = token_t::kind_t;
    switch (kind) {
    case kind_t::Let:
        return "let";
    case kind_t::LetFun:
        return "letfun";
    case kind_t::In:
        return "in";
    case kind_t::If:
        return "if";
    case kind_t::Then:
        return "then";
    case kind_t::Else:
        return "else";
    case kind_t::Rand:
        return "rand";
    case kind_t::Ident:
        return "identifier";
    case kind_t::Arrow:
        return "->";
    case kind_t::FatArrow:
        return "=>";
    case kind_t::Or:
        return "\\/";
    case kind_t::And:
        return "/\\";
    case kind_t::Prob:
        return "Prob";
    case kind_t::Not:
        return "not";
    case kind_t::DoubleEq:
        return "==";
    case kind_t::Neq:
        return "!=";
    case kind_t::Less:
        return "<";
    case kind_t::Leq:
        return "<=";
    case kind_t::Geq:
        return ">=";
    case kind_t::Greater:
        return ">";
    case kind_t::Eq:
        return "=";
    case kind_t::Plus:
        return "+";
    case kind_t::Minus:
        return "-";
    case kind_t::Star:
        return "*";
    case kind_t::Slash:
        return "/";
    case kind_t::Comma:
        return ",";
    case kind_t::Amp:
        return "&";
    case kind_t::BackSlash:
        return "\\";
    case kind_t::Bar:
        return "|";
    case kind_t::Colon:
        return ":";
    case kind_t::Int:
        return "number";
    case kind_t::True:
        return "true";
    case kind_t::False:
        return "false";
    case kind_t::LParen:
        return "(";
    case kind_t::RParen:
        return ")";
    case kind_t::LBrace:
        return "{";
    case kind_t::RBrace:
        return "}";
    case kind_t::Eof:
        return "eof";
    case kind_t::Dummy:
        return "dummy";
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1a0, %rsp            # imm = 0x1A0
movq %rdi, -0x60(%rbp)
movq %rdi, %rax
movq %rax, -0x58(%rbp)
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl -0xc(%rbp), %eax
movq %rax, -0x50(%rbp)
subq $0x26, %rax
ja 0x35425
movq -0x50(%rbp), %rax
leaq 0x680bb(%rip), %rcx     # 0x9c8a4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq -0xd(%rbp), %rdi
movq %rdi, -0x68(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x68(%rbp), %rdx
leaq 0x6b6bb(%rip), %rsi     # 0x9fec9
callq 0x1dd10
jmp 0x34815
leaq -0xd(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0xd(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x1d(%rbp), %rdi
movq %rdi, -0x70(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x70(%rbp), %rdx
leaq 0x6819f(%rip), %rsi     # 0x9c9f8
callq 0x1dd10
jmp 0x34860
leaq -0x1d(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1d(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x1e(%rbp), %rdi
movq %rdi, -0x78(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x78(%rbp), %rdx
leaq 0x6815b(%rip), %rsi     # 0x9c9ff
callq 0x1dd10
jmp 0x348ab
leaq -0x1e(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1e(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x1f(%rbp), %rdi
movq %rdi, -0x80(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x80(%rbp), %rdx
leaq 0x68113(%rip), %rsi     # 0x9ca02
callq 0x1dd10
jmp 0x348f6
leaq -0x1f(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1f(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x20(%rbp), %rdi
movq %rdi, -0x88(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x88(%rbp), %rdx
leaq 0x680c5(%rip), %rsi     # 0x9ca05
callq 0x1dd10
jmp 0x34947
leaq -0x20(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x20(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x21(%rbp), %rdi
movq %rdi, -0x90(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x90(%rbp), %rdx
leaq 0x68079(%rip), %rsi     # 0x9ca0a
callq 0x1dd10
jmp 0x34998
leaq -0x21(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x21(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x22(%rbp), %rdi
movq %rdi, -0x98(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x98(%rbp), %rdx
leaq 0x6b4f7(%rip), %rsi     # 0x9fed9
callq 0x1dd10
jmp 0x349e9
leaq -0x22(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x22(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x23(%rbp), %rdi
movq %rdi, -0xa0(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xa0(%rbp), %rdx
leaq 0x67fdc(%rip), %rsi     # 0x9ca0f
callq 0x1dd10
jmp 0x34a3a
leaq -0x23(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x23(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x24(%rbp), %rdi
movq %rdi, -0xa8(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xa8(%rbp), %rdx
leaq 0x67f96(%rip), %rsi     # 0x9ca1a
callq 0x1dd10
jmp 0x34a8b
leaq -0x24(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x24(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x25(%rbp), %rdi
movq %rdi, -0xb0(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xb0(%rbp), %rdx
leaq 0x67b37(%rip), %rsi     # 0x9c60c
callq 0x1dd10
jmp 0x34adc
leaq -0x25(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x25(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x26(%rbp), %rdi
movq %rdi, -0xb8(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xb8(%rbp), %rdx
leaq 0x67ef7(%rip), %rsi     # 0x9ca1d
callq 0x1dd10
jmp 0x34b2d
leaq -0x26(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x26(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x27(%rbp), %rdi
movq %rdi, -0xc0(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xc0(%rbp), %rdx
leaq 0x67ea9(%rip), %rsi     # 0x9ca20
callq 0x1dd10
jmp 0x34b7e
leaq -0x27(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x27(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x28(%rbp), %rdi
movq %rdi, -0xc8(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xc8(%rbp), %rdx
leaq 0x67e5b(%rip), %rsi     # 0x9ca23
callq 0x1dd10
jmp 0x34bcf
leaq -0x28(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x28(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x29(%rbp), %rdi
movq %rdi, -0xd0(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xd0(%rbp), %rdx
leaq 0x67e0f(%rip), %rsi     # 0x9ca28
callq 0x1dd10
jmp 0x34c20
leaq -0x29(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x29(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x2a(%rbp), %rdi
movq %rdi, -0xd8(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xd8(%rbp), %rdx
leaq 0x67dc2(%rip), %rsi     # 0x9ca2c
callq 0x1dd10
jmp 0x34c71
leaq -0x2a(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2a(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x2b(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xe0(%rbp), %rdx
leaq 0x6794d(%rip), %rsi     # 0x9c608
callq 0x1dd10
jmp 0x34cc2
leaq -0x2b(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2b(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x2c(%rbp), %rdi
movq %rdi, -0xe8(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xe8(%rbp), %rdx
leaq 0x66f5d(%rip), %rsi     # 0x9bc69
callq 0x1dd10
jmp 0x34d13
leaq -0x2c(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2c(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x2d(%rbp), %rdi
movq %rdi, -0xf0(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xf0(%rbp), %rdx
leaq 0x66f0e(%rip), %rsi     # 0x9bc6b
callq 0x1dd10
jmp 0x34d64
leaq -0x2d(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2d(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x2e(%rbp), %rdi
movq %rdi, -0xf8(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0xf8(%rbp), %rdx
leaq 0x66ec0(%rip), %rsi     # 0x9bc6e
callq 0x1dd10
jmp 0x34db5
leaq -0x2e(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2e(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x2f(%rbp), %rdi
movq %rdi, -0x100(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x100(%rbp), %rdx
leaq 0x67c1c(%rip), %rsi     # 0x9ca1b
callq 0x1dd10
jmp 0x34e06
leaq -0x2f(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2f(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x30(%rbp), %rdi
movq %rdi, -0x108(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x108(%rbp), %rdx
leaq 0x677b9(%rip), %rsi     # 0x9c609
callq 0x1dd10
jmp 0x34e57
leaq -0x30(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x30(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x31(%rbp), %rdi
movq %rdi, -0x110(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x110(%rbp), %rdx
leaq 0x642d0(%rip), %rsi     # 0x99171
callq 0x1dd10
jmp 0x34ea8
leaq -0x31(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x31(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x32(%rbp), %rdi
movq %rdi, -0x118(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x118(%rbp), %rdx
leaq 0x66d28(%rip), %rsi     # 0x9bc1a
callq 0x1dd10
jmp 0x34ef9
leaq -0x32(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x32(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x33(%rbp), %rdi
movq %rdi, -0x120(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x120(%rbp), %rdx
leaq 0x66cd9(%rip), %rsi     # 0x9bc1c
callq 0x1dd10
jmp 0x34f4a
leaq -0x33(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x33(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x34(%rbp), %rdi
movq %rdi, -0x128(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x128(%rbp), %rdx
leaq 0x67a8a(%rip), %rsi     # 0x9ca1e
callq 0x1dd10
jmp 0x34f9b
leaq -0x34(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x34(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x35(%rbp), %rdi
movq %rdi, -0x130(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x130(%rbp), %rdx
leaq 0x67a4a(%rip), %rsi     # 0x9ca2f
callq 0x1dd10
jmp 0x34fec
leaq -0x35(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x35(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x36(%rbp), %rdi
movq %rdi, -0x138(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x138(%rbp), %rdx
leaq 0x66c2f(%rip), %rsi     # 0x9bc65
callq 0x1dd10
jmp 0x3503d
leaq -0x36(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x36(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x37(%rbp), %rdi
movq %rdi, -0x140(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x140(%rbp), %rdx
leaq 0x6799a(%rip), %rsi     # 0x9ca21
callq 0x1dd10
jmp 0x3508e
leaq -0x37(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x37(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x38(%rbp), %rdi
movq %rdi, -0x148(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x148(%rbp), %rdx
leaq 0x66b8f(%rip), %rsi     # 0x9bc67
callq 0x1dd10
jmp 0x350df
leaq -0x38(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x38(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x39(%rbp), %rdi
movq %rdi, -0x150(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x150(%rbp), %rdx
leaq 0x674e8(%rip), %rsi     # 0x9c611
callq 0x1dd10
jmp 0x35130
leaq -0x39(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x39(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x3a(%rbp), %rdi
movq %rdi, -0x158(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x158(%rbp), %rdx
leaq 0x678b7(%rip), %rsi     # 0x9ca31
callq 0x1dd10
jmp 0x35181
leaq -0x3a(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x3a(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x3b(%rbp), %rdi
movq %rdi, -0x160(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x160(%rbp), %rdx
leaq 0x6cf75(%rip), %rsi     # 0xa2140
callq 0x1dd10
jmp 0x351d2
leaq -0x3b(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x3b(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x3c(%rbp), %rdi
movq %rdi, -0x168(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x168(%rbp), %rdx
leaq 0x6aa8b(%rip), %rsi     # 0x9fca7
callq 0x1dd10
jmp 0x35223
leaq -0x3c(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x3c(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x3d(%rbp), %rdi
movq %rdi, -0x170(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x170(%rbp), %rdx
leaq 0x669f6(%rip), %rsi     # 0x9bc63
callq 0x1dd10
jmp 0x35274
leaq -0x3d(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x3d(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x3e(%rbp), %rdi
movq %rdi, -0x178(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x178(%rbp), %rdx
leaq 0x640f4(%rip), %rsi     # 0x993b2
callq 0x1dd10
jmp 0x352c5
leaq -0x3e(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x3e(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x3f(%rbp), %rdi
movq %rdi, -0x180(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x180(%rbp), %rdx
leaq 0x67729(%rip), %rsi     # 0x9ca38
callq 0x1dd10
jmp 0x35316
leaq -0x3f(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x3f(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x40(%rbp), %rdi
movq %rdi, -0x188(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x188(%rbp), %rdx
leaq 0x6a8b2(%rip), %rsi     # 0x9fc12
callq 0x1dd10
jmp 0x35367
leaq -0x40(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x40(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x41(%rbp), %rdi
movq %rdi, -0x190(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x190(%rbp), %rdx
leaq 0x67689(%rip), %rsi     # 0x9ca3a
callq 0x1dd10
jmp 0x353b8
leaq -0x41(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x41(%rbp), %rdi
callq 0xa420
jmp 0x35434
leaq -0x42(%rbp), %rdi
movq %rdi, -0x198(%rbp)
callq 0xa660
movq -0x60(%rbp), %rdi
movq -0x198(%rbp), %rdx
leaq 0x67642(%rip), %rsi     # 0x9ca3e
callq 0x1dd10
jmp 0x35403
leaq -0x42(%rbp), %rdi
callq 0xa420
jmp 0x35427
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x42(%rbp), %rdi
callq 0xa420
jmp 0x35434
ud2
movq -0x58(%rbp), %rax
addq $0x1a0, %rsp            # imm = 0x1A0
popq %rbp
retq
movq -0x18(%rbp), %rdi
callq 0xa650
nopl (%rax)