// File: sighingnow[P]compile-pascal/pl0_parser.cpp
// Function: pl0_procedure_header_fn(input_t*)
pair<int, pl0_ast_procedure_header *> pl0_procedure_header_fn(input_t *text) {
    auto parser = pl0_string_literal("procedure") >> (pl0_identify + (~pl0_param_list)) << pl0_character(';');
    auto res = (spaces >> parser << spaces)(text);
    if (verbose) {
        cout << "parsing: Procedure Header" << endl;
    }
    return make_pair(std::get<0>(res), new pl0_ast_procedure_header(text->locate(), std::get<1>(res).first, std::get<1>(res).second));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x7c0, %rsp            # imm = 0x7C0
movq %rdi, -0x18(%rbp)
leaq -0x279(%rbp), %rdi
movq %rdi, -0x780(%rbp)
callq 0x55d0
movq -0x780(%rbp), %rdx
leaq 0xe0260(%rip), %rsi     # 0xf0000
leaq -0x278(%rbp), %rdi
callq 0x19840
jmp 0xfdae
leaq -0x258(%rbp), %rdi
leaq -0x278(%rbp), %rsi
callq 0xa6a0
jmp 0xfdc3
leaq 0x1501b6(%rip), %rsi    # 0x15ff80
leaq -0x368(%rbp), %rdi
callq 0x21b00
jmp 0xfdd8
leaq 0x14fed1(%rip), %rsi    # 0x15fcb0
leaq -0x320(%rbp), %rdi
leaq -0x368(%rbp), %rdx
callq 0x21ac0
jmp 0xfdf4
leaq -0x210(%rbp), %rdi
leaq -0x258(%rbp), %rsi
leaq -0x320(%rbp), %rdx
callq 0x21a80
jmp 0xfe10
movb $0x3b, -0x3b1(%rbp)
leaq -0x3b0(%rbp), %rdi
leaq -0x3b1(%rbp), %rsi
callq 0xa240
jmp 0xfe2c
leaq -0x138(%rbp), %rdi
leaq -0x210(%rbp), %rsi
leaq -0x3b0(%rbp), %rdx
callq 0x21a40
jmp 0xfe48
leaq -0x3b0(%rbp), %rdi
callq 0x19a20
leaq -0x210(%rbp), %rdi
callq 0x21b30
leaq -0x320(%rbp), %rdi
callq 0x21b60
leaq -0x368(%rbp), %rdi
callq 0x21b90
leaq -0x258(%rbp), %rdi
callq 0x1d950
leaq -0x278(%rbp), %rdi
callq 0x5200
leaq -0x279(%rbp), %rdi
callq 0x53c0
leaq 0x14f92d(%rip), %rsi    # 0x15f7d0
leaq -0x768(%rbp), %rdi
leaq -0x138(%rbp), %rdx
callq 0x21bf0
jmp 0xfeb8
leaq 0x14f911(%rip), %rdx    # 0x15f7d0
leaq -0x5e0(%rbp), %rdi
leaq -0x768(%rbp), %rsi
callq 0x21bb0
jmp 0xfed4
movq -0x18(%rbp), %rdx
leaq -0x3f0(%rbp), %rdi
leaq -0x5e0(%rbp), %rsi
callq 0x21c30
jmp 0xfeed
leaq -0x5e0(%rbp), %rdi
callq 0x21fa0
leaq -0x768(%rbp), %rdi
callq 0x21fd0
testb $0x1, 0x14f92c(%rip)    # 0x15f838
je 0x100a2
movq 0x14f0bf(%rip), %rdi    # 0x15efd8
leaq 0xdf44a(%rip), %rsi     # 0xef36a
callq 0x5330
movq %rax, -0x788(%rbp)
jmp 0xff2e
movq -0x788(%rbp), %rdi
movq 0x14f084(%rip), %rsi    # 0x15efc0
callq 0x53a0
jmp 0xff43
jmp 0x100a2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
jmp 0x10020
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
jmp 0x10014
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
jmp 0x10008
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
jmp 0xfffc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
jmp 0xfff0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
jmp 0xffe4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
leaq -0x3b0(%rbp), %rdi
callq 0x19a20
leaq -0x210(%rbp), %rdi
callq 0x21b30
leaq -0x320(%rbp), %rdi
callq 0x21b60
leaq -0x368(%rbp), %rdi
callq 0x21b90
leaq -0x258(%rbp), %rdi
callq 0x1d950
leaq -0x278(%rbp), %rdi
callq 0x5200
leaq -0x279(%rbp), %rdi
callq 0x53c0
jmp 0x101d8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
jmp 0x101cc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
jmp 0x1007a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
leaq -0x5e0(%rbp), %rdi
callq 0x21fa0
leaq -0x768(%rbp), %rdi
callq 0x21fd0
jmp 0x101cc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
jmp 0x101c0
leaq -0x3f0(%rbp), %rdi
callq 0x22030
movq %rax, -0x798(%rbp)
movl $0x18, %edi
callq 0x5340
movq %rax, -0x790(%rbp)
jmp 0x100c8
movq -0x18(%rbp), %rdi
callq 0x1a350
movq %rax, -0x7a0(%rbp)
jmp 0x100da
movq -0x7a0(%rbp), %rax
movq %rax, -0x778(%rbp)
leaq -0x3f0(%rbp), %rdi
movq %rdi, -0x7b0(%rbp)
callq 0x22050
movq -0x7b0(%rbp), %rdi
movq (%rax), %rax
movq %rax, -0x7a8(%rbp)
callq 0x22050
movq -0x790(%rbp), %rdi
movq -0x7a8(%rbp), %rdx
movq 0x8(%rax), %rcx
movq -0x778(%rbp), %rsi
callq 0x22070
jmp 0x10131
movq -0x798(%rbp), %rdi
movq -0x790(%rbp), %rax
movq %rax, -0x770(%rbp)
leaq -0x770(%rbp), %rsi
callq 0x22000
movq %rdx, -0x7c0(%rbp)
movl %eax, -0x7b4(%rbp)
jmp 0x10161
movq -0x7c0(%rbp), %rax
movl -0x7b4(%rbp), %ecx
movl %ecx, -0x10(%rbp)
movq %rax, -0x8(%rbp)
leaq -0x3f0(%rbp), %rdi
callq 0x220b0
leaq -0x138(%rbp), %rdi
callq 0x220d0
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x7c0, %rsp            # imm = 0x7C0
popq %rbp
retq
movq -0x790(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x288(%rbp)
movl %eax, -0x28c(%rbp)
movl $0x18, %esi
callq 0x5350
leaq -0x3f0(%rbp), %rdi
callq 0x220b0
leaq -0x138(%rbp), %rdi
callq 0x220d0
movq -0x288(%rbp), %rdi
callq 0x55b0
nopw %cs:(%rax,%rax)