// File: /workspace/github_cpp_makefile_star2_O3/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 0x82ed8(%rip), %rsi     # 0x918cd
leaq 0x82eda(%rip), %rdx     # 0x918d6
leaq 0x10(%rsp), %rdi
callq 0x253d0
leaq 0x30(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0xa299
leaq 0xac43c(%rip), %rsi     # 0xbae58
leaq 0xc0(%rsp), %rdi
callq 0x2bf68
leaq 0xac158(%rip), %rsi     # 0xbab88
leaq 0x108(%rsp), %rdi
leaq 0xc0(%rsp), %rdx
callq 0x2be9a
leaq 0x3b0(%rsp), %rdi
leaq 0x30(%rsp), %rsi
leaq 0x108(%rsp), %rdx
callq 0x2be10
leaq 0xf(%rsp), %rsi
movb $0x3b, (%rsi)
leaq 0x78(%rsp), %rdi
callq 0x9d54
leaq 0x290(%rsp), %rdi
leaq 0x3b0(%rsp), %rsi
leaq 0x78(%rsp), %rdx
callq 0x2bbf4
leaq 0x78(%rsp), %rdi
callq 0x161f6
leaq 0x3f8(%rsp), %r14
leaq 0x440(%rsp), %rdi
callq 0x2bfda
movq %r14, %rdi
callq 0x297aa
leaq 0x3b0(%rsp), %rdi
callq 0x18eaa
leaq 0x150(%rsp), %rdi
callq 0x2bfda
leaq 0x108(%rsp), %rdi
callq 0x297aa
leaq 0xc0(%rsp), %rdi
callq 0x2bfda
leaq 0x30(%rsp), %rdi
callq 0x18eaa
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0xeb07
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0xabba2(%rip), %rsi     # 0xba6b0
leaq 0x108(%rsp), %rdi
leaq 0x290(%rsp), %rdx
callq 0x2c248
leaq 0xabb86(%rip), %rdx     # 0xba6b0
leaq 0x3b0(%rsp), %rdi
leaq 0x108(%rsp), %rsi
callq 0x2c018
leaq 0x30(%rsp), %rdi
leaq 0x3b0(%rsp), %rsi
movq %rbx, %rdx
callq 0x1c6a6
leaq 0x3b0(%rsp), %rdi
callq 0x1ca00
leaq 0x170(%rsp), %r14
leaq 0x248(%rsp), %rdi
callq 0x161f6
leaq 0x1b8(%rsp), %r15
leaq 0x200(%rsp), %rdi
callq 0x2bfda
movq %r15, %rdi
callq 0x297aa
movq %r14, %rdi
callq 0x18eaa
movq -0x58(%r15), %rax
testq %rax, %rax
je 0xebb6
leaq 0x150(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x108(%rsp), %rdi
callq 0x161f6
movl $0x18, %edi
callq 0x5250
movq %rax, %r14
movq 0x8(%rbx), %rax
movq %rax, (%r14)
leaq 0x40(%rsp), %rax
movups 0x10(%rax), %xmm0
movups %xmm0, 0x8(%r14)
movl 0x20(%rax), %ebx
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xebfe
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x368(%rsp), %rdi
callq 0x161f6
leaq 0x2d8(%rsp), %r15
leaq 0x320(%rsp), %rdi
callq 0x2bfda
movq %r15, %rdi
callq 0x297aa
leaq 0x290(%rsp), %rdi
callq 0x18eaa
movl %ebx, %eax
movq %r14, %rdx
addq $0x5a0, %rsp            # imm = 0x5A0
popq %rbx
popq %r14
popq %r15
retq
movq %rax, %rdi
callq 0x253c4
movq %rax, %rbx
leaq 0x40(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xec96
movq 0x40(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0xec96
movq %rax, %rbx
leaq 0x3b0(%rsp), %rdi
callq 0x1ca00
jmp 0xec84
movq %rax, %rbx
leaq 0x108(%rsp), %rdi
callq 0x1ca92
jmp 0xec96
movq %rax, %rbx
leaq 0x290(%rsp), %rdi
callq 0x1cafa
jmp 0xed28
movq %rax, %rbx
leaq 0x78(%rsp), %rdi
callq 0x161f6
jmp 0xecba
movq %rax, %rbx
leaq 0x3b0(%rsp), %rdi
callq 0x1c678
jmp 0xeccc
movq %rax, %rbx
leaq 0x150(%rsp), %rdi
callq 0x2bfda
leaq 0x108(%rsp), %rdi
callq 0x297aa
jmp 0xeceb
movq %rax, %rbx
leaq 0xc0(%rsp), %rdi
callq 0x2bfda
jmp 0xecfd
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x18eaa
movq 0x10(%rsp), %rdi
cmpq %r15, %rdi
je 0xed28
movq 0x20(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0xed28
movq %rax, %rbx
jmp 0xed07
movq %rax, %rbx
movq %rbx, %rdi
callq 0x53d0