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

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x8b0, %rsp            # imm = 0x8B0
movq %rdi, %rbx
leaq 0x18(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x89d64(%rip), %rsi     # 0x9899f
leaq 0x89d65(%rip), %rdx     # 0x989a7
leaq 0x8(%rsp), %rdi
callq 0x2670a
leaq 0x190(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xa172
leaq 0xb21f3(%rip), %rsi     # 0xc0e58
leaq 0x148(%rsp), %rdi
callq 0x2d33c
leaq 0xb1f0f(%rip), %rsi     # 0xc0b88
leaq 0x28(%rsp), %rdi
leaq 0x148(%rsp), %rdx
callq 0x2d26e
leaq 0x630(%rsp), %rdi
leaq 0x190(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x2d1e4
leaq 0x7(%rsp), %rsi
movb $0x3a, (%rsi)
leaq 0x100(%rsp), %rdi
callq 0x9c3d
leaq 0xb1fe7(%rip), %rdx     # 0xc0ca8
leaq 0x1d8(%rsp), %rdi
leaq 0x100(%rsp), %rsi
callq 0x2c56e
leaq 0x6(%rsp), %rsi
movb $0x3b, (%rsi)
leaq 0xb8(%rsp), %rdi
callq 0x9c3d
leaq 0x268(%rsp), %rdi
leaq 0x1d8(%rsp), %rsi
leaq 0xb8(%rsp), %rdx
callq 0x2d7f0
leaq 0x480(%rsp), %rdi
leaq 0x630(%rsp), %r14
leaq 0x268(%rsp), %r12
movq %r14, %rsi
movq %r12, %rdx
callq 0x2d6c0
movl $0x90, %r15d
leaq (%r12,%r15), %rdi
callq 0x161e0
leaq 0x2b0(%rsp), %rdi
callq 0x2986a
movq %r12, %rdi
callq 0x161e0
leaq 0xb8(%rsp), %rdi
callq 0x161e0
leaq 0x220(%rsp), %rdi
callq 0x2986a
leaq 0x1d8(%rsp), %rdi
callq 0x161e0
leaq 0x100(%rsp), %rdi
callq 0x161e0
leaq 0x678(%rsp), %r12
addq %r14, %r15
movq %r15, %rdi
callq 0x2d3ae
movq %r12, %rdi
callq 0x2ab4e
movq %r14, %rdi
callq 0x191e0
leaq 0x70(%rsp), %rdi
callq 0x2d3ae
leaq 0x28(%rsp), %rdi
callq 0x2ab4e
leaq 0x148(%rsp), %rdi
callq 0x2d3ae
leaq 0x190(%rsp), %rdi
callq 0x191e0
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0xedeb
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0xb18be(%rip), %rsi     # 0xc06b0
leaq 0x268(%rsp), %rdi
leaq 0x480(%rsp), %rdx
callq 0x2dae6
leaq 0xb18a2(%rip), %rdx     # 0xc06b0
leaq 0x630(%rsp), %rdi
leaq 0x268(%rsp), %rsi
callq 0x2d88a
leaq 0x28(%rsp), %rdi
leaq 0x630(%rsp), %rsi
movq %rbx, %rdx
callq 0x1d23a
leaq 0x630(%rsp), %rdi
callq 0x1d6a0
leaq 0x2d0(%rsp), %r14
leaq 0x3a8(%rsp), %r15
leaq 0x438(%rsp), %rdi
callq 0x161e0
leaq 0x3f0(%rsp), %rdi
callq 0x2986a
movq %r15, %rdi
callq 0x161e0
leaq 0x318(%rsp), %r15
leaq 0x360(%rsp), %rdi
callq 0x2d3ae
movq %r15, %rdi
callq 0x2ab4e
movq %r14, %rdi
callq 0x191e0
movq -0x58(%r15), %rax
testq %rax, %rax
je 0xeeb7
leaq 0x2b0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x268(%rsp), %rdi
callq 0x161e0
movl $0x20, %edi
callq 0x5250
movq %rax, %r14
movq 0x8(%rbx), %rax
leaq 0x38(%rsp), %rcx
movups 0x10(%rcx), %xmm0
movq 0x20(%rcx), %rdx
movq %rax, (%r14)
movups %xmm0, 0x8(%r14)
movq %rdx, 0x18(%r14)
movl 0x28(%rcx), %ebx
movq -0x10(%rcx), %rdi
cmpq %rcx, %rdi
je 0xef07
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x558(%rsp), %r15
leaq 0x5e8(%rsp), %rdi
callq 0x161e0
leaq 0x5a0(%rsp), %rdi
callq 0x2986a
movq %r15, %rdi
callq 0x161e0
leaq 0x4c8(%rsp), %r15
leaq 0x510(%rsp), %rdi
callq 0x2d3ae
movq %r15, %rdi
callq 0x2ab4e
leaq 0x480(%rsp), %rdi
callq 0x191e0
movl %ebx, %eax
movq %r14, %rdx
addq $0x8b0, %rsp            # imm = 0x8B0
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
movq %rax, %rdi
callq 0x266fe
movq %rax, %rbx
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xefc0
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0xefc0
movq %rax, %rbx
leaq 0x630(%rsp), %rdi
callq 0x1d6a0
jmp 0xefae
movq %rax, %rbx
leaq 0x268(%rsp), %rdi
callq 0x1d74e
jmp 0xefc0
movq %rax, %rbx
leaq 0x480(%rsp), %rdi
callq 0x1d7d0
jmp 0xf07c
movq %rax, %rbx
leaq 0x268(%rsp), %rdi
callq 0x1d218
jmp 0xefe7
movq %rax, %rbx
leaq 0xb8(%rsp), %rdi
callq 0x161e0
jmp 0xeff9
movq %rax, %rbx
leaq 0x220(%rsp), %rdi
callq 0x2986a
leaq 0x1d8(%rsp), %rdi
callq 0x161e0
jmp 0xf018
movq %rax, %rbx
leaq 0x100(%rsp), %rdi
callq 0x161e0
jmp 0xf02a
movq %rax, %rbx
leaq 0x630(%rsp), %rdi
callq 0x1cc6e
leaq 0x70(%rsp), %rdi
callq 0x2d3ae
leaq 0x28(%rsp), %rdi
callq 0x2ab4e
leaq 0x148(%rsp), %rdi
callq 0x2d3ae
leaq 0x190(%rsp), %rdi
callq 0x191e0
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0xf07c
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5260
movq %rbx, %rdi
callq 0x53d0
movq %rax, %rbx
jmp 0xf037
movq %rax, %rbx
jmp 0xf04b
movq %rax, %rbx
jmp 0xf058
movq %rax, %rbx
jmp 0xf065
movq %rax, %rbx
jmp 0xf07c