// File: pfnet-research[P]pml/src/parser.cpp
// Function: parser::let_expr(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&, unsigned long&)
expr_result_t let_expr(std::string const& input, size_t& pos) {

    EXPECT(let_token, Let);
    EXPECT(var_token, Ident);
    EXPECT(eq_token, Eq);

    auto init_result = expr(input, pos);
    if (init_result.is_error())
        return init_result;
    auto init = init_result.ok();

    EXPECT(in_token, In);

    auto body_result = expr(input, pos);
    if (body_result.is_error())
        return body_result;
    auto body = body_result.ok();

    return expr_result_t::ok(make<ast::let_expr_t>(
                var_token.lexime, init, body
            ));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x340, %rsp            # imm = 0x340
movq %rdi, -0x298(%rbp)
movq %rdi, %rax
movq %rax, -0x290(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rax
movq (%rax), %rdx
leaq -0x50(%rbp), %rdi
movq %rdi, -0x288(%rbp)
xorl %ecx, %ecx
callq 0x364d0
movq -0x288(%rbp), %rdi
callq 0x40510
movb %al, -0x279(%rbp)
jmp 0x3b899
movb -0x279(%rbp), %al
testb $0x1, %al
jne 0x3b8a5
jmp 0x3b8e9
leaq -0x50(%rbp), %rdi
callq 0x405b0
movq %rax, -0x2a0(%rbp)
jmp 0x3b8b7
movq -0x2a0(%rbp), %rsi
movq -0x298(%rbp), %rdi
callq 0x418f0
jmp 0x3b8cc
movl $0x1, -0x60(%rbp)
jmp 0x3bf05
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3bf1e
leaq -0x50(%rbp), %rdi
callq 0x40630
movq %rax, -0x2a8(%rbp)
jmp 0x3b8fb
movq -0x2a8(%rbp), %rsi
leaq -0x90(%rbp), %rdi
callq 0x406b0
jmp 0x3b910
movq -0x88(%rbp), %rax
movq %rax, -0x2b0(%rbp)
leaq -0x80(%rbp), %rdi
callq 0xa280
movq -0x2b0(%rbp), %rcx
addq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rax
movq (%rax), %rdx
leaq -0xc8(%rbp), %rdi
movl $0xa, %ecx
callq 0x364d0
jmp 0x3b956
leaq -0xc8(%rbp), %rdi
callq 0x40510
movb %al, -0x2b1(%rbp)
jmp 0x3b96a
movb -0x2b1(%rbp), %al
testb $0x1, %al
jne 0x3b976
jmp 0x3b9ce
leaq -0xc8(%rbp), %rdi
callq 0x405b0
movq %rax, -0x2c0(%rbp)
jmp 0x3b98b
movq -0x2c0(%rbp), %rsi
movq -0x298(%rbp), %rdi
callq 0x418f0
jmp 0x3b9a0
movl $0x1, -0x60(%rbp)
jmp 0x3bed1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3bef7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3beeb
leaq -0xc8(%rbp), %rdi
callq 0x40630
movq %rax, -0x2c8(%rbp)
jmp 0x3b9e3
movq -0x2c8(%rbp), %rsi
leaq -0xf8(%rbp), %rdi
callq 0x406b0
jmp 0x3b9f8
movq -0xf0(%rbp), %rax
movq %rax, -0x2d0(%rbp)
leaq -0xe8(%rbp), %rdi
callq 0xa280
movq -0x2d0(%rbp), %rcx
addq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rax
movq (%rax), %rdx
leaq -0x130(%rbp), %rdi
movl $0xd, %ecx
callq 0x364d0
jmp 0x3ba41
leaq -0x130(%rbp), %rdi
callq 0x40510
movb %al, -0x2d1(%rbp)
jmp 0x3ba55
movb -0x2d1(%rbp), %al
testb $0x1, %al
jne 0x3ba61
jmp 0x3bab9
leaq -0x130(%rbp), %rdi
callq 0x405b0
movq %rax, -0x2e0(%rbp)
jmp 0x3ba76
movq -0x2e0(%rbp), %rsi
movq -0x298(%rbp), %rdi
callq 0x418f0
jmp 0x3ba8b
movl $0x1, -0x60(%rbp)
jmp 0x3be9d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3bec3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3beb7
leaq -0x130(%rbp), %rdi
callq 0x40630
movq %rax, -0x2e8(%rbp)
jmp 0x3bace
movq -0x2e8(%rbp), %rsi
leaq -0x160(%rbp), %rdi
callq 0x406b0
jmp 0x3bae3
movq -0x158(%rbp), %rax
movq %rax, -0x2f0(%rbp)
leaq -0x150(%rbp), %rdi
callq 0xa280
movq -0x2f0(%rbp), %rcx
addq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0x198(%rbp), %rdi
callq 0x3bf30
jmp 0x3bb24
leaq -0x198(%rbp), %rdi
callq 0x41970
movb %al, -0x2f1(%rbp)
jmp 0x3bb38
movb -0x2f1(%rbp), %al
testb $0x1, %al
jne 0x3bb44
jmp 0x3bb87
movq -0x298(%rbp), %rdi
leaq -0x198(%rbp), %rsi
callq 0x41990
jmp 0x3bb59
movl $0x1, -0x60(%rbp)
jmp 0x3be69
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3be8f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3be83
leaq -0x198(%rbp), %rdi
callq 0x419e0
movq %rax, -0x300(%rbp)
jmp 0x3bb9c
movq -0x300(%rbp), %rsi
leaq -0x1a8(%rbp), %rdi
callq 0x13050
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rax
movq (%rax), %rdx
leaq -0x1e0(%rbp), %rdi
movl $0x2, %ecx
callq 0x364d0
jmp 0x3bbcd
leaq -0x1e0(%rbp), %rdi
callq 0x40510
movb %al, -0x301(%rbp)
jmp 0x3bbe1
movb -0x301(%rbp), %al
testb $0x1, %al
jne 0x3bbed
jmp 0x3bc45
leaq -0x1e0(%rbp), %rdi
callq 0x405b0
movq %rax, -0x310(%rbp)
jmp 0x3bc02
movq -0x310(%rbp), %rsi
movq -0x298(%rbp), %rdi
callq 0x418f0
jmp 0x3bc17
movl $0x1, -0x60(%rbp)
jmp 0x3be35
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3be5b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3be4f
leaq -0x1e0(%rbp), %rdi
callq 0x40630
movq %rax, -0x318(%rbp)
jmp 0x3bc5a
movq -0x318(%rbp), %rsi
leaq -0x210(%rbp), %rdi
callq 0x406b0
jmp 0x3bc6f
movq -0x208(%rbp), %rax
movq %rax, -0x320(%rbp)
leaq -0x200(%rbp), %rdi
callq 0xa280
movq -0x320(%rbp), %rcx
addq %rax, %rcx
movq -0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x10(%rbp), %rsi
movq -0x18(%rbp), %rdx
leaq -0x248(%rbp), %rdi
callq 0x3bf30
jmp 0x3bcb0
leaq -0x248(%rbp), %rdi
callq 0x41970
movb %al, -0x321(%rbp)
jmp 0x3bcc4
movb -0x321(%rbp), %al
testb $0x1, %al
jne 0x3bcd0
jmp 0x3bd13
movq -0x298(%rbp), %rdi
leaq -0x248(%rbp), %rsi
callq 0x41990
jmp 0x3bce5
movl $0x1, -0x60(%rbp)
jmp 0x3be01
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3be27
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3be1b
leaq -0x248(%rbp), %rdi
callq 0x419e0
movq %rax, -0x330(%rbp)
jmp 0x3bd28
movq -0x330(%rbp), %rsi
leaq -0x258(%rbp), %rdi
movq %rdi, -0x338(%rbp)
callq 0x13050
movq -0x338(%rbp), %rcx
leaq -0xe8(%rbp), %rsi
leaq -0x278(%rbp), %rdi
leaq -0x1a8(%rbp), %rdx
callq 0x3c030
jmp 0x3bd65
leaq -0x268(%rbp), %rdi
movq %rdi, -0x340(%rbp)
leaq -0x278(%rbp), %rsi
callq 0x41ac0
movq -0x298(%rbp), %rdi
movq -0x340(%rbp), %rsi
callq 0x41a60
jmp 0x3bd94
leaq -0x268(%rbp), %rdi
callq 0x13080
leaq -0x278(%rbp), %rdi
callq 0x41af0
movl $0x1, -0x60(%rbp)
leaq -0x258(%rbp), %rdi
callq 0x13080
jmp 0x3be01
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
jmp 0x3bdf3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x58(%rbp)
movl %eax, -0x5c(%rbp)
leaq -0x268(%rbp), %rdi
callq 0x13080
leaq -0x278(%rbp), %rdi
callq 0x41af0
leaq -0x258(%rbp), %rdi
callq 0x13080
jmp 0x3be1b
leaq -0x248(%rbp), %rdi
callq 0x2ffa0
leaq -0x210(%rbp), %rdi
callq 0x404f0
jmp 0x3be35
leaq -0x248(%rbp), %rdi
callq 0x2ffa0
leaq -0x210(%rbp), %rdi
callq 0x404f0
jmp 0x3be4f
leaq -0x1e0(%rbp), %rdi
callq 0x407c0
leaq -0x1a8(%rbp), %rdi
callq 0x13080
jmp 0x3be69
leaq -0x1e0(%rbp), %rdi
callq 0x407c0
leaq -0x1a8(%rbp), %rdi
callq 0x13080
jmp 0x3be83
leaq -0x198(%rbp), %rdi
callq 0x2ffa0
leaq -0x160(%rbp), %rdi
callq 0x404f0
jmp 0x3be9d
leaq -0x198(%rbp), %rdi
callq 0x2ffa0
leaq -0x160(%rbp), %rdi
callq 0x404f0
jmp 0x3beb7
leaq -0x130(%rbp), %rdi
callq 0x407c0
leaq -0xf8(%rbp), %rdi
callq 0x404f0
jmp 0x3bed1
leaq -0x130(%rbp), %rdi
callq 0x407c0
leaq -0xf8(%rbp), %rdi
callq 0x404f0
jmp 0x3beeb
leaq -0xc8(%rbp), %rdi
callq 0x407c0
leaq -0x90(%rbp), %rdi
callq 0x404f0
jmp 0x3bf05
leaq -0xc8(%rbp), %rdi
callq 0x407c0
leaq -0x90(%rbp), %rdi
callq 0x404f0
jmp 0x3bf1e
leaq -0x50(%rbp), %rdi
callq 0x407c0
movq -0x290(%rbp), %rax
addq $0x340, %rsp            # imm = 0x340
popq %rbp
retq
leaq -0x50(%rbp), %rdi
callq 0x407c0
movq -0x58(%rbp), %rdi
callq 0xa650