// File: /workspace/github_cpp_makefile_star2_O3/sighingnow[P]compile-pascal/pl0_parser.cpp
// Function: pl0_write_stmt_fn(input_t*)
pair<int, pl0_ast_write_stmt *> pl0_write_stmt_fn(input_t *text) {
    pair<int, pl0_ast_write_stmt *> ans;
    auto parser1 = pl0_charseq + (pl0_character(',') >> pl0_expression);
    auto parser2 = pl0_charseq;
    auto parser3 = pl0_expression;
    auto res1 = (spaces >> (pl0_string_literal("write") >> spaces >> pl0_character('(') >> parser1 << pl0_character(')')) << spaces)(text);
    if (std::get<0>(res1) != -1) {
        ans = make_pair(std::get<0>(res1), new pl0_ast_write_stmt(text->locate(), std::get<1>(res1).first, std::get<1>(res1).second));
    }
    else {
        auto res2 = (spaces >> (pl0_string_literal("write") >> spaces >> pl0_character('(') >> parser2 << pl0_character(')')) << spaces)(text);
        if (std::get<0>(res2) != -1) {
            ans = make_pair(std::get<0>(res2), new pl0_ast_write_stmt(text->locate(), std::get<1>(res2)));
        }
        else {
            auto res3 = (spaces >> (pl0_string_literal("write") >> spaces >> pl0_character('(') >> parser3 << pl0_character(')')) << spaces)(text);
            ans = make_pair(std::get<0>(res3), new pl0_ast_write_stmt(text->locate(), std::get<1>(res3)));
        }
    }
    if (verbose) {
        cout << "parsing: Write Statement" << endl;
    }
    return ans;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xdf8, %rsp            # imm = 0xDF8
movq %rdi, %rbx
leaq 0x5a0(%rsp), %rsi
movb $0x2c, (%rsi)
leaq 0xb78(%rsp), %r15
movq %r15, %rdi
callq 0x9d54
leaq 0xa5fee(%rip), %r14     # 0xbb008
leaq 0x7b8(%rsp), %rdi
movq %r15, %rsi
movq %r14, %rdx
callq 0x2d4a6
leaq 0xa5ac4(%rip), %r15     # 0xbaaf8
leaq 0xaa0(%rsp), %rdi
leaq 0x7b8(%rsp), %rdx
movq %r15, %rsi
callq 0x33eee
leaq 0x800(%rsp), %rdi
callq 0x2531a
leaq 0x7b8(%rsp), %rdi
callq 0x161f6
leaq 0xb78(%rsp), %rdi
callq 0x161f6
movq (%r15), %rax
movq 0x8(%r15), %rsi
leaq 0x298(%rsp), %rdi
movq %rax, -0x8(%rdi)
leaq 0x2a8(%rsp), %r12
movq %r12, -0x10(%r12)
movq 0x10(%r15), %rdx
addq %rsi, %rdx
callq 0x351dc
leaq 0x2b8(%rsp), %rdi
addq $0x28, %r15
movq %r15, %rsi
callq 0x33f78
movq (%r14), %rax
movq 0x8(%r14), %rsi
leaq 0x250(%rsp), %rdi
movq %rax, -0x8(%rdi)
leaq 0x260(%rsp), %r15
movq %r15, -0x10(%r15)
movq 0x10(%r14), %rdx
addq %rsi, %rdx
callq 0x351dc
leaq 0x270(%rsp), %rdi
addq $0x28, %r14
movq %r14, %rsi
callq 0x33fd6
leaq 0x48(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x7c02e(%rip), %rsi     # 0x91131
leaq 0x7c02c(%rip), %rdx     # 0x91136
leaq 0x38(%rsp), %rdi
callq 0x253d0
leaq 0x118(%rsp), %rdi
leaq 0x38(%rsp), %rsi
callq 0xa299
leaq 0xa5583(%rip), %rdx     # 0xba6b0
leaq 0x198(%rsp), %rdi
leaq 0x118(%rsp), %rsi
callq 0x28ce8
leaq 0x8(%rsp), %rsi
movb $0x28, (%rsi)
leaq 0xd0(%rsp), %rdi
callq 0x9d54
leaq 0x2d8(%rsp), %rdi
leaq 0x198(%rsp), %rsi
leaq 0xd0(%rsp), %rdx
callq 0x34614
leaq 0x3d0(%rsp), %rdi
leaq 0x2d8(%rsp), %rsi
leaq 0xaa0(%rsp), %rdx
callq 0x344e4
leaq 0x68(%rsp), %rsi
movb $0x29, (%rsi)
leaq 0x88(%rsp), %rdi
callq 0x9d54
leaq 0x5a0(%rsp), %rdi
leaq 0x3d0(%rsp), %rsi
leaq 0x88(%rsp), %rdx
callq 0x34454
leaq 0xa54e6(%rip), %rsi     # 0xba6b0
leaq 0xb78(%rsp), %rdi
leaq 0x5a0(%rsp), %rdx
callq 0x34334
leaq 0xa54ca(%rip), %rdx     # 0xba6b0
leaq 0x7b8(%rsp), %rdi
leaq 0xb78(%rsp), %rsi
callq 0x34034
leaq 0x160(%rsp), %rdi
leaq 0x7b8(%rsp), %rsi
movq %rbx, %rdx
callq 0x243c4
movq 0xa90(%rsp), %rax
testq %rax, %rax
je 0x15232
leaq 0xa80(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0xa38(%rsp), %rdi
callq 0x161f6
leaq 0x7b8(%rsp), %rdi
callq 0x2475c
leaq 0xb78(%rsp), %rdi
callq 0x2475c
leaq 0x770(%rsp), %rdi
callq 0x161f6
leaq 0x698(%rsp), %r14
leaq 0x6e0(%rsp), %r15
leaq 0x728(%rsp), %rdi
callq 0x2531a
movq %r15, %rdi
callq 0x161f6
movq %r14, %rdi
callq 0x25358
leaq 0x650(%rsp), %r14
movq %r14, %rdi
callq 0x161f6
movq -0x10(%r14), %rax
testq %rax, %rax
je 0x152be
leaq 0x630(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x5e8(%rsp), %rdi
callq 0x161f6
leaq 0x5a0(%rsp), %rdi
callq 0x18eaa
leaq 0x88(%rsp), %rdi
callq 0x161f6
leaq 0x4c8(%rsp), %r14
leaq 0x510(%rsp), %r15
leaq 0x558(%rsp), %rdi
callq 0x2531a
movq %r15, %rdi
callq 0x161f6
movq %r14, %rdi
callq 0x25358
leaq 0x480(%rsp), %r14
movq %r14, %rdi
callq 0x161f6
movq -0x10(%r14), %rax
testq %rax, %rax
je 0x1533d
leaq 0x460(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x418(%rsp), %rdi
callq 0x161f6
leaq 0x3d0(%rsp), %rdi
callq 0x18eaa
leaq 0x388(%rsp), %r14
movq %r14, %rdi
callq 0x161f6
movq -0x10(%r14), %rax
testq %rax, %rax
je 0x15382
leaq 0x368(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x320(%rsp), %rdi
callq 0x161f6
leaq 0x2d8(%rsp), %rdi
callq 0x18eaa
leaq 0xd0(%rsp), %rdi
callq 0x161f6
movq 0x238(%rsp), %rax
testq %rax, %rax
je 0x153c8
leaq 0x228(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x1e0(%rsp), %rdi
callq 0x161f6
leaq 0x198(%rsp), %rdi
callq 0x18eaa
leaq 0x118(%rsp), %rdi
callq 0x18eaa
movq 0x38(%rsp), %rdi
cmpq %r12, %rdi
je 0x15406
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x5260
movl 0x190(%rsp), %ebp
cmpl $-0x1, %ebp
je 0x15451
movl $0x28, %edi
callq 0x5250
movq %rax, %r14
movq 0x8(%rbx), %rax
movq %rax, 0x8(%r14)
movabsq $0x200000006, %rax      # imm = 0x200000006
movq %rax, 0x10(%r14)
leaq 0xa3f44(%rip), %rax     # 0xb9380
movq %rax, (%r14)
movups 0x180(%rsp), %xmm0
movups %xmm0, 0x18(%r14)
jmp 0x15a97
leaq 0x18(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x7bcd0(%rip), %rsi     # 0x91131
leaq 0x7bcce(%rip), %rdx     # 0x91136
leaq 0x8(%rsp), %rdi
callq 0x253d0
leaq 0x118(%rsp), %rdi
leaq 0x8(%rsp), %rsi
callq 0xa299
leaq 0xa5225(%rip), %rdx     # 0xba6b0
leaq 0x198(%rsp), %rdi
leaq 0x118(%rsp), %rsi
callq 0x28ce8
leaq 0x68(%rsp), %rsi
movb $0x28, (%rsi)
leaq 0xd0(%rsp), %rdi
callq 0x9d54
leaq 0x2d8(%rsp), %rdi
leaq 0x198(%rsp), %rsi
leaq 0xd0(%rsp), %rdx
callq 0x34614
leaq 0x3d0(%rsp), %rdi
leaq 0x2d8(%rsp), %rsi
leaq 0x290(%rsp), %rdx
callq 0x34b3a
leaq 0x6(%rsp), %rsi
movb $0x29, (%rsi)
leaq 0x88(%rsp), %rdi
callq 0x9d54
leaq 0x5a0(%rsp), %rdi
leaq 0x3d0(%rsp), %rsi
leaq 0x88(%rsp), %rdx
callq 0x34aaa
leaq 0xa5188(%rip), %rsi     # 0xba6b0
leaq 0xb78(%rsp), %rdi
leaq 0x5a0(%rsp), %rdx
callq 0x3498a
leaq 0xa516c(%rip), %rdx     # 0xba6b0
leaq 0x7b8(%rsp), %rdi
leaq 0xb78(%rsp), %rsi
callq 0x346b0
leaq 0x38(%rsp), %rdi
leaq 0x7b8(%rsp), %rsi
movq %rbx, %rdx
callq 0x24952
movq 0xa00(%rsp), %rax
testq %rax, %rax
je 0x1558d
leaq 0x9f0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x9a8(%rsp), %rdi
callq 0x161f6
leaq 0x7b8(%rsp), %rdi
callq 0x24cf2
leaq 0xb78(%rsp), %rdi
callq 0x24cf2
leaq 0x6e0(%rsp), %rdi
callq 0x161f6
leaq 0x698(%rsp), %rdi
callq 0x25358
leaq 0x650(%rsp), %r14
movq %r14, %rdi
callq 0x161f6
movq -0x10(%r14), %rax
testq %rax, %rax
je 0x155f9
leaq 0x630(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x5e8(%rsp), %rdi
callq 0x161f6
leaq 0x5a0(%rsp), %rdi
callq 0x18eaa
leaq 0x88(%rsp), %rdi
callq 0x161f6
leaq 0x4c8(%rsp), %rdi
callq 0x25358
leaq 0x480(%rsp), %r14
movq %r14, %rdi
callq 0x161f6
movq -0x10(%r14), %rax
testq %rax, %rax
je 0x15658
leaq 0x460(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x418(%rsp), %rdi
callq 0x161f6
leaq 0x3d0(%rsp), %rdi
callq 0x18eaa
leaq 0x388(%rsp), %r14
movq %r14, %rdi
callq 0x161f6
movq -0x10(%r14), %rax
testq %rax, %rax
je 0x1569d
leaq 0x368(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x320(%rsp), %rdi
callq 0x161f6
leaq 0x2d8(%rsp), %rdi
callq 0x18eaa
leaq 0xd0(%rsp), %rdi
callq 0x161f6
movq 0x238(%rsp), %rax
testq %rax, %rax
je 0x156e3
leaq 0x228(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x1e0(%rsp), %rdi
callq 0x161f6
leaq 0x198(%rsp), %rdi
callq 0x18eaa
leaq 0x118(%rsp), %rdi
callq 0x18eaa
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x15721
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5260
movl 0x60(%rsp), %ebp
cmpl $-0x1, %ebp
je 0x1575f
movl $0x28, %edi
callq 0x5250
movq %rax, %r14
movq 0x8(%rbx), %rax
movq 0x58(%rsp), %rcx
movq %rax, 0x8(%r14)
movq $0x6, 0x10(%r14)
leaq 0xa3c2d(%rip), %rax     # 0xb9380
movq %rax, (%r14)
movq %rcx, 0x18(%r14)
jmp 0x15a80
leaq 0x78(%rsp), %r13
movq %r13, -0x10(%r13)
leaq 0x7b9c2(%rip), %rsi     # 0x91131
leaq 0x7b9c0(%rip), %rdx     # 0x91136
leaq 0x68(%rsp), %rdi
callq 0x253d0
leaq 0x118(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0xa299
leaq 0xa4f17(%rip), %rdx     # 0xba6b0
leaq 0x198(%rsp), %rdi
leaq 0x118(%rsp), %rsi
callq 0x28ce8
leaq 0x6(%rsp), %rsi
movb $0x28, (%rsi)
leaq 0xd0(%rsp), %rdi
callq 0x9d54
leaq 0x2d8(%rsp), %rdi
leaq 0x198(%rsp), %rsi
leaq 0xd0(%rsp), %rdx
callq 0x34614
leaq 0x3d0(%rsp), %rdi
leaq 0x2d8(%rsp), %rsi
leaq 0x248(%rsp), %rdx
callq 0x350d0
leaq 0x7(%rsp), %rsi
movb $0x29, (%rsi)
leaq 0x88(%rsp), %rdi
callq 0x9d54
leaq 0x5a0(%rsp), %rdi
leaq 0x3d0(%rsp), %rsi
leaq 0x88(%rsp), %rdx
callq 0x35040
leaq 0xa4e7a(%rip), %rsi     # 0xba6b0
leaq 0xb78(%rsp), %rdi
leaq 0x5a0(%rsp), %rdx
callq 0x34f20
leaq 0xa4e5e(%rip), %rdx     # 0xba6b0
leaq 0x7b8(%rsp), %rdi
leaq 0xb78(%rsp), %rsi
callq 0x34c46
leaq 0x8(%rsp), %rdi
leaq 0x7b8(%rsp), %rsi
movq %rbx, %rdx
callq 0x24e36
movq 0xa00(%rsp), %rax
testq %rax, %rax
je 0x1589b
leaq 0x9f0(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x9a8(%rsp), %rdi
callq 0x161f6
leaq 0x7b8(%rsp), %rdi
callq 0x251d6
leaq 0xb78(%rsp), %rdi
callq 0x251d6
leaq 0x6e0(%rsp), %rdi
callq 0x161f6
leaq 0x698(%rsp), %rdi
callq 0x2531a
leaq 0x650(%rsp), %r14
movq %r14, %rdi
callq 0x161f6
movq -0x10(%r14), %rax
testq %rax, %rax
je 0x15907
leaq 0x630(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x5e8(%rsp), %rdi
callq 0x161f6
leaq 0x5a0(%rsp), %rdi
callq 0x18eaa
leaq 0x88(%rsp), %rdi
callq 0x161f6
leaq 0x4c8(%rsp), %rdi
callq 0x2531a
leaq 0x480(%rsp), %r14
movq %r14, %rdi
callq 0x161f6
movq -0x10(%r14), %rax
testq %rax, %rax
je 0x15966
leaq 0x460(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x418(%rsp), %rdi
callq 0x161f6
leaq 0x3d0(%rsp), %rdi
callq 0x18eaa
leaq 0x388(%rsp), %r14
movq %r14, %rdi
callq 0x161f6
movq -0x10(%r14), %rax
testq %rax, %rax
je 0x159ab
leaq 0x368(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x320(%rsp), %rdi
callq 0x161f6
leaq 0x2d8(%rsp), %rdi
callq 0x18eaa
leaq 0xd0(%rsp), %rdi
callq 0x161f6
movq 0x238(%rsp), %rax
testq %rax, %rax
je 0x159f1
leaq 0x228(%rsp), %rdi
movq %rdi, %rsi
movl $0x3, %edx
callq *%rax
leaq 0x1e0(%rsp), %rdi
callq 0x161f6
leaq 0x198(%rsp), %rdi
callq 0x18eaa
leaq 0x118(%rsp), %rdi
callq 0x18eaa
movq 0x68(%rsp), %rdi
cmpq %r13, %rdi
je 0x15a2f
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x5260
movl $0x28, %edi
callq 0x5250
movq %rax, %r14
movq 0x8(%rbx), %rax
movq 0x28(%rsp), %rcx
movq %rax, 0x8(%r14)
movabsq $0x100000006, %rax      # imm = 0x100000006
movq %rax, 0x10(%r14)
leaq 0xa3922(%rip), %rax     # 0xb9380
movq %rax, (%r14)
movq %rcx, 0x20(%r14)
movl 0x30(%rsp), %ebp
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x15a80
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5260
movq 0x38(%rsp), %rdi
cmpq %r12, %rdi
je 0x15a97
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x170(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x15ab8
movq 0x170(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x248(%rsp), %rdi
callq 0x2531a
leaq 0x290(%rsp), %rdi
callq 0x25358
leaq 0xae8(%rsp), %rbx
leaq 0xb30(%rsp), %rdi
callq 0x2531a
movq %rbx, %rdi
callq 0x161f6
leaq 0xaa0(%rsp), %rdi
callq 0x25358
movl %ebp, %eax
movq %r14, %rdx
addq $0xdf8, %rsp            # imm = 0xDF8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x15d28
jmp 0x15d28
jmp 0x15d28
jmp 0x15d28
jmp 0x15d28
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x15c0a
movq 0x18(%rsp), %rsi
jmp 0x15be2
movq %rax, %rbx
leaq 0x7b8(%rsp), %rdi
callq 0x25198
jmp 0x15b5c
movq %rax, %rbx
leaq 0xb78(%rsp), %rdi
callq 0x251d6
jmp 0x15b6e
movq %rax, %rbx
leaq 0x5a0(%rsp), %rdi
callq 0x25266
jmp 0x15b80
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0x161f6
jmp 0x15b92
movq %rax, %rbx
leaq 0x3d0(%rsp), %rdi
callq 0x252c6
leaq 0x2d8(%rsp), %rdi
callq 0x2490a
leaq 0xd0(%rsp), %rdi
callq 0x161f6
leaq 0x198(%rsp), %rdi
callq 0x19630
leaq 0x118(%rsp), %rdi
callq 0x18eaa
movq 0x68(%rsp), %rdi
cmpq %r13, %rdi
je 0x15c0a
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0x15c0a
movq %rax, %rbx
jmp 0x15b9f
movq %rax, %rbx
jmp 0x15bac
movq %rax, %rbx
jmp 0x15bb9
movq %rax, %rbx
jmp 0x15bc6
movq %rax, %rbx
jmp 0x15bd3
jmp 0x15c07
movq %rax, %rbx
movq 0x38(%rsp), %rdi
cmpq %r12, %rdi
je 0x15cfe
movq 0x48(%rsp), %rsi
jmp 0x15cd6
jmp 0x15d28
jmp 0x15d28
jmp 0x15d28
jmp 0x15d28
jmp 0x15d28
movq %rax, %rbx
leaq 0x7b8(%rsp), %rdi
callq 0x24cb4
jmp 0x15c50
movq %rax, %rbx
leaq 0xb78(%rsp), %rdi
callq 0x24cf2
jmp 0x15c62
movq %rax, %rbx
leaq 0x5a0(%rsp), %rdi
callq 0x24d82
jmp 0x15c74
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0x161f6
jmp 0x15c86
movq %rax, %rbx
leaq 0x3d0(%rsp), %rdi
callq 0x24de2
leaq 0x2d8(%rsp), %rdi
callq 0x2490a
leaq 0xd0(%rsp), %rdi
callq 0x161f6
leaq 0x198(%rsp), %rdi
callq 0x19630
leaq 0x118(%rsp), %rdi
callq 0x18eaa
movq 0x8(%rsp), %rdi
cmpq %r15, %rdi
je 0x15cfe
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0x15cfe
movq %rax, %rbx
jmp 0x15c93
movq %rax, %rbx
jmp 0x15ca0
movq %rax, %rbx
jmp 0x15cad
movq %rax, %rbx
jmp 0x15cba
movq %rax, %rbx
jmp 0x15cc7
jmp 0x15cfb
movq %rax, %rbx
leaq 0x170(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x15dd3
movq 0x170(%rsp), %rsi
jmp 0x15dcb
jmp 0x15d28
jmp 0x15d28
jmp 0x15d28
jmp 0x15d28
movq %rax, %rdi
callq 0x253c4
movq %rax, %rbx
leaq 0x7b8(%rsp), %rdi
callq 0x2471e
jmp 0x15d45
movq %rax, %rbx
leaq 0xb78(%rsp), %rdi
callq 0x2475c
jmp 0x15d57
movq %rax, %rbx
leaq 0x5a0(%rsp), %rdi
callq 0x2480a
jmp 0x15d69
movq %rax, %rbx
leaq 0x88(%rsp), %rdi
callq 0x161f6
jmp 0x15d7b
movq %rax, %rbx
leaq 0x3d0(%rsp), %rdi
callq 0x24890
leaq 0x2d8(%rsp), %rdi
callq 0x2490a
leaq 0xd0(%rsp), %rdi
callq 0x161f6
leaq 0x198(%rsp), %rdi
callq 0x19630
leaq 0x118(%rsp), %rdi
callq 0x18eaa
movq 0x38(%rsp), %rdi
cmpq %r12, %rdi
je 0x15dd3
movq 0x48(%rsp), %rsi
incq %rsi
callq 0x5260
leaq 0x248(%rsp), %rdi
callq 0x2531a
leaq 0x290(%rsp), %rdi
callq 0x25358
leaq 0xaa0(%rsp), %rdi
callq 0x25396
movq %rbx, %rdi
callq 0x53d0
movq %rax, %rbx
jmp 0x15d88
movq %rax, %rbx
jmp 0x15d95
movq %rax, %rbx
jmp 0x15da2
movq %rax, %rbx
jmp 0x15daf
movq %rax, %rbx
jmp 0x15dbc
movq %rax, %rbx
jmp 0x15dd3
movq %rax, %rbx
movq 0x250(%rsp), %rdi
cmpq %r15, %rdi
je 0x15de0
movq 0x260(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0x15de0
movq %rax, %rbx
jmp 0x15de0
movq %rax, %rbx
movq 0x298(%rsp), %rdi
cmpq %r12, %rdi
je 0x15ded
movq 0x2a8(%rsp), %rsi
incq %rsi
callq 0x5260
jmp 0x15ded
movq %rax, %rbx
jmp 0x15ded
movq %rax, %rbx
leaq 0x800(%rsp), %rdi
callq 0x2531a
leaq 0x7b8(%rsp), %rdi
callq 0x161f6
jmp 0x15e93
movq %rax, %rbx
leaq 0xb78(%rsp), %rdi
callq 0x161f6
jmp 0x15dfa
nop