// File: /workspace/github_cpp_makefile_star2_O1/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
pushq %r15
pushq %r14
pushq %rbx
subq $0x6f8, %rsp            # imm = 0x6F8
movq %rdi, %rbx
movb $0x22, %bpl
leaq 0x7(%rsp), %rsi
movb %bpl, (%rsi)
leaq 0x8(%rsp), %rdi
callq 0x9c3d
leaq 0x6(%rsp), %rsi
movb %bpl, (%rsi)
leaq 0x98(%rsp), %rdi
callq 0x9c3d
leaq 0xb59ca(%rip), %rsi     # 0xc0600
leaq 0xe0(%rsp), %rdi
leaq 0x98(%rsp), %rdx
callq 0x28094
leaq 0x220(%rsp), %rdi
leaq 0xe0(%rsp), %rsi
callq 0x27f42
leaq 0x4e8(%rsp), %rdi
leaq 0x8(%rsp), %rsi
leaq 0x220(%rsp), %rdx
callq 0x2800a
leaq 0x5(%rsp), %rsi
movb $0x22, (%rsi)
leaq 0x50(%rsp), %rdi
callq 0x9c3d
leaq 0x3c8(%rsp), %rdi
leaq 0x4e8(%rsp), %rsi
leaq 0x50(%rsp), %rdx
callq 0x27e4c
leaq 0x50(%rsp), %rdi
callq 0x161e0
leaq 0x530(%rsp), %r14
leaq 0x578(%rsp), %rdi
callq 0x161e0
movq %r14, %rdi
callq 0x161e0
leaq 0x4e8(%rsp), %rdi
callq 0x161e0
leaq 0x268(%rsp), %rdi
callq 0x161e0
leaq 0x220(%rsp), %rdi
callq 0x161e0
leaq 0x128(%rsp), %rdi
callq 0x161e0
leaq 0xe0(%rsp), %rdi
callq 0x161e0
leaq 0x98(%rsp), %rdi
callq 0x161e0
leaq 0x8(%rsp), %rdi
callq 0x161e0
leaq 0xb5964(%rip), %rdx     # 0xc0690
leaq 0xe0(%rsp), %rdi
leaq 0x3c8(%rsp), %rsi
callq 0x284a0
leaq 0xb5968(%rip), %rsi     # 0xc06b0
leaq 0x220(%rsp), %rdi
leaq 0xe0(%rsp), %rdx
callq 0x283d6
leaq 0xb594c(%rip), %rdx     # 0xc06b0
leaq 0x4e8(%rsp), %rdi
leaq 0x220(%rsp), %rsi
callq 0x28162
leaq 0x8(%rsp), %rdi
leaq 0x4e8(%rsp), %rsi
movq %rbx, %rdx
callq 0x1754a
leaq 0x4e8(%rsp), %rdi
callq 0x17a82
movq 0x3b8(%rsp), %rax
testq %rax, %rax
je 0xadba
leaq 0x3a8(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x288(%rsp), %r14
leaq 0x360(%rsp), %rdi
callq 0x161e0
leaq 0x2d0(%rsp), %r15
leaq 0x318(%rsp), %rdi
callq 0x161e0
movq %r15, %rdi
callq 0x161e0
movq %r14, %rdi
callq 0x161e0
movq -0x58(%r15), %rax
testq %rax, %rax
je 0xae0f
leaq 0x268(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x220(%rsp), %rdi
callq 0x161e0
movq 0x210(%rsp), %rax
testq %rax, %rax
je 0xae3b
leaq 0x200(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x1b8(%rsp), %rdi
callq 0x161e0
leaq 0x128(%rsp), %r14
leaq 0x170(%rsp), %rdi
callq 0x161e0
movq %r14, %rdi
callq 0x161e0
leaq 0xe0(%rsp), %rdi
callq 0x161e0
movl $0x28, %edi
callq 0x5250
movq %rax, %r14
movq 0x8(%rbx), %rax
movq %rax, (%r14)
leaq 0x8(%r14), %rdi
movq %r14, %rax
addq $0x18, %rax
movq %rax, 0x8(%r14)
movq 0x28(%rsp), %rsi
movq 0x30(%rsp), %rdx
addq %rsi, %rdx
callq 0x36590
leaq 0x38(%rsp), %rax
movl 0x10(%rax), %ebx
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xaec5
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xaee0
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x4a0(%rsp), %rdi
callq 0x161e0
leaq 0x410(%rsp), %r15
leaq 0x458(%rsp), %rdi
callq 0x161e0
movq %r15, %rdi
callq 0x161e0
leaq 0x3c8(%rsp), %rdi
callq 0x161e0
movl %ebx, %eax
movq %r14, %rdx
addq $0x6f8, %rsp            # imm = 0x6F8
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0xaf2e
jmp 0xaf2e
movq %rax, %rdi
callq 0x266fe
movq %rax, %rbx
movl $0x28, %esi
movq %r14, %rdi
callq 0x5260
jmp 0xaf4b
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x17c1a
jmp 0xaf90
movq %rax, %rbx
leaq 0x4e8(%rsp), %rdi
callq 0x17a82
jmp 0xaf6c
movq %rax, %rbx
leaq 0x220(%rsp), %rdi
callq 0x17b34
jmp 0xaf7e
movq %rax, %rbx
leaq 0xe0(%rsp), %rdi
callq 0x17bba
jmp 0xaf90
movq %rax, %rbx
leaq 0x3c8(%rsp), %rdi
callq 0x17c50
jmp 0xb018
movq %rax, %rbx
leaq 0x50(%rsp), %rdi
callq 0x161e0
jmp 0xafb1
movq %rax, %rbx
leaq 0x4e8(%rsp), %rdi
callq 0x1751c
jmp 0xafc3
movq %rax, %rbx
leaq 0x268(%rsp), %rdi
callq 0x161e0
leaq 0x220(%rsp), %rdi
callq 0x161e0
jmp 0xafe2
movq %rax, %rbx
leaq 0x128(%rsp), %rdi
callq 0x161e0
leaq 0xe0(%rsp), %rdi
callq 0x161e0
jmp 0xb001
movq %rax, %rbx
leaq 0x98(%rsp), %rdi
callq 0x161e0
leaq 0x8(%rsp), %rdi
callq 0x161e0
movq %rbx, %rdi
callq 0x53d0
movq %rax, %rbx
jmp 0xb00e