// File: sighingnow[P]compile-pascal/pl0_parser.cpp
// Function: pl0_charseq_fn(input_t*)
pair<int, pl0_ast_charseq *> pl0_charseq_fn(input_t *text) {
    auto parser = pl0_character('"') >> (++(print-pl0_character('"'))) << pl0_character('"');
    auto res = (spaces >> (parser / vec2str) << spaces)(text);
    if (verbose) {
        cout << "parsing: Charseq" << endl;
    }
    return make_pair(std::get<0>(res), new pl0_ast_charseq(text->locate(), std::get<1>(res)));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x9b0, %rsp            # imm = 0x9B0
movq %rdi, -0x18(%rbp)
movb $0x22, -0x259(%rbp)
leaq -0x258(%rbp), %rdi
leaq -0x259(%rbp), %rsi
callq 0xa240
movb $0x22, -0x3c9(%rbp)
leaq -0x3c8(%rbp), %rdi
leaq -0x3c9(%rbp), %rsi
callq 0xa240
jmp 0xb4a5
leaq 0x154274(%rip), %rsi    # 0x15f720
leaq -0x380(%rbp), %rdi
leaq -0x3c8(%rbp), %rdx
callq 0x1bb10
jmp 0xb4c1
leaq -0x2f0(%rbp), %rdi
leaq -0x380(%rbp), %rsi
callq 0x1bae0
jmp 0xb4d6
leaq -0x210(%rbp), %rdi
leaq -0x258(%rbp), %rsi
leaq -0x2f0(%rbp), %rdx
callq 0x1baa0
jmp 0xb4f2
movb $0x22, -0x429(%rbp)
leaq -0x428(%rbp), %rdi
leaq -0x429(%rbp), %rsi
callq 0xa240
jmp 0xb50e
leaq -0x138(%rbp), %rdi
leaq -0x210(%rbp), %rsi
leaq -0x428(%rbp), %rdx
callq 0x1ba60
jmp 0xb52a
leaq -0x428(%rbp), %rdi
callq 0x19a20
leaq -0x210(%rbp), %rdi
callq 0x1bb50
leaq -0x2f0(%rbp), %rdi
callq 0x1bb80
leaq -0x380(%rbp), %rdi
callq 0x1bba0
leaq -0x3c8(%rbp), %rdi
callq 0x19a20
leaq -0x258(%rbp), %rdi
callq 0x19a20
leaq 0x154237(%rip), %rdx    # 0x15f7b0
leaq -0x970(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0x1bc50
jmp 0xb58e
leaq 0x15423b(%rip), %rsi    # 0x15f7d0
leaq -0x830(%rbp), %rdi
leaq -0x970(%rbp), %rdx
callq 0x1bc10
jmp 0xb5aa
leaq 0x15421f(%rip), %rdx    # 0x15f7d0
leaq -0x688(%rbp), %rdi
leaq -0x830(%rbp), %rsi
callq 0x1bbd0
jmp 0xb5c6
movq -0x18(%rbp), %rdx
leaq -0x478(%rbp), %rdi
leaq -0x688(%rbp), %rsi
callq 0x1bc90
jmp 0xb5df
leaq -0x688(%rbp), %rdi
callq 0x1c050
leaq -0x830(%rbp), %rdi
callq 0x1c080
leaq -0x970(%rbp), %rdi
callq 0x1c0b0
testb $0x1, 0x15422e(%rip)    # 0x15f838
je 0xb79d
movq 0x1539c1(%rip), %rdi    # 0x15efd8
leaq 0xe3bc6(%rip), %rsi     # 0xef1e4
callq 0x5330
movq %rax, -0x988(%rbp)
jmp 0xb62c
movq -0x988(%rbp), %rdi
movq 0x153986(%rip), %rsi    # 0x15efc0
callq 0x53a0
jmp 0xb641
jmp 0xb79d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
jmp 0xb6fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
jmp 0xb6ef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
jmp 0xb6e3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
jmp 0xb6d7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
jmp 0xb6cb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
leaq -0x428(%rbp), %rdi
callq 0x19a20
leaq -0x210(%rbp), %rdi
callq 0x1bb50
leaq -0x2f0(%rbp), %rdi
callq 0x1bb80
leaq -0x380(%rbp), %rdi
callq 0x1bba0
leaq -0x3c8(%rbp), %rdi
callq 0x19a20
leaq -0x258(%rbp), %rdi
callq 0x19a20
jmp 0xb8ae
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
jmp 0xb8a2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
jmp 0xb775
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
jmp 0xb769
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
leaq -0x688(%rbp), %rdi
callq 0x1c050
leaq -0x830(%rbp), %rdi
callq 0x1c080
leaq -0x970(%rbp), %rdi
callq 0x1c0b0
jmp 0xb8a2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
jmp 0xb896
leaq -0x478(%rbp), %rdi
callq 0x1c110
movq %rax, -0x998(%rbp)
movl $0x28, %edi
callq 0x5340
movq %rax, -0x990(%rbp)
jmp 0xb7c3
movq -0x18(%rbp), %rdi
callq 0x1a350
movq %rax, -0x9a0(%rbp)
jmp 0xb7d5
movq -0x9a0(%rbp), %rax
movq %rax, -0x980(%rbp)
leaq -0x478(%rbp), %rdi
callq 0x1c130
movq -0x990(%rbp), %rdi
movq %rax, %rdx
movq -0x980(%rbp), %rsi
callq 0x1c150
jmp 0xb807
movq -0x998(%rbp), %rdi
movq -0x990(%rbp), %rax
movq %rax, -0x978(%rbp)
leaq -0x978(%rbp), %rsi
callq 0x1c0e0
movq %rdx, -0x9b0(%rbp)
movl %eax, -0x9a4(%rbp)
jmp 0xb837
movq -0x9b0(%rbp), %rax
movl -0x9a4(%rbp), %ecx
movl %ecx, -0x10(%rbp)
movq %rax, -0x8(%rbp)
leaq -0x478(%rbp), %rdi
callq 0x1c190
leaq -0x138(%rbp), %rdi
callq 0x1c1b0
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x9b0, %rsp            # imm = 0x9B0
popq %rbp
retq
movq -0x990(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x3d8(%rbp)
movl %eax, -0x3dc(%rbp)
movl $0x28, %esi
callq 0x5350
leaq -0x478(%rbp), %rdi
callq 0x1c190
leaq -0x138(%rbp), %rdi
callq 0x1c1b0
movq -0x3d8(%rbp), %rdi
callq 0x55b0
nopw (%rax,%rax)