// File: sighingnow[P]compile-pascal/pl0_parser.cpp
// Function: pl0_case_stmt_fn(input_t*)
pair<int, pl0_ast_case_stmt *> pl0_case_stmt_fn(input_t *text) {
    auto parser = ((spaces >> pl0_string_literal("case") << spaces) >> (spaces >> pl0_expression << spaces) << pl0_string_literal("of"))
        + ((pl0_case_term % pl0_character(';')) << (spaces >> pl0_string_literal("end") << spaces));
    auto res = (spaces >> parser << spaces)(text);
    if (verbose) {
        cout << "parsing: Case Statement" << endl;
    }
    return make_pair(std::get<0>(res), new pl0_ast_case_stmt(text->locate(), std::get<1>(res).first, std::get<1>(res).second));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1c50, %rsp           # imm = 0x1C50
movq %rdi, -0x18(%rbp)
leaq -0xb11(%rbp), %rdi
movq %rdi, -0x1bf8(%rbp)
callq 0x55d0
movq -0x1bf8(%rbp), %rdx
leaq 0xda5fe(%rip), %rsi     # 0xef23e
leaq -0xb10(%rbp), %rdi
callq 0x19840
jmp 0x14c4e
leaq -0xaf0(%rbp), %rdi
leaq -0xb10(%rbp), %rsi
callq 0xa6a0
jmp 0x14c63
leaq 0x14ab66(%rip), %rsi    # 0x15f7d0
leaq -0xaa8(%rbp), %rdi
leaq -0xaf0(%rbp), %rdx
callq 0x20710
jmp 0x14c7f
leaq 0x14ab4a(%rip), %rdx    # 0x15f7d0
leaq -0x9f8(%rbp), %rdi
leaq -0xaa8(%rbp), %rsi
callq 0x206d0
jmp 0x14c9b
leaq 0x14ab2e(%rip), %rsi    # 0x15f7d0
leaq 0x14b487(%rip), %rdx    # 0x160130
leaq -0xcf0(%rbp), %rdi
callq 0x26990
jmp 0x14cb7
leaq 0x14ab12(%rip), %rdx    # 0x15f7d0
leaq -0xc40(%rbp), %rdi
leaq -0xcf0(%rbp), %rsi
callq 0x26950
jmp 0x14cd3
leaq -0x8e0(%rbp), %rdi
leaq -0x9f8(%rbp), %rsi
leaq -0xc40(%rbp), %rdx
callq 0x28fa0
jmp 0x14cef
leaq -0xd59(%rbp), %rdi
movq %rdi, -0x1c00(%rbp)
callq 0x55d0
movq -0x1c00(%rbp), %rdx
leaq 0xda41b(%rip), %rsi     # 0xef12b
leaq -0xd58(%rbp), %rdi
callq 0x19840
jmp 0x14d1e
leaq -0xd38(%rbp), %rdi
leaq -0xd58(%rbp), %rsi
callq 0xa6a0
jmp 0x14d33
leaq -0x6b0(%rbp), %rdi
leaq -0x8e0(%rbp), %rsi
leaq -0xd38(%rbp), %rdx
callq 0x28f60
jmp 0x14d4f
movb $0x3b, -0xfe1(%rbp)
leaq -0xfe0(%rbp), %rdi
leaq -0xfe1(%rbp), %rsi
callq 0xa240
jmp 0x14d6b
leaq 0x14b71e(%rip), %rsi    # 0x160490
leaq -0xf98(%rbp), %rdi
leaq -0xfe0(%rbp), %rdx
callq 0x29020
jmp 0x14d87
leaq -0x1219(%rbp), %rdi
movq %rdi, -0x1c08(%rbp)
callq 0x55d0
movq -0x1c08(%rbp), %rdx
leaq 0xda477(%rip), %rsi     # 0xef21f
leaq -0x1218(%rbp), %rdi
callq 0x19840
jmp 0x14db6
leaq -0x11f8(%rbp), %rdi
leaq -0x1218(%rbp), %rsi
callq 0xa6a0
jmp 0x14dcb
leaq 0x14a9fe(%rip), %rsi    # 0x15f7d0
leaq -0x11b0(%rbp), %rdi
leaq -0x11f8(%rbp), %rdx
callq 0x20710
jmp 0x14de7
leaq 0x14a9e2(%rip), %rdx    # 0x15f7d0
leaq -0x1100(%rbp), %rdi
leaq -0x11b0(%rbp), %rsi
callq 0x206d0
jmp 0x14e03
leaq -0xf08(%rbp), %rdi
leaq -0xf98(%rbp), %rsi
leaq -0x1100(%rbp), %rdx
callq 0x28fe0
jmp 0x14e1f
leaq -0x438(%rbp), %rdi
leaq -0x6b0(%rbp), %rsi
leaq -0xf08(%rbp), %rdx
callq 0x28f20
jmp 0x14e3b
leaq -0xf08(%rbp), %rdi
callq 0x29060
leaq -0x1100(%rbp), %rdi
callq 0x20ad0
leaq -0x11b0(%rbp), %rdi
callq 0x20b00
leaq -0x11f8(%rbp), %rdi
callq 0x1d950
leaq -0x1218(%rbp), %rdi
callq 0x5200
leaq -0x1219(%rbp), %rdi
callq 0x53c0
leaq -0xf98(%rbp), %rdi
callq 0x29090
leaq -0xfe0(%rbp), %rdi
callq 0x19a20
leaq -0x6b0(%rbp), %rdi
callq 0x290c0
leaq -0xd38(%rbp), %rdi
callq 0x1d950
leaq -0xd58(%rbp), %rdi
callq 0x5200
leaq -0xd59(%rbp), %rdi
callq 0x53c0
leaq -0x8e0(%rbp), %rdi
callq 0x290f0
leaq -0xc40(%rbp), %rdi
callq 0x26d50
leaq -0xcf0(%rbp), %rdi
callq 0x26d80
leaq -0x9f8(%rbp), %rdi
callq 0x20ad0
leaq -0xaa8(%rbp), %rdi
callq 0x20b00
leaq -0xaf0(%rbp), %rdi
callq 0x1d950
leaq -0xb10(%rbp), %rdi
callq 0x5200
leaq -0xb11(%rbp), %rdi
callq 0x53c0
leaq 0x14a89e(%rip), %rsi    # 0x15f7d0
leaq -0x1be0(%rbp), %rdi
leaq -0x438(%rbp), %rdx
callq 0x29160
jmp 0x14f47
leaq 0x14a882(%rip), %rdx    # 0x15f7d0
leaq -0x1758(%rbp), %rdi
leaq -0x1be0(%rbp), %rsi
callq 0x29120
jmp 0x14f63
movq -0x18(%rbp), %rdx
leaq -0x1268(%rbp), %rdi
leaq -0x1758(%rbp), %rsi
callq 0x291a0
jmp 0x14f7c
leaq -0x1758(%rbp), %rdi
callq 0x29570
leaq -0x1be0(%rbp), %rdi
callq 0x295a0
testb $0x1, 0x14a89d(%rip)    # 0x15f838
je 0x152ca
movq 0x14a030(%rip), %rdi    # 0x15efd8
leaq 0xda586(%rip), %rsi     # 0xef535
callq 0x5330
movq %rax, -0x1c10(%rbp)
jmp 0x14fbd
movq -0x1c10(%rbp), %rdi
movq 0x149ff5(%rip), %rsi    # 0x15efc0
callq 0x53a0
jmp 0x14fd2
jmp 0x152ca
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x15248
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x1523c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x15230
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x15224
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x15218
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x1520c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x15200
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x151e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x151dc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x151d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x151c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x151b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x151a0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x15194
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x15188
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x1517c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x15170
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
leaq -0xf08(%rbp), %rdi
callq 0x29060
leaq -0x1100(%rbp), %rdi
callq 0x20ad0
leaq -0x11b0(%rbp), %rdi
callq 0x20b00
leaq -0x11f8(%rbp), %rdi
callq 0x1d950
leaq -0x1218(%rbp), %rdi
callq 0x5200
leaq -0x1219(%rbp), %rdi
callq 0x53c0
leaq -0xf98(%rbp), %rdi
callq 0x29090
leaq -0xfe0(%rbp), %rdi
callq 0x19a20
leaq -0x6b0(%rbp), %rdi
callq 0x290c0
leaq -0xd38(%rbp), %rdi
callq 0x1d950
leaq -0xd58(%rbp), %rdi
callq 0x5200
leaq -0xd59(%rbp), %rdi
callq 0x53c0
leaq -0x8e0(%rbp), %rdi
callq 0x290f0
leaq -0xc40(%rbp), %rdi
callq 0x26d50
leaq -0xcf0(%rbp), %rdi
callq 0x26d80
leaq -0x9f8(%rbp), %rdi
callq 0x20ad0
leaq -0xaa8(%rbp), %rdi
callq 0x20b00
leaq -0xaf0(%rbp), %rdi
callq 0x1d950
leaq -0xb10(%rbp), %rdi
callq 0x5200
leaq -0xb11(%rbp), %rdi
callq 0x53c0
jmp 0x15403
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x153f7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x152a2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
leaq -0x1758(%rbp), %rdi
callq 0x29570
leaq -0x1be0(%rbp), %rdi
callq 0x295a0
jmp 0x153f7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
jmp 0x153eb
leaq -0x1268(%rbp), %rdi
callq 0x29600
movq %rax, -0x1c20(%rbp)
movl $0x38, %edi
callq 0x5340
movq %rax, -0x1c18(%rbp)
jmp 0x152f0
movq -0x18(%rbp), %rdi
callq 0x1a350
movq %rax, -0x1c28(%rbp)
jmp 0x15302
movq -0x1c28(%rbp), %rax
movq %rax, -0x1bf0(%rbp)
leaq -0x1268(%rbp), %rdi
movq %rdi, -0x1c38(%rbp)
callq 0x29620
movq -0x1c38(%rbp), %rdi
movq (%rax), %rax
movq %rax, -0x1c30(%rbp)
callq 0x29620
movq -0x1c18(%rbp), %rdi
movq -0x1c30(%rbp), %rdx
movq %rax, %rcx
addq $0x8, %rcx
movq -0x1bf0(%rbp), %rsi
callq 0x29640
jmp 0x1535c
movq -0x1c20(%rbp), %rdi
movq -0x1c18(%rbp), %rax
movq %rax, -0x1be8(%rbp)
leaq -0x1be8(%rbp), %rsi
callq 0x295d0
movq %rdx, -0x1c48(%rbp)
movl %eax, -0x1c3c(%rbp)
jmp 0x1538c
movq -0x1c48(%rbp), %rax
movl -0x1c3c(%rbp), %ecx
movl %ecx, -0x10(%rbp)
movq %rax, -0x8(%rbp)
leaq -0x1268(%rbp), %rdi
callq 0x296c0
leaq -0x438(%rbp), %rdi
callq 0x296e0
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x1c50, %rsp           # imm = 0x1C50
popq %rbp
retq
movq -0x1c18(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xb20(%rbp)
movl %eax, -0xb24(%rbp)
movl $0x38, %esi
callq 0x5350
leaq -0x1268(%rbp), %rdi
callq 0x296c0
leaq -0x438(%rbp), %rdi
callq 0x296e0
movq -0xb20(%rbp), %rdi
callq 0x55b0
nop