// File: /workspace/github_cpp_makefile_star2_O1/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 %r15
pushq %r14
pushq %rbx
subq $0x5a0, %rsp            # imm = 0x5A0
movq %rdi, %rbx
leaq 0x20(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x88ff0(%rip), %rsi     # 0x978cd
leaq 0x88ff2(%rip), %rdx     # 0x978d6
leaq 0x10(%rsp), %rdi
callq 0x2670a
leaq 0x30(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xa172
leaq 0xb2554(%rip), %rsi     # 0xc0e58
leaq 0xc0(%rsp), %rdi
callq 0x2d33c
leaq 0xb2270(%rip), %rsi     # 0xc0b88
leaq 0x108(%rsp), %rdi
leaq 0xc0(%rsp), %rdx
callq 0x2d26e
leaq 0x3b0(%rsp), %rdi
leaq 0x30(%rsp), %rsi
leaq 0x108(%rsp), %rdx
callq 0x2d1e4
leaq 0xf(%rsp), %rsi
movb $0x3b, (%rsi)
leaq 0x78(%rsp), %rdi
callq 0x9c3d
leaq 0x290(%rsp), %rdi
leaq 0x3b0(%rsp), %rsi
leaq 0x78(%rsp), %rdx
callq 0x2cfc0
leaq 0x78(%rsp), %rdi
callq 0x161e0
leaq 0x3f8(%rsp), %r14
leaq 0x440(%rsp), %rdi
callq 0x2d3ae
movq %r14, %rdi
callq 0x2ab4e
leaq 0x3b0(%rsp), %rdi
callq 0x191e0
leaq 0x150(%rsp), %rdi
callq 0x2d3ae
leaq 0x108(%rsp), %rdi
callq 0x2ab4e
leaq 0xc0(%rsp), %rdi
callq 0x2d3ae
leaq 0x30(%rsp), %rdi
callq 0x191e0
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0xe9ef
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0xb1cba(%rip), %rsi     # 0xc06b0
leaq 0x108(%rsp), %rdi
leaq 0x290(%rsp), %rdx
callq 0x2d61c
leaq 0xb1c9e(%rip), %rdx     # 0xc06b0
leaq 0x3b0(%rsp), %rdi
leaq 0x108(%rsp), %rsi
callq 0x2d3ec
leaq 0x30(%rsp), %rdi
leaq 0x3b0(%rsp), %rsi
movq %rbx, %rdx
callq 0x1cc9c
leaq 0x3b0(%rsp), %rdi
callq 0x1d0e4
leaq 0x170(%rsp), %r14
leaq 0x248(%rsp), %rdi
callq 0x161e0
leaq 0x1b8(%rsp), %r15
leaq 0x200(%rsp), %rdi
callq 0x2d3ae
movq %r15, %rdi
callq 0x2ab4e
movq %r14, %rdi
callq 0x191e0
movq -0x58(%r15), %rax
testq %rax, %rax
je 0xea9e
leaq 0x150(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x108(%rsp), %rdi
callq 0x161e0
movl $0x18, %edi
callq 0x5250
movq %rax, %r14
movq 0x8(%rbx), %rax
leaq 0x40(%rsp), %rcx
movups 0x10(%rcx), %xmm0
movq %rax, (%r14)
movups %xmm0, 0x8(%r14)
movl 0x20(%rcx), %ebx
movq -0x10(%rcx), %rdi
cmpq %rcx, %rdi
je 0xeae6
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x368(%rsp), %rdi
callq 0x161e0
leaq 0x2d8(%rsp), %r15
leaq 0x320(%rsp), %rdi
callq 0x2d3ae
movq %r15, %rdi
callq 0x2ab4e
leaq 0x290(%rsp), %rdi
callq 0x191e0
movl %ebx, %eax
movq %r14, %rdx
addq $0x5a0, %rsp            # imm = 0x5A0
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rdi
callq 0x266fe
movq %rax, %rbx
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xeb7e
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0xeb7e
movq %rax, %rbx
leaq 0x3b0(%rsp), %rdi
callq 0x1d0e4
jmp 0xeb6c
movq %rax, %rbx
leaq 0x108(%rsp), %rdi
callq 0x1d176
jmp 0xeb7e
movq %rax, %rbx
leaq 0x290(%rsp), %rdi
callq 0x1d1de
jmp 0xec10
movq %rax, %rbx
leaq 0x78(%rsp), %rdi
callq 0x161e0
jmp 0xeba2
movq %rax, %rbx
leaq 0x3b0(%rsp), %rdi
callq 0x1cc6e
jmp 0xebb4
movq %rax, %rbx
leaq 0x150(%rsp), %rdi
callq 0x2d3ae
leaq 0x108(%rsp), %rdi
callq 0x2ab4e
jmp 0xebd3
movq %rax, %rbx
leaq 0xc0(%rsp), %rdi
callq 0x2d3ae
jmp 0xebe5
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x191e0
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0xec10
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0xec10
movq %rax, %rbx
jmp 0xebef
movq %rax, %rbx
movq %rbx, %rdi
callq 0x53d0