// File: sighingnow[P]compile-pascal/pl0_parser.cpp
// Function: pl0_case_term_fn(input_t*)
pair<int, pl0_ast_case_term *> pl0_case_term_fn(input_t *text) {
    auto res = ((pl0_const << (spaces >> pl0_character(':') << spaces)) + pl0_stmt)(text);
    if (std::get<0>(res) == -1) {
        cout << "REPORT" << endl;
    }
    if (verbose) {
        cout << "parsing: Cast Item" << endl;
    }
    return make_pair(std::get<0>(res), new pl0_ast_case_term(text->locate(), std::get<1>(res).first, std::get<1>(res).second));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x5e0, %rsp            # imm = 0x5E0
movq %rdi, -0x18(%rbp)
movb $0x3a, -0x569(%rbp)
leaq -0x568(%rbp), %rdi
movq %rdi, -0x598(%rbp)
leaq -0x569(%rbp), %rsi
callq 0xa240
movq -0x598(%rbp), %rdx
leaq 0x14a382(%rip), %rsi    # 0x15f7d0
leaq -0x520(%rbp), %rdi
callq 0x26910
jmp 0x1545c
leaq 0x14a36d(%rip), %rdx    # 0x15f7d0
leaq -0x470(%rbp), %rdi
leaq -0x520(%rbp), %rsi
callq 0x29790
jmp 0x15478
leaq 0x14a711(%rip), %rsi    # 0x15fb90
leaq -0x358(%rbp), %rdi
leaq -0x470(%rbp), %rdx
callq 0x29750
jmp 0x15494
leaq 0x14ab75(%rip), %rdx    # 0x160010
leaq -0x1f8(%rbp), %rdi
leaq -0x358(%rbp), %rsi
callq 0x29710
jmp 0x154b0
movq -0x18(%rbp), %rdx
leaq -0x50(%rbp), %rdi
leaq -0x1f8(%rbp), %rsi
callq 0x297d0
jmp 0x154c6
leaq -0x1f8(%rbp), %rdi
callq 0x29c20
leaq -0x358(%rbp), %rdi
callq 0x29c50
leaq -0x470(%rbp), %rdi
callq 0x29c80
leaq -0x520(%rbp), %rdi
callq 0x26db0
leaq -0x568(%rbp), %rdi
callq 0x19a20
leaq -0x50(%rbp), %rdi
callq 0x29cb0
cmpl $-0x1, (%rax)
jne 0x15604
movq 0x149abd(%rip), %rdi    # 0x15efd8
leaq 0xda02b(%rip), %rsi     # 0xef54d
callq 0x5330
movq %rax, -0x5a0(%rbp)
jmp 0x15530
movq -0x5a0(%rbp), %rdi
movq 0x149a82(%rip), %rsi    # 0x15efc0
callq 0x53a0
jmp 0x15545
jmp 0x15604
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x578(%rbp)
movl %eax, -0x57c(%rbp)
jmp 0x155dc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x578(%rbp)
movl %eax, -0x57c(%rbp)
jmp 0x155d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x578(%rbp)
movl %eax, -0x57c(%rbp)
jmp 0x155c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x578(%rbp)
movl %eax, -0x57c(%rbp)
jmp 0x155b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x578(%rbp)
movl %eax, -0x57c(%rbp)
leaq -0x1f8(%rbp), %rdi
callq 0x29c20
leaq -0x358(%rbp), %rdi
callq 0x29c50
leaq -0x470(%rbp), %rdi
callq 0x29c80
leaq -0x520(%rbp), %rdi
callq 0x26db0
leaq -0x568(%rbp), %rdi
callq 0x19a20
jmp 0x15752
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x578(%rbp)
movl %eax, -0x57c(%rbp)
jmp 0x15749
testb $0x1, 0x14a22d(%rip)    # 0x15f838
je 0x15640
movq 0x1499c4(%rip), %rdi    # 0x15efd8
leaq 0xd9f39(%rip), %rsi     # 0xef554
callq 0x5330
movq %rax, -0x5a8(%rbp)
jmp 0x15629
movq -0x5a8(%rbp), %rdi
movq 0x149989(%rip), %rsi    # 0x15efc0
callq 0x53a0
jmp 0x1563e
jmp 0x15640
leaq -0x50(%rbp), %rdi
callq 0x29cb0
movq %rax, -0x5b8(%rbp)
movl $0x18, %edi
callq 0x5340
movq %rax, -0x5b0(%rbp)
jmp 0x15663
movq -0x18(%rbp), %rdi
callq 0x1a350
movq %rax, -0x5c0(%rbp)
jmp 0x15675
movq -0x5c0(%rbp), %rax
movq %rax, -0x590(%rbp)
leaq -0x50(%rbp), %rdi
movq %rdi, -0x5d0(%rbp)
callq 0x29d00
movq -0x5d0(%rbp), %rdi
movq (%rax), %rax
movq %rax, -0x5c8(%rbp)
callq 0x29d00
movq -0x5b0(%rbp), %rdi
movq -0x5c8(%rbp), %rdx
movq 0x8(%rax), %rcx
movq -0x590(%rbp), %rsi
callq 0x29d20
jmp 0x156c9
movq -0x5b8(%rbp), %rdi
movq -0x5b0(%rbp), %rax
movq %rax, -0x588(%rbp)
leaq -0x588(%rbp), %rsi
callq 0x29cd0
movq %rdx, -0x5e0(%rbp)
movl %eax, -0x5d4(%rbp)
jmp 0x156f9
movq -0x5e0(%rbp), %rax
movl -0x5d4(%rbp), %ecx
movl %ecx, -0x10(%rbp)
movq %rax, -0x8(%rbp)
leaq -0x50(%rbp), %rdi
callq 0x29d60
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x5e0, %rsp            # imm = 0x5E0
popq %rbp
retq
movq -0x5b0(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x578(%rbp)
movl %eax, -0x57c(%rbp)
movl $0x18, %esi
callq 0x5350
leaq -0x50(%rbp), %rdi
callq 0x29d60
movq -0x578(%rbp), %rdi
callq 0x55b0
nop