// File: /workspace/github_cpp_makefile_star2_O3/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 0x83c4c(%rip), %rsi     # 0x9299f
leaq 0x83c4d(%rip), %rdx     # 0x929a7
leaq 0x8(%rsp), %rdi
callq 0x253d0
leaq 0x190(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xa299
leaq 0xac0db(%rip), %rsi     # 0xbae58
leaq 0x148(%rsp), %rdi
callq 0x2bf68
leaq 0xabdf7(%rip), %rsi     # 0xbab88
leaq 0x28(%rsp), %rdi
leaq 0x148(%rsp), %rdx
callq 0x2be9a
leaq 0x630(%rsp), %rdi
leaq 0x190(%rsp), %rsi
leaq 0x28(%rsp), %rdx
callq 0x2be10
leaq 0x7(%rsp), %rsi
movb $0x3a, (%rsi)
leaq 0x100(%rsp), %rdi
callq 0x9d54
leaq 0xabecf(%rip), %rdx     # 0xbaca8
leaq 0x1d8(%rsp), %rdi
leaq 0x100(%rsp), %rsi
callq 0x2b1aa
leaq 0x6(%rsp), %rsi
movb $0x3b, (%rsi)
leaq 0xb8(%rsp), %rdi
callq 0x9d54
leaq 0x268(%rsp), %rdi
leaq 0x1d8(%rsp), %rsi
leaq 0xb8(%rsp), %rdx
callq 0x2c41c
leaq 0x480(%rsp), %rdi
leaq 0x630(%rsp), %r14
leaq 0x268(%rsp), %r12
movq %r14, %rsi
movq %r12, %rdx
callq 0x2c2ec
movl $0x90, %r15d
leaq (%r12,%r15), %rdi
callq 0x161f6
leaq 0x2b0(%rsp), %rdi
callq 0x284ce
movq %r12, %rdi
callq 0x161f6
leaq 0xb8(%rsp), %rdi
callq 0x161f6
leaq 0x220(%rsp), %rdi
callq 0x284ce
leaq 0x1d8(%rsp), %rdi
callq 0x161f6
leaq 0x100(%rsp), %rdi
callq 0x161f6
leaq 0x678(%rsp), %r12
addq %r14, %r15
movq %r15, %rdi
callq 0x2bfda
movq %r12, %rdi
callq 0x297aa
movq %r14, %rdi
callq 0x18eaa
leaq 0x70(%rsp), %rdi
callq 0x2bfda
leaq 0x28(%rsp), %rdi
callq 0x297aa
leaq 0x148(%rsp), %rdi
callq 0x2bfda
leaq 0x190(%rsp), %rdi
callq 0x18eaa
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0xef03
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0xab7a6(%rip), %rsi     # 0xba6b0
leaq 0x268(%rsp), %rdi
leaq 0x480(%rsp), %rdx
callq 0x2c712
leaq 0xab78a(%rip), %rdx     # 0xba6b0
leaq 0x630(%rsp), %rdi
leaq 0x268(%rsp), %rsi
callq 0x2c4b6
leaq 0x28(%rsp), %rdi
leaq 0x630(%rsp), %rsi
movq %rbx, %rdx
callq 0x1cb56
leaq 0x630(%rsp), %rdi
callq 0x1ceca
leaq 0x2d0(%rsp), %r14
leaq 0x3a8(%rsp), %r15
leaq 0x438(%rsp), %rdi
callq 0x161f6
leaq 0x3f0(%rsp), %rdi
callq 0x284ce
movq %r15, %rdi
callq 0x161f6
leaq 0x318(%rsp), %r15
leaq 0x360(%rsp), %rdi
callq 0x2bfda
movq %r15, %rdi
callq 0x297aa
movq %r14, %rdi
callq 0x18eaa
movq -0x58(%r15), %rax
testq %rax, %rax
je 0xefcf
leaq 0x2b0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x268(%rsp), %rdi
callq 0x161f6
movl $0x20, %edi
callq 0x5250
movq %rax, %r14
movq 0x8(%rbx), %rax
leaq 0x38(%rsp), %rcx
movq 0x20(%rcx), %rdx
movq %rax, (%r14)
movups 0x10(%rcx), %xmm0
movups %xmm0, 0x8(%r14)
movq %rdx, 0x18(%r14)
movl 0x28(%rcx), %ebx
movq -0x10(%rcx), %rdi
cmpq %rcx, %rdi
je 0xf01f
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x558(%rsp), %r15
leaq 0x5e8(%rsp), %rdi
callq 0x161f6
leaq 0x5a0(%rsp), %rdi
callq 0x284ce
movq %r15, %rdi
callq 0x161f6
leaq 0x4c8(%rsp), %r15
leaq 0x510(%rsp), %rdi
callq 0x2bfda
movq %r15, %rdi
callq 0x297aa
leaq 0x480(%rsp), %rdi
callq 0x18eaa
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 0x253c4
movq %rax, %rbx
leaq 0x38(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0xf0d8
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0xf0d8
movq %rax, %rbx
leaq 0x630(%rsp), %rdi
callq 0x1ceca
jmp 0xf0c6
movq %rax, %rbx
leaq 0x268(%rsp), %rdi
callq 0x1cf78
jmp 0xf0d8
movq %rax, %rbx
leaq 0x480(%rsp), %rdi
callq 0x1cffa
jmp 0xf194
movq %rax, %rbx
leaq 0x268(%rsp), %rdi
callq 0x1cb34
jmp 0xf0ff
movq %rax, %rbx
leaq 0xb8(%rsp), %rdi
callq 0x161f6
jmp 0xf111
movq %rax, %rbx
leaq 0x220(%rsp), %rdi
callq 0x284ce
leaq 0x1d8(%rsp), %rdi
callq 0x161f6
jmp 0xf130
movq %rax, %rbx
leaq 0x100(%rsp), %rdi
callq 0x161f6
jmp 0xf142
movq %rax, %rbx
leaq 0x630(%rsp), %rdi
callq 0x1c678
leaq 0x70(%rsp), %rdi
callq 0x2bfda
leaq 0x28(%rsp), %rdi
callq 0x297aa
leaq 0x148(%rsp), %rdi
callq 0x2bfda
leaq 0x190(%rsp), %rdi
callq 0x18eaa
movq 0x8(%rsp), %rdi
cmpq %r13, %rdi
je 0xf194
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5260
movq %rbx, %rdi
callq 0x53d0
movq %rax, %rbx
jmp 0xf14f
movq %rax, %rbx
jmp 0xf163
movq %rax, %rbx
jmp 0xf170
movq %rax, %rbx
jmp 0xf17d
movq %rax, %rbx
jmp 0xf194