// File: pfnet-research[P]pml/src/expr_ast.cpp
// Function: ast::to_string[abi:cxx11](ast::expr_kind_t)
std::string to_string(expr_kind_t kind) {
    switch (kind) {
    case expr_kind_t::Let:
        return "Let";
    case expr_kind_t::LetFun:
        return "LetFun";
    case expr_kind_t::If:
        return "If";
    case expr_kind_t::App:
        return "App";
    case expr_kind_t::Rand:
        return "Rand";
    case expr_kind_t::Eq:
        return "Eq";
    case expr_kind_t::Neq:
        return "Neq";
    case expr_kind_t::Leq:
        return "Leq";
    case expr_kind_t::Geq:
        return "Geq";
    case expr_kind_t::Add:
        return "Add";
    case expr_kind_t::Sub:
        return "Sub";
    case expr_kind_t::Mul:
        return "Mul";
    case expr_kind_t::Div:
        return "Div";
    case expr_kind_t::And:
        return "And";
    case expr_kind_t::Or:
        return "Or";
    case expr_kind_t::Neg:
        return "Neg";
    case expr_kind_t::Typed:
        return "Typed";
    case expr_kind_t::Fun:
        return "Fun";
    case expr_kind_t::Int:
        return "Int";
    case expr_kind_t::Bool:
        return "Bool";
    case expr_kind_t::Var:
        return "Var";
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xf0, %rsp
movq %rdi, -0x48(%rbp)
movq %rdi, %rax
movq %rax, -0x40(%rbp)
movq %rdi, -0x8(%rbp)
movl %esi, -0xc(%rbp)
movl -0xc(%rbp), %eax
movq %rax, -0x38(%rbp)
subq $0x14, %rax
ja 0x1b511
movq -0x38(%rbp), %rax
leaq 0x8092b(%rip), %rcx     # 0x9b7c4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq -0xd(%rbp), %rdi
movq %rdi, -0x50(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x50(%rbp), %rdx
leaq 0x809ae(%rip), %rsi     # 0x9b86c
callq 0x1dd10
jmp 0x1aec5
leaq -0xd(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0xd(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x1d(%rbp), %rdi
movq %rdi, -0x58(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x58(%rbp), %rdx
leaq 0x80967(%rip), %rsi     # 0x9b870
callq 0x1dd10
jmp 0x1af10
leaq -0x1d(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1d(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x1e(%rbp), %rdi
movq %rdi, -0x60(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x60(%rbp), %rdx
leaq 0x80923(%rip), %rsi     # 0x9b877
callq 0x1dd10
jmp 0x1af5b
leaq -0x1e(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1e(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x1f(%rbp), %rdi
movq %rdi, -0x68(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x68(%rbp), %rdx
leaq 0x808db(%rip), %rsi     # 0x9b87a
callq 0x1dd10
jmp 0x1afa6
leaq -0x1f(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x1f(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x20(%rbp), %rdi
movq %rdi, -0x70(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x70(%rbp), %rdx
leaq 0x80894(%rip), %rsi     # 0x9b87e
callq 0x1dd10
jmp 0x1aff1
leaq -0x20(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x20(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x21(%rbp), %rdi
movq %rdi, -0x78(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x78(%rbp), %rdx
leaq 0x8084e(%rip), %rsi     # 0x9b883
callq 0x1dd10
jmp 0x1b03c
leaq -0x21(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x21(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x22(%rbp), %rdi
movq %rdi, -0x80(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x80(%rbp), %rdx
leaq 0x80806(%rip), %rsi     # 0x9b886
callq 0x1dd10
jmp 0x1b087
leaq -0x22(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x22(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x23(%rbp), %rdi
movq %rdi, -0x88(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x88(%rbp), %rdx
leaq 0x807b9(%rip), %rsi     # 0x9b88a
callq 0x1dd10
jmp 0x1b0d8
leaq -0x23(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x23(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x24(%rbp), %rdi
movq %rdi, -0x90(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x90(%rbp), %rdx
leaq 0x8076c(%rip), %rsi     # 0x9b88e
callq 0x1dd10
jmp 0x1b129
leaq -0x24(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x24(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x25(%rbp), %rdi
movq %rdi, -0x98(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0x98(%rbp), %rdx
leaq 0x8071f(%rip), %rsi     # 0x9b892
callq 0x1dd10
jmp 0x1b17a
leaq -0x25(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x25(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x26(%rbp), %rdi
movq %rdi, -0xa0(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xa0(%rbp), %rdx
leaq 0x806d2(%rip), %rsi     # 0x9b896
callq 0x1dd10
jmp 0x1b1cb
leaq -0x26(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x26(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x27(%rbp), %rdi
movq %rdi, -0xa8(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xa8(%rbp), %rdx
leaq 0x80685(%rip), %rsi     # 0x9b89a
callq 0x1dd10
jmp 0x1b21c
leaq -0x27(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x27(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x28(%rbp), %rdi
movq %rdi, -0xb0(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xb0(%rbp), %rdx
leaq 0x80638(%rip), %rsi     # 0x9b89e
callq 0x1dd10
jmp 0x1b26d
leaq -0x28(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x28(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x29(%rbp), %rdi
movq %rdi, -0xb8(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xb8(%rbp), %rdx
leaq 0x805eb(%rip), %rsi     # 0x9b8a2
callq 0x1dd10
jmp 0x1b2be
leaq -0x29(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x29(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x2a(%rbp), %rdi
movq %rdi, -0xc0(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xc0(%rbp), %rdx
leaq 0x8059e(%rip), %rsi     # 0x9b8a6
callq 0x1dd10
jmp 0x1b30f
leaq -0x2a(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2a(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x2b(%rbp), %rdi
movq %rdi, -0xc8(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xc8(%rbp), %rdx
leaq 0x80550(%rip), %rsi     # 0x9b8a9
callq 0x1dd10
jmp 0x1b360
leaq -0x2b(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2b(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x2c(%rbp), %rdi
movq %rdi, -0xd0(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xd0(%rbp), %rdx
leaq 0x80503(%rip), %rsi     # 0x9b8ad
callq 0x1dd10
jmp 0x1b3b1
leaq -0x2c(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2c(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x2d(%rbp), %rdi
movq %rdi, -0xd8(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xd8(%rbp), %rdx
leaq 0x80478(%rip), %rsi     # 0x9b873
callq 0x1dd10
jmp 0x1b402
leaq -0x2d(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2d(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x2e(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xe0(%rbp), %rdx
leaq 0x80467(%rip), %rsi     # 0x9b8b3
callq 0x1dd10
jmp 0x1b453
leaq -0x2e(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2e(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x2f(%rbp), %rdi
movq %rdi, -0xe8(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xe8(%rbp), %rdx
leaq 0x8041a(%rip), %rsi     # 0x9b8b7
callq 0x1dd10
jmp 0x1b4a4
leaq -0x2f(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x2f(%rbp), %rdi
callq 0xa420
jmp 0x1b520
leaq -0x30(%rbp), %rdi
movq %rdi, -0xf0(%rbp)
callq 0xa660
movq -0x48(%rbp), %rdi
movq -0xf0(%rbp), %rdx
leaq 0x803d4(%rip), %rsi     # 0x9b8bc
callq 0x1dd10
jmp 0x1b4ef
leaq -0x30(%rbp), %rdi
callq 0xa420
jmp 0x1b513
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x18(%rbp)
movl %eax, -0x1c(%rbp)
leaq -0x30(%rbp), %rdi
callq 0xa420
jmp 0x1b520
ud2
movq -0x40(%rbp), %rax
addq $0xf0, %rsp
popq %rbp
retq
movq -0x18(%rbp), %rdi
callq 0xa650
nopl (%rax)