// File: sighingnow[P]compile-pascal/pl0_x86.cpp
// Function: pl0_x86_gen(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, std::vector<BasicBlock, std::allocator<BasicBlock>>&)
void pl0_x86_gen(std::string file, std::vector<BasicBlock> & bbs) {
    out.emit(string(";; file: ") + file);
    out.emit(string(""));
    out.emit(string("    bits 32\t\t;; 32bit machine"));
    out.emit(string("    cpu 686\t\t;; i686 CPU"));
    out.emit(string(""));
    out.emit(string(";; external functions (from standard C library)"));
    out.emit(string("    extern _scanf"));
    out.emit(string("    extern _printf"));
    out.emit(string("    extern _getchar"));
    out.emit(string(""));
    out.emit(string("section .text"));
    pl0_x86_gen_blocks(bbs);
    // dump all constant ascii string.
    out.emit(string(""));
    out.emit(string("section .data"));
    out.emit(string("    __fin_int:        db      \"%d\", 0x0"));
    out.emit(string("    __fin_char:       db      \"%c\", 0x0"));
    out.emit(string("    __fin_string:     db      \"%s\", 0x0"));
    out.emit(string("    __fout_int:       db      \"%d\", 0xA, 0x0"));
    out.emit(string("    __fout_char:      db      \"%c\", 0x0"));
    out.emit(string("    __fout_string:    db      \"%s\", 0xA, 0x0"));
    out.emit(string(""));
    out.emit(string("section .data"));
    for (auto && a: asciis) {
        out.emit(string("    __L") + a.second + ":\t\tdb\t\t\"" + a.first + "\", 0x0");
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x510, %rsp            # imm = 0x510
movq %rdi, -0x460(%rbp)
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq -0x51(%rbp), %rdi
movq %rdi, -0x458(%rbp)
callq 0x55d0
movq -0x458(%rbp), %rdx
leaq 0x125f4(%rip), %rsi     # 0xf154c
leaq -0x50(%rbp), %rdi
callq 0x19840
jmp 0xdef63
movq -0x460(%rbp), %rdx
leaq -0x30(%rbp), %rdi
leaq -0x50(%rbp), %rsi
callq 0x1a4d0
jmp 0xdef79
leaq 0x81868(%rip), %rdi     # 0x1607e8
leaq -0x30(%rbp), %rsi
callq 0xdaf40
jmp 0xdef8b
leaq -0x30(%rbp), %rdi
callq 0x5200
leaq -0x50(%rbp), %rdi
callq 0x5200
leaq -0x51(%rbp), %rdi
callq 0x53c0
leaq -0x89(%rbp), %rdi
movq %rdi, -0x468(%rbp)
callq 0x55d0
movq -0x468(%rbp), %rdx
leaq 0x12c68(%rip), %rsi     # 0xf1c2f
leaq -0x88(%rbp), %rdi
callq 0x19840
jmp 0xdefd5
leaq 0x8180c(%rip), %rdi     # 0x1607e8
leaq -0x88(%rbp), %rsi
callq 0xdaf40
jmp 0xdefea
leaq -0x88(%rbp), %rdi
callq 0x5200
leaq -0x89(%rbp), %rdi
callq 0x53c0
leaq -0xb1(%rbp), %rdi
movq %rdi, -0x470(%rbp)
callq 0x55d0
movq -0x470(%rbp), %rdx
leaq 0x12533(%rip), %rsi     # 0xf1556
leaq -0xb0(%rbp), %rdi
callq 0x19840
jmp 0xdf031
leaq 0x817b0(%rip), %rdi     # 0x1607e8
leaq -0xb0(%rbp), %rsi
callq 0xdaf40
jmp 0xdf046
leaq -0xb0(%rbp), %rdi
callq 0x5200
leaq -0xb1(%rbp), %rdi
callq 0x53c0
leaq -0xd9(%rbp), %rdi
movq %rdi, -0x478(%rbp)
callq 0x55d0
movq -0x478(%rbp), %rdx
leaq 0x124f5(%rip), %rsi     # 0xf1574
leaq -0xd8(%rbp), %rdi
callq 0x19840
jmp 0xdf08d
leaq 0x81754(%rip), %rdi     # 0x1607e8
leaq -0xd8(%rbp), %rsi
callq 0xdaf40
jmp 0xdf0a2
leaq -0xd8(%rbp), %rdi
callq 0x5200
leaq -0xd9(%rbp), %rdi
callq 0x53c0
leaq -0x101(%rbp), %rdi
movq %rdi, -0x480(%rbp)
callq 0x55d0
movq -0x480(%rbp), %rdx
leaq 0x12b54(%rip), %rsi     # 0xf1c2f
leaq -0x100(%rbp), %rdi
callq 0x19840
jmp 0xdf0e9
leaq 0x816f8(%rip), %rdi     # 0x1607e8
leaq -0x100(%rbp), %rsi
callq 0xdaf40
jmp 0xdf0fe
leaq -0x100(%rbp), %rdi
callq 0x5200
leaq -0x101(%rbp), %rdi
callq 0x53c0
leaq -0x129(%rbp), %rdi
movq %rdi, -0x488(%rbp)
callq 0x55d0
movq -0x488(%rbp), %rdx
leaq 0x12456(%rip), %rsi     # 0xf158d
leaq -0x128(%rbp), %rdi
callq 0x19840
jmp 0xdf145
leaq 0x8169c(%rip), %rdi     # 0x1607e8
leaq -0x128(%rbp), %rsi
callq 0xdaf40
jmp 0xdf15a
leaq -0x128(%rbp), %rdi
callq 0x5200
leaq -0x129(%rbp), %rdi
callq 0x53c0
leaq -0x151(%rbp), %rdi
movq %rdi, -0x490(%rbp)
callq 0x55d0
movq -0x490(%rbp), %rdx
leaq 0x1242a(%rip), %rsi     # 0xf15bd
leaq -0x150(%rbp), %rdi
callq 0x19840
jmp 0xdf1a1
leaq 0x81640(%rip), %rdi     # 0x1607e8
leaq -0x150(%rbp), %rsi
callq 0xdaf40
jmp 0xdf1b6
leaq -0x150(%rbp), %rdi
callq 0x5200
leaq -0x151(%rbp), %rdi
callq 0x53c0
leaq -0x179(%rbp), %rdi
movq %rdi, -0x498(%rbp)
callq 0x55d0
movq -0x498(%rbp), %rdx
leaq 0x123e0(%rip), %rsi     # 0xf15cf
leaq -0x178(%rbp), %rdi
callq 0x19840
jmp 0xdf1fd
leaq 0x815e4(%rip), %rdi     # 0x1607e8
leaq -0x178(%rbp), %rsi
callq 0xdaf40
jmp 0xdf212
leaq -0x178(%rbp), %rdi
callq 0x5200
leaq -0x179(%rbp), %rdi
callq 0x53c0
leaq -0x1a1(%rbp), %rdi
movq %rdi, -0x4a0(%rbp)
callq 0x55d0
movq -0x4a0(%rbp), %rdx
leaq 0x12397(%rip), %rsi     # 0xf15e2
leaq -0x1a0(%rbp), %rdi
callq 0x19840
jmp 0xdf259
leaq 0x81588(%rip), %rdi     # 0x1607e8
leaq -0x1a0(%rbp), %rsi
callq 0xdaf40
jmp 0xdf26e
leaq -0x1a0(%rbp), %rdi
callq 0x5200
leaq -0x1a1(%rbp), %rdi
callq 0x53c0
leaq -0x1c9(%rbp), %rdi
movq %rdi, -0x4a8(%rbp)
callq 0x55d0
movq -0x4a8(%rbp), %rdx
leaq 0x12988(%rip), %rsi     # 0xf1c2f
leaq -0x1c8(%rbp), %rdi
callq 0x19840
jmp 0xdf2b5
leaq 0x8152c(%rip), %rdi     # 0x1607e8
leaq -0x1c8(%rbp), %rsi
callq 0xdaf40
jmp 0xdf2ca
leaq -0x1c8(%rbp), %rdi
callq 0x5200
leaq -0x1c9(%rbp), %rdi
callq 0x53c0
leaq -0x1f1(%rbp), %rdi
movq %rdi, -0x4b0(%rbp)
callq 0x55d0
movq -0x4b0(%rbp), %rdx
leaq 0x122f3(%rip), %rsi     # 0xf15f6
leaq -0x1f0(%rbp), %rdi
callq 0x19840
jmp 0xdf311
leaq 0x814d0(%rip), %rdi     # 0x1607e8
leaq -0x1f0(%rbp), %rsi
callq 0xdaf40
jmp 0xdf326
leaq -0x1f0(%rbp), %rdi
callq 0x5200
leaq -0x1f1(%rbp), %rdi
callq 0x53c0
movq -0x10(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0xdfda0
leaq -0x219(%rbp), %rdi
movq %rdi, -0x4b8(%rbp)
callq 0x55d0
movq -0x4b8(%rbp), %rdx
leaq 0x128c3(%rip), %rsi     # 0xf1c2f
leaq -0x218(%rbp), %rdi
callq 0x19840
jmp 0xdf37a
leaq 0x81467(%rip), %rdi     # 0x1607e8
leaq -0x218(%rbp), %rsi
callq 0xdaf40
jmp 0xdf38f
leaq -0x218(%rbp), %rdi
callq 0x5200
leaq -0x219(%rbp), %rdi
callq 0x53c0
leaq -0x241(%rbp), %rdi
movq %rdi, -0x4c0(%rbp)
callq 0x55d0
movq -0x4c0(%rbp), %rdx
leaq 0x1223c(%rip), %rsi     # 0xf1604
leaq -0x240(%rbp), %rdi
callq 0x19840
jmp 0xdf3d6
leaq 0x8140b(%rip), %rdi     # 0x1607e8
leaq -0x240(%rbp), %rsi
callq 0xdaf40
jmp 0xdf3eb
leaq -0x240(%rbp), %rdi
callq 0x5200
leaq -0x241(%rbp), %rdi
callq 0x53c0
leaq -0x269(%rbp), %rdi
movq %rdi, -0x4c8(%rbp)
callq 0x55d0
movq -0x4c8(%rbp), %rdx
leaq 0x121ee(%rip), %rsi     # 0xf1612
leaq -0x268(%rbp), %rdi
callq 0x19840
jmp 0xdf432
leaq 0x813af(%rip), %rdi     # 0x1607e8
leaq -0x268(%rbp), %rsi
callq 0xdaf40
jmp 0xdf447
leaq -0x268(%rbp), %rdi
callq 0x5200
leaq -0x269(%rbp), %rdi
callq 0x53c0
leaq -0x291(%rbp), %rdi
movq %rdi, -0x4d0(%rbp)
callq 0x55d0
movq -0x4d0(%rbp), %rdx
leaq 0x121ba(%rip), %rsi     # 0xf163a
leaq -0x290(%rbp), %rdi
callq 0x19840
jmp 0xdf48e
leaq 0x81353(%rip), %rdi     # 0x1607e8
leaq -0x290(%rbp), %rsi
callq 0xdaf40
jmp 0xdf4a3
leaq -0x290(%rbp), %rdi
callq 0x5200
leaq -0x291(%rbp), %rdi
callq 0x53c0
leaq -0x2b9(%rbp), %rdi
movq %rdi, -0x4d8(%rbp)
callq 0x55d0
movq -0x4d8(%rbp), %rdx
leaq 0x12186(%rip), %rsi     # 0xf1662
leaq -0x2b8(%rbp), %rdi
callq 0x19840
jmp 0xdf4ea
leaq 0x812f7(%rip), %rdi     # 0x1607e8
leaq -0x2b8(%rbp), %rsi
callq 0xdaf40
jmp 0xdf4ff
leaq -0x2b8(%rbp), %rdi
callq 0x5200
leaq -0x2b9(%rbp), %rdi
callq 0x53c0
leaq -0x2e1(%rbp), %rdi
movq %rdi, -0x4e0(%rbp)
callq 0x55d0
movq -0x4e0(%rbp), %rdx
leaq 0x12152(%rip), %rsi     # 0xf168a
leaq -0x2e0(%rbp), %rdi
callq 0x19840
jmp 0xdf546
leaq 0x8129b(%rip), %rdi     # 0x1607e8
leaq -0x2e0(%rbp), %rsi
callq 0xdaf40
jmp 0xdf55b
leaq -0x2e0(%rbp), %rdi
callq 0x5200
leaq -0x2e1(%rbp), %rdi
callq 0x53c0
leaq -0x309(%rbp), %rdi
movq %rdi, -0x4e8(%rbp)
callq 0x55d0
movq -0x4e8(%rbp), %rdx
leaq 0x12123(%rip), %rsi     # 0xf16b7
leaq -0x308(%rbp), %rdi
callq 0x19840
jmp 0xdf5a2
leaq 0x8123f(%rip), %rdi     # 0x1607e8
leaq -0x308(%rbp), %rsi
callq 0xdaf40
jmp 0xdf5b7
leaq -0x308(%rbp), %rdi
callq 0x5200
leaq -0x309(%rbp), %rdi
callq 0x53c0
leaq -0x331(%rbp), %rdi
movq %rdi, -0x4f0(%rbp)
callq 0x55d0
movq -0x4f0(%rbp), %rdx
leaq 0x120ef(%rip), %rsi     # 0xf16df
leaq -0x330(%rbp), %rdi
callq 0x19840
jmp 0xdf5fe
leaq 0x811e3(%rip), %rdi     # 0x1607e8
leaq -0x330(%rbp), %rsi
callq 0xdaf40
jmp 0xdf613
leaq -0x330(%rbp), %rdi
callq 0x5200
leaq -0x331(%rbp), %rdi
callq 0x53c0
leaq -0x359(%rbp), %rdi
movq %rdi, -0x4f8(%rbp)
callq 0x55d0
movq -0x4f8(%rbp), %rdx
leaq 0x125e3(%rip), %rsi     # 0xf1c2f
leaq -0x358(%rbp), %rdi
callq 0x19840
jmp 0xdf65a
leaq 0x81187(%rip), %rdi     # 0x1607e8
leaq -0x358(%rbp), %rsi
callq 0xdaf40
jmp 0xdf66f
leaq -0x358(%rbp), %rdi
callq 0x5200
leaq -0x359(%rbp), %rdi
callq 0x53c0
leaq -0x381(%rbp), %rdi
movq %rdi, -0x500(%rbp)
callq 0x55d0
movq -0x500(%rbp), %rdx
leaq 0x11f5c(%rip), %rsi     # 0xf1604
leaq -0x380(%rbp), %rdi
callq 0x19840
jmp 0xdf6b6
leaq 0x8112b(%rip), %rdi     # 0x1607e8
leaq -0x380(%rbp), %rsi
callq 0xdaf40
jmp 0xdf6cb
leaq -0x380(%rbp), %rdi
callq 0x5200
leaq -0x381(%rbp), %rdi
callq 0x53c0
leaq 0x8128e(%rip), %rax     # 0x160978
movq %rax, -0x390(%rbp)
leaq 0x81280(%rip), %rdi     # 0x160978
callq 0xe9e00
movq %rax, -0x398(%rbp)
leaq 0x8126d(%rip), %rdi     # 0x160978
callq 0xe9e30
movq %rax, -0x3a0(%rbp)
leaq -0x398(%rbp), %rdi
leaq -0x3a0(%rbp), %rsi
callq 0xe9e60
testb $0x1, %al
jne 0xdf733
jmp 0xdfd8a
leaq -0x398(%rbp), %rdi
callq 0xe9ea0
movq %rax, -0x3a8(%rbp)
leaq -0x449(%rbp), %rdi
movq %rdi, -0x508(%rbp)
callq 0x55d0
movq -0x508(%rbp), %rdx
leaq 0x11fa5(%rip), %rsi     # 0xf170c
leaq -0x448(%rbp), %rdi
callq 0x19840
jmp 0xdf775
movq -0x3a8(%rbp), %rdx
addq $0x20, %rdx
leaq -0x428(%rbp), %rdi
leaq -0x448(%rbp), %rsi
callq 0x1a4d0
jmp 0xdf795
leaq 0x11f78(%rip), %rdx     # 0xf1714
leaq -0x408(%rbp), %rdi
leaq -0x428(%rbp), %rsi
callq 0x1a380
jmp 0xdf7b1
movq -0x3a8(%rbp), %rdx
leaq -0x3e8(%rbp), %rdi
leaq -0x408(%rbp), %rsi
callq 0x1a4d0
jmp 0xdf7cd
leaq 0x11e87(%rip), %rdx     # 0xf165b
leaq -0x3c8(%rbp), %rdi
leaq -0x3e8(%rbp), %rsi
callq 0x1a380
jmp 0xdf7e9
leaq 0x80ff8(%rip), %rdi     # 0x1607e8
leaq -0x3c8(%rbp), %rsi
callq 0xdaf40
jmp 0xdf7fe
leaq -0x3c8(%rbp), %rdi
callq 0x5200
leaq -0x3e8(%rbp), %rdi
callq 0x5200
leaq -0x408(%rbp), %rdi
callq 0x5200
leaq -0x428(%rbp), %rdi
callq 0x5200
leaq -0x448(%rbp), %rdi
callq 0x5200
leaq -0x449(%rbp), %rdi
callq 0x53c0
leaq -0x398(%rbp), %rdi
callq 0xe9ec0
jmp 0xdf717
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdf891
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdf888
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x5200
leaq -0x50(%rbp), %rdi
callq 0x5200
leaq -0x51(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdf8c5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x88(%rbp), %rdi
callq 0x5200
leaq -0x89(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdf8fc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0xb0(%rbp), %rdi
callq 0x5200
leaq -0xb1(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdf933
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0xd8(%rbp), %rdi
callq 0x5200
leaq -0xd9(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdf96a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x100(%rbp), %rdi
callq 0x5200
leaq -0x101(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdf9a1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x128(%rbp), %rdi
callq 0x5200
leaq -0x129(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdf9d8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x150(%rbp), %rdi
callq 0x5200
leaq -0x151(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfa0f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x178(%rbp), %rdi
callq 0x5200
leaq -0x179(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfa46
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x1a0(%rbp), %rdi
callq 0x5200
leaq -0x1a1(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfa7d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x1c8(%rbp), %rdi
callq 0x5200
leaq -0x1c9(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfab4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x1f0(%rbp), %rdi
callq 0x5200
leaq -0x1f1(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfaeb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x218(%rbp), %rdi
callq 0x5200
leaq -0x219(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfb22
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x240(%rbp), %rdi
callq 0x5200
leaq -0x241(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfb59
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x268(%rbp), %rdi
callq 0x5200
leaq -0x269(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfb90
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x290(%rbp), %rdi
callq 0x5200
leaq -0x291(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfbc7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x2b8(%rbp), %rdi
callq 0x5200
leaq -0x2b9(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfbfe
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x2e0(%rbp), %rdi
callq 0x5200
leaq -0x2e1(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfc35
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x308(%rbp), %rdi
callq 0x5200
leaq -0x309(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfc6c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x330(%rbp), %rdi
callq 0x5200
leaq -0x331(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfca3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x358(%rbp), %rdi
callq 0x5200
leaq -0x359(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfcda
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x380(%rbp), %rdi
callq 0x5200
leaq -0x381(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfd7c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfd70
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfd64
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfd58
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
jmp 0xdfd4c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x60(%rbp)
movl %eax, -0x64(%rbp)
leaq -0x3c8(%rbp), %rdi
callq 0x5200
leaq -0x3e8(%rbp), %rdi
callq 0x5200
leaq -0x408(%rbp), %rdi
callq 0x5200
leaq -0x428(%rbp), %rdi
callq 0x5200
leaq -0x448(%rbp), %rdi
callq 0x5200
leaq -0x449(%rbp), %rdi
callq 0x53c0
jmp 0xdfd93
addq $0x510, %rsp            # imm = 0x510
popq %rbp
retq
movq -0x60(%rbp), %rdi
callq 0x55b0
nopl (%rax)