// File: sighingnow[P]compile-pascal/pl0_parser.cpp
// Function: pl0_read_stmt_fn(input_t*)
pair<int, pl0_ast_read_stmt *> pl0_read_stmt_fn(input_t *text) {
    auto parser = (spaces >> pl0_string_literal("read")) >> spaces >> pl0_character('(') >> (pl0_identify % pl0_character(',')) << pl0_character(')');
    auto res = (spaces >> parser << spaces)(text);
    if (verbose) {
        cout << "parsing: Read Statement" << endl;
    }
    return make_pair(std::get<0>(res), new pl0_ast_read_stmt(text->locate(), std::get<1>(res)));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xfa0, %rsp            # imm = 0xFA0
movq %rdi, -0x18(%rbp)
leaq -0x7d1(%rbp), %rdi
movq %rdi, -0xf68(%rbp)
callq 0x55d0
movq -0xf68(%rbp), %rdx
leaq 0xd88c7(%rip), %rsi     # 0xef5b7
leaq -0x7d0(%rbp), %rdi
callq 0x19840
jmp 0x16cfe
leaq -0x7b0(%rbp), %rdi
leaq -0x7d0(%rbp), %rsi
callq 0xa6a0
jmp 0x16d13
leaq 0x148ab6(%rip), %rsi    # 0x15f7d0
leaq -0x768(%rbp), %rdi
leaq -0x7b0(%rbp), %rdx
callq 0x20710
jmp 0x16d2f
leaq 0x148a9a(%rip), %rdx    # 0x15f7d0
leaq -0x6b8(%rbp), %rdi
leaq -0x768(%rbp), %rsi
callq 0x2af10
jmp 0x16d4b
movb $0x28, -0x831(%rbp)
leaq -0x830(%rbp), %rdi
leaq -0x831(%rbp), %rsi
callq 0xa240
jmp 0x16d67
leaq -0x5a0(%rbp), %rdi
leaq -0x6b8(%rbp), %rsi
leaq -0x830(%rbp), %rdx
callq 0x2aed0
jmp 0x16d83
movb $0x2c, -0x911(%rbp)
leaq -0x910(%rbp), %rdi
leaq -0x911(%rbp), %rsi
callq 0xa240
jmp 0x16d9f
leaq 0x148f0a(%rip), %rsi    # 0x15fcb0
leaq -0x8c8(%rbp), %rdi
leaq -0x910(%rbp), %rdx
callq 0x1ecd0
jmp 0x16dbb
leaq -0x440(%rbp), %rdi
leaq -0x5a0(%rbp), %rsi
leaq -0x8c8(%rbp), %rdx
callq 0x2ae90
jmp 0x16dd7
movb $0x29, -0x961(%rbp)
leaq -0x960(%rbp), %rdi
leaq -0x961(%rbp), %rsi
callq 0xa240
jmp 0x16df3
leaq -0x250(%rbp), %rdi
leaq -0x440(%rbp), %rsi
leaq -0x960(%rbp), %rdx
callq 0x2ae50
jmp 0x16e0f
leaq -0x960(%rbp), %rdi
callq 0x19a20
leaq -0x440(%rbp), %rdi
callq 0x2af50
leaq -0x8c8(%rbp), %rdi
callq 0x1ed80
leaq -0x910(%rbp), %rdi
callq 0x19a20
leaq -0x5a0(%rbp), %rdi
callq 0x2af80
leaq -0x830(%rbp), %rdi
callq 0x19a20
leaq -0x6b8(%rbp), %rdi
callq 0x2afb0
leaq -0x768(%rbp), %rdi
callq 0x20b00
leaq -0x7b0(%rbp), %rdi
callq 0x1d950
leaq -0x7d0(%rbp), %rdi
callq 0x5200
leaq -0x7d1(%rbp), %rdi
callq 0x53c0
leaq 0x148936(%rip), %rsi    # 0x15f7d0
leaq -0xf50(%rbp), %rdi
leaq -0x250(%rbp), %rdx
callq 0x2b020
jmp 0x16eaf
leaq 0x14891a(%rip), %rdx    # 0x15f7d0
leaq -0xcb0(%rbp), %rdi
leaq -0xf50(%rbp), %rsi
callq 0x2afe0
jmp 0x16ecb
movq -0x18(%rbp), %rdx
leaq -0x9a8(%rbp), %rdi
leaq -0xcb0(%rbp), %rsi
callq 0x2b060
jmp 0x16ee4
leaq -0xcb0(%rbp), %rdi
callq 0x2b450
leaq -0xf50(%rbp), %rdi
callq 0x2b480
testb $0x1, 0x148935(%rip)    # 0x15f838
je 0x17125
movq 0x1480c8(%rip), %rdi    # 0x15efd8
leaq 0xd86a5(%rip), %rsi     # 0xef5bc
callq 0x5330
movq %rax, -0xf70(%rbp)
jmp 0x16f25
movq -0xf70(%rbp), %rdi
movq 0x14808d(%rip), %rsi    # 0x15efc0
callq 0x53a0
jmp 0x16f3a
jmp 0x17125
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x170a3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x17097
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x1708b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x1707f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x17073
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x17067
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x1705b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x1704f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x17043
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x17037
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
leaq -0x960(%rbp), %rdi
callq 0x19a20
leaq -0x440(%rbp), %rdi
callq 0x2af50
leaq -0x8c8(%rbp), %rdi
callq 0x1ed80
leaq -0x910(%rbp), %rdi
callq 0x19a20
leaq -0x5a0(%rbp), %rdi
callq 0x2af80
leaq -0x830(%rbp), %rdi
callq 0x19a20
leaq -0x6b8(%rbp), %rdi
callq 0x2afb0
leaq -0x768(%rbp), %rdi
callq 0x20b00
leaq -0x7b0(%rbp), %rdi
callq 0x1d950
leaq -0x7d0(%rbp), %rdi
callq 0x5200
leaq -0x7d1(%rbp), %rdi
callq 0x53c0
jmp 0x17236
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x1722a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x170fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
leaq -0xcb0(%rbp), %rdi
callq 0x2b450
leaq -0xf50(%rbp), %rdi
callq 0x2b480
jmp 0x1722a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
jmp 0x1721e
leaq -0x9a8(%rbp), %rdi
callq 0x2b4e0
movq %rax, -0xf80(%rbp)
movl $0x30, %edi
callq 0x5340
movq %rax, -0xf78(%rbp)
jmp 0x1714b
movq -0x18(%rbp), %rdi
callq 0x1a350
movq %rax, -0xf88(%rbp)
jmp 0x1715d
movq -0xf88(%rbp), %rax
movq %rax, -0xf60(%rbp)
leaq -0x9a8(%rbp), %rdi
callq 0x2b500
movq -0xf78(%rbp), %rdi
movq %rax, %rdx
movq -0xf60(%rbp), %rsi
callq 0x2b520
jmp 0x1718f
movq -0xf80(%rbp), %rdi
movq -0xf78(%rbp), %rax
movq %rax, -0xf58(%rbp)
leaq -0xf58(%rbp), %rsi
callq 0x2b4b0
movq %rdx, -0xf98(%rbp)
movl %eax, -0xf8c(%rbp)
jmp 0x171bf
movq -0xf98(%rbp), %rax
movl -0xf8c(%rbp), %ecx
movl %ecx, -0x10(%rbp)
movq %rax, -0x8(%rbp)
leaq -0x9a8(%rbp), %rdi
callq 0x2b5a0
leaq -0x250(%rbp), %rdi
callq 0x2b5c0
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0xfa0, %rsp            # imm = 0xFA0
popq %rbp
retq
movq -0xf78(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x7e0(%rbp)
movl %eax, -0x7e4(%rbp)
movl $0x30, %esi
callq 0x5350
leaq -0x9a8(%rbp), %rdi
callq 0x2b5a0
leaq -0x250(%rbp), %rdi
callq 0x2b5c0
movq -0x7e0(%rbp), %rdi
callq 0x55b0
nopw %cs:(%rax,%rax)