// File: sighingnow[P]compile-pascal/pl0_parser.cpp
// Function: pl0_param_list_fn(input_t*)
pair<int, pl0_ast_param_list *> pl0_param_list_fn(input_t *text) {
    auto parser = pl0_character('(') >> (pl0_param_group % pl0_character(';')) << pl0_character(')');
    auto res = (spaces >> parser << spaces)(text);
    if (verbose) {
        cout << "parsing: Parameter List" << endl;
    }
    return make_pair(std::get<0>(res), new pl0_ast_param_list(text->locate(), std::get<1>(res)));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x7a0, %rsp            # imm = 0x7A0
movq %rdi, -0x18(%rbp)
movb $0x28, -0x259(%rbp)
leaq -0x258(%rbp), %rdi
leaq -0x259(%rbp), %rsi
callq 0xa240
movb $0x3b, -0x339(%rbp)
leaq -0x338(%rbp), %rdi
leaq -0x339(%rbp), %rsi
callq 0xa240
jmp 0xf8a5
leaq 0x15071c(%rip), %rsi    # 0x15ffc8
leaq -0x2f0(%rbp), %rdi
leaq -0x338(%rbp), %rdx
callq 0x21230
jmp 0xf8c1
leaq -0x210(%rbp), %rdi
leaq -0x258(%rbp), %rsi
leaq -0x2f0(%rbp), %rdx
callq 0x211f0
jmp 0xf8dd
movb $0x29, -0x399(%rbp)
leaq -0x398(%rbp), %rdi
leaq -0x399(%rbp), %rsi
callq 0xa240
jmp 0xf8f9
leaq -0x138(%rbp), %rdi
leaq -0x210(%rbp), %rsi
leaq -0x398(%rbp), %rdx
callq 0x211b0
jmp 0xf915
leaq -0x398(%rbp), %rdi
callq 0x19a20
leaq -0x210(%rbp), %rdi
callq 0x21270
leaq -0x2f0(%rbp), %rdi
callq 0x212a0
leaq -0x338(%rbp), %rdi
callq 0x19a20
leaq -0x258(%rbp), %rdi
callq 0x19a20
leaq 0x14fe78(%rip), %rsi    # 0x15f7d0
leaq -0x758(%rbp), %rdi
leaq -0x138(%rbp), %rdx
callq 0x21310
jmp 0xf96d
leaq 0x14fe5c(%rip), %rdx    # 0x15f7d0
leaq -0x5d0(%rbp), %rdi
leaq -0x758(%rbp), %rsi
callq 0x212d0
jmp 0xf989
movq -0x18(%rbp), %rdx
leaq -0x3e0(%rbp), %rdi
leaq -0x5d0(%rbp), %rsi
callq 0x21350
jmp 0xf9a2
leaq -0x5d0(%rbp), %rdi
callq 0x21740
leaq -0x758(%rbp), %rdi
callq 0x21770
testb $0x1, 0x14fe77(%rip)    # 0x15f838
je 0xfb11
movq 0x14f60a(%rip), %rdi    # 0x15efd8
leaq 0xdf960(%rip), %rsi     # 0xef335
callq 0x5330
movq %rax, -0x770(%rbp)
jmp 0xf9e3
movq -0x770(%rbp), %rdi
movq 0x14f5cf(%rip), %rsi    # 0x15efc0
callq 0x53a0
jmp 0xf9f8
jmp 0xfb11
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
jmp 0xfa8f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
jmp 0xfa83
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
jmp 0xfa77
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
jmp 0xfa6b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
leaq -0x398(%rbp), %rdi
callq 0x19a20
leaq -0x210(%rbp), %rdi
callq 0x21270
leaq -0x2f0(%rbp), %rdi
callq 0x212a0
leaq -0x338(%rbp), %rdi
callq 0x19a20
leaq -0x258(%rbp), %rdi
callq 0x19a20
jmp 0xfc22
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
jmp 0xfc16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
jmp 0xfae9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
leaq -0x5d0(%rbp), %rdi
callq 0x21740
leaq -0x758(%rbp), %rdi
callq 0x21770
jmp 0xfc16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
jmp 0xfc0a
leaq -0x3e0(%rbp), %rdi
callq 0x217d0
movq %rax, -0x780(%rbp)
movl $0x20, %edi
callq 0x5340
movq %rax, -0x778(%rbp)
jmp 0xfb37
movq -0x18(%rbp), %rdi
callq 0x1a350
movq %rax, -0x788(%rbp)
jmp 0xfb49
movq -0x788(%rbp), %rax
movq %rax, -0x768(%rbp)
leaq -0x3e0(%rbp), %rdi
callq 0x217f0
movq -0x778(%rbp), %rdi
movq %rax, %rdx
movq -0x768(%rbp), %rsi
callq 0x21810
jmp 0xfb7b
movq -0x780(%rbp), %rdi
movq -0x778(%rbp), %rax
movq %rax, -0x760(%rbp)
leaq -0x760(%rbp), %rsi
callq 0x217a0
movq %rdx, -0x798(%rbp)
movl %eax, -0x78c(%rbp)
jmp 0xfbab
movq -0x798(%rbp), %rax
movl -0x78c(%rbp), %ecx
movl %ecx, -0x10(%rbp)
movq %rax, -0x8(%rbp)
leaq -0x3e0(%rbp), %rdi
callq 0x21850
leaq -0x138(%rbp), %rdi
callq 0x21870
movl -0x10(%rbp), %eax
movq -0x8(%rbp), %rdx
addq $0x7a0, %rsp            # imm = 0x7A0
popq %rbp
retq
movq -0x778(%rbp), %rdi
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x348(%rbp)
movl %eax, -0x34c(%rbp)
movl $0x20, %esi
callq 0x5350
leaq -0x3e0(%rbp), %rdi
callq 0x21850
leaq -0x138(%rbp), %rdi
callq 0x21870
movq -0x348(%rbp), %rdi
callq 0x55b0
nop