// File: sighingnow[P]compile-pascal/pl0_parser.cpp
// Function: pl0_char_fn(input_t*)
pair<int, pl0_ast_constv *> pl0_char_fn(input_t *text) {
    auto parser = pl0_character('\'') >> (pl0_digit | pl0_alpha) << pl0_character('\'');
    auto res = (spaces >> parser << spaces)(text);
    if (verbose) {
        cout << "parsing: Char" << endl;
    }
    return make_pair(std::get<0>(res), new pl0_ast_constv(text->locate(), std::get<1>(res) ? std::get<1>(res)->val : 0, pl0_ast_constv::CHAR));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x740, %rsp            # imm = 0x740
movq %rdi, -0x18(%rbp)
movb $0x27, -0x259(%rbp)
leaq -0x258(%rbp), %rdi
leaq -0x259(%rbp), %rsi
callq 0xa240
leaq 0x1555b8(%rip), %rsi    # 0x160688
leaq 0x155569(%rip), %rdx    # 0x160640
leaq -0x2f0(%rbp), %rdi
callq 0x1b490
jmp 0xb0e5
leaq -0x210(%rbp), %rdi
leaq -0x258(%rbp), %rsi
leaq -0x2f0(%rbp), %rdx
callq 0x1b450
jmp 0xb101
movb $0x27, -0x349(%rbp)
leaq -0x348(%rbp), %rdi
leaq -0x349(%rbp), %rsi
callq 0xa240
jmp 0xb11d
leaq -0x138(%rbp), %rdi
leaq -0x210(%rbp), %rsi
leaq -0x348(%rbp), %rdx
callq 0x1b410
jmp 0xb139
leaq -0x348(%rbp), %rdi
callq 0x19a20
leaq -0x210(%rbp), %rdi
callq 0x1b4d0
leaq -0x2f0(%rbp), %rdi
callq 0x1b500
leaq -0x258(%rbp), %rdi
callq 0x19a20
leaq 0x154660(%rip), %rsi    # 0x15f7d0
leaq -0x6f8(%rbp), %rdi
leaq -0x138(%rbp), %rdx
callq 0x1b570
jmp 0xb185
leaq 0x154644(%rip), %rdx    # 0x15f7d0
leaq -0x570(%rbp), %rdi
leaq -0x6f8(%rbp), %rsi
callq 0x1b530
jmp 0xb1a1
movq -0x18(%rbp), %rdx
leaq -0x380(%rbp), %rdi
leaq -0x570(%rbp), %rsi
callq 0x1b5b0
jmp 0xb1ba
leaq -0x570(%rbp), %rdi
callq 0x1b910
leaq -0x6f8(%rbp), %rdi
callq 0x1b940
testb $0x1, 0x15465f(%rip)    # 0x15f838
je 0xb309
movq 0x153df2(%rip), %rdi    # 0x15efd8
leaq 0xe3fe9(%rip), %rsi     # 0xef1d6
callq 0x5330
movq %rax, -0x710(%rbp)
jmp 0xb1fb
movq -0x710(%rbp), %rdi
movq 0x153db7(%rip), %rsi    # 0x15efc0
callq 0x53a0
jmp 0xb210
jmp 0xb309
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2f8(%rbp)
movl %eax, -0x2fc(%rbp)
jmp 0xb287
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2f8(%rbp)
movl %eax, -0x2fc(%rbp)
jmp 0xb27b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2f8(%rbp)
movl %eax, -0x2fc(%rbp)
jmp 0xb26f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2f8(%rbp)
movl %eax, -0x2fc(%rbp)
leaq -0x348(%rbp), %rdi
callq 0x19a20
leaq -0x210(%rbp), %rdi
callq 0x1b4d0
leaq -0x2f0(%rbp), %rdi
callq 0x1b500
leaq -0x258(%rbp), %rdi
callq 0x19a20
jmp 0xb44d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2f8(%rbp)
movl %eax, -0x2fc(%rbp)
jmp 0xb441
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2f8(%rbp)
movl %eax, -0x2fc(%rbp)
jmp 0xb2e1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2f8(%rbp)
movl %eax, -0x2fc(%rbp)
leaq -0x570(%rbp), %rdi
callq 0x1b910
leaq -0x6f8(%rbp), %rdi
callq 0x1b940
jmp 0xb441
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2f8(%rbp)
movl %eax, -0x2fc(%rbp)
jmp 0xb435
leaq -0x380(%rbp), %rdi
callq 0x1b9a0
movq %rax, -0x720(%rbp)
movl $0x10, %edi
callq 0x5340
movq %rax, -0x718(%rbp)
jmp 0xb32f
movq -0x18(%rbp), %rdi
callq 0x1a350
movq %rax, -0x728(%rbp)
jmp 0xb341
movq -0x728(%rbp), %rax
movq %rax, -0x708(%rbp)
leaq -0x380(%rbp), %rdi
callq 0x1b9c0
cmpq $0x0, (%rax)
je 0xb37c
leaq -0x380(%rbp), %rdi
callq 0x1b9c0
movq (%rax), %rax
movsbl 0x8(%rax), %eax
movl %eax, -0x72c(%rbp)
jmp 0xb386
xorl %eax, %eax
movl %eax, -0x72c(%rbp)
jmp 0xb386
movq -0x718(%rbp), %rdi
movl -0x72c(%rbp), %edx
movq -0x708(%rbp), %rsi
movl $0x1, %ecx
callq 0x1b9e0
jmp 0xb3a6
movq -0x720(%rbp), %rdi
movq -0x718(%rbp), %rax
movq %rax, -0x700(%rbp)
leaq -0x700(%rbp), %rsi
callq 0x1b970
movq %rdx, -0x738(%rbp)
movl %eax, -0x730(%rbp)
jmp 0xb3d6
movq -0x738(%rbp), %rax
movl -0x730(%rbp), %ecx
movl %ecx, -0x10(%rbp)
movq %rax, -0x8(%rbp)
leaq -0x380(%rbp), %rdi
callq 0x1ba10
leaq -0x138(%rbp), %rdi
callq 0x1ba30
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x740, %rsp            # imm = 0x740
popq %rbp
retq
movq -0x718(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x2f8(%rbp)
movl %eax, -0x2fc(%rbp)
movl $0x10, %esi
callq 0x5350
leaq -0x380(%rbp), %rdi
callq 0x1ba10
leaq -0x138(%rbp), %rdi
callq 0x1ba30
movq -0x2f8(%rbp), %rdi
callq 0x55b0
nopl (%rax)