// File: alexwarth[P]nothing/main.cpp
// Function: vprintf2(char const*, __va_list_tag*, int)
void vprintf2(const char *fmt, va_list args, value_t n) {
  int oldDebug = debug; debug = 0;
  while (1)
    switch (*fmt) { case 0:   va_end(args); debug = oldDebug; return;
                    case '%': fmt++;
                              switch (*fmt++) { case '%': putchar('%');                                                  break;
                                                case 'o': fsend1(sPrint, va_arg(args, value_t));                         break;
                                                case 'd': printf("%d", va_arg(args, int));                               break;
                                                case 'S': printf2("ipb(ip=%o): [", ip);
                                                          for (int idx = 0; idx < IntValue(numSlots(ipb)); idx++) {
                                                            if (idx > 0) printf2(", ");
                                                            value_t instr = slotAt(ipb, Int(idx)),
                                                                    prim  = slotAt(instr, Int(0)),
                                                                    arg   = slotAt(instr, Int(1));
                                                            if (idx == IntValue(ip)) printf2("<<");
                                                            printf2("%o(%o)", primNames[IntValue(prim)], arg);
                                                            if (idx == IntValue(ip)) printf2(">>");
                                                          }
                                                          printf2("]\nfp: %o\n", fp);
                                                          printf2("/---------------------------------------------\\\n");
                                                          for (int spv = IntValue(sp); spv >= 0; spv--)
                                                            printf2("  %o\n", slotAt(stack, Int(spv)));
                                                          printf2("\\---------------------------------------------/\n"); break;
                                                default:  putchar('%'); fmt--; };
                              break;
                    default:  putchar(*fmt++); }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x150, %rsp            # imm = 0x150
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movl %edx, -0x14(%rbp)
movl 0x20794(%rip), %eax     # 0x22080
movl %eax, -0x18(%rbp)
movl $0x0, 0x20787(%rip)     # 0x22080
movq -0x8(%rbp), %rax
movsbl (%rax), %eax
movl %eax, -0xe8(%rbp)
testl %eax, %eax
je 0x191c
jmp 0x190c
movl -0xe8(%rbp), %eax
subl $0x25, %eax
je 0x1932
jmp 0x23e6
movq -0x10(%rbp), %rax
movl -0x18(%rbp), %eax
movl %eax, 0x20757(%rip)     # 0x22080
addq $0x150, %rsp            # imm = 0x150
popq %rbp
retq
movq -0x8(%rbp), %rax
incq %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq %rax, %rcx
incq %rcx
movq %rcx, -0x8(%rbp)
movsbl (%rax), %eax
movl %eax, -0xec(%rbp)
subl $0x25, %eax
je 0x198d
jmp 0x195b
movl -0xec(%rbp), %eax
subl $0x53, %eax
je 0x1a8b
jmp 0x196c
movl -0xec(%rbp), %eax
subl $0x64, %eax
je 0x1a18
jmp 0x197d
movl -0xec(%rbp), %eax
subl $0x6f, %eax
je 0x199c
jmp 0x23ce
movl $0x25, %edi
callq 0x10b0
jmp 0x23e4
movl 0x2072e(%rip), %eax     # 0x220d0
movl %eax, -0xfc(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xf8(%rbp)
movl (%rax), %eax
movl %eax, -0xf0(%rbp)
cmpl $0x28, %eax
ja 0x19e2
movq -0xf8(%rbp), %rcx
movl -0xf0(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x108(%rbp)
jmp 0x19ff
movq -0xf8(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x108(%rbp)
movl -0xfc(%rbp), %edi
movq -0x108(%rbp), %rax
movl (%rax), %esi
callq 0x3880
jmp 0x23e4
movq -0x10(%rbp), %rax
movq %rax, -0x118(%rbp)
movl (%rax), %eax
movl %eax, -0x10c(%rbp)
cmpl $0x28, %eax
ja 0x1a52
movq -0x118(%rbp), %rcx
movl -0x10c(%rbp), %edx
movslq %edx, %rax
addq 0x10(%rcx), %rax
addl $0x8, %edx
movl %edx, (%rcx)
movq %rax, -0x120(%rbp)
jmp 0x1a6f
movq -0x118(%rbp), %rcx
movq 0x8(%rcx), %rax
movq %rax, %rdx
addq $0x8, %rdx
movq %rdx, 0x8(%rcx)
movq %rax, -0x120(%rbp)
movq -0x120(%rbp), %rax
movl (%rax), %esi
leaq 0x1b468(%rip), %rdi     # 0x1cee7
movb $0x0, %al
callq 0x1030
jmp 0x23e4
movl 0x20603(%rip), %esi     # 0x22094
leaq 0x18b18(%rip), %rdi     # 0x1a5b0
movb $0x0, %al
callq 0x1830
movl $0x0, -0x1c(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x124(%rbp)
movl 0x205db(%rip), %edi     # 0x22090
callq 0x26e0
movl %eax, -0x20(%rbp)
cmpl $0x0, 0x205bc(%rip)     # 0x22080
je 0x1af4
movl -0x20(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1ad3
jmp 0x1af2
leaq 0x186cd(%rip), %rdi     # 0x1a1a7
leaq 0x18556(%rip), %rsi     # 0x1a037
movl $0xd2, %edx
leaq 0x18ad1(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1af4
movl -0x124(%rbp), %eax
movl -0x20(%rbp), %ecx
sarl %ecx
movl %ecx, -0x24(%rbp)
cmpl -0x24(%rbp), %eax
jge 0x2141
cmpl $0x0, -0x1c(%rbp)
jle 0x1b1f
leaq 0x18adc(%rip), %rdi     # 0x1a5f4
movb $0x0, %al
callq 0x1830
movl 0x2056b(%rip), %eax     # 0x22090
movl %eax, -0x30(%rbp)
cmpl $0x0, 0x20551(%rip)     # 0x22080
je 0x1b5f
movl -0x30(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x1b3e
jmp 0x1b5d
leaq 0x18515(%rip), %rdi     # 0x1a05a
leaq 0x184eb(%rip), %rsi     # 0x1a037
movl $0xd4, %edx
leaq 0x18a66(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1b5f
movl -0x30(%rbp), %eax
sarl %eax
movl %eax, -0x34(%rbp)
movl -0x34(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x1c(%rbp), %eax
shll %eax
orl $0x1, %eax
movl %eax, -0x3c(%rbp)
cmpl $0x0, 0x20501(%rip)     # 0x22080
je 0x1baf
movl -0x3c(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b8e
jmp 0x1bad
leaq 0x18612(%rip), %rdi     # 0x1a1a7
leaq 0x1849b(%rip), %rsi     # 0x1a037
movl $0xd4, %edx
leaq 0x18a16(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1baf
movl -0x3c(%rbp), %eax
sarl %eax
movl %eax, -0x40(%rbp)
movl -0x40(%rbp), %eax
movl %eax, -0x38(%rbp)
cmpl $0x0, 0x204bc(%rip)     # 0x22080
je 0x1c79
xorl %eax, %eax
xorl %ecx, %ecx
cmpl -0x38(%rbp), %ecx
movb %al, -0x125(%rbp)
jg 0x1c4a
movl -0x38(%rbp), %eax
movl %eax, -0x12c(%rbp)
movq 0x20507(%rip), %rax     # 0x220f0
movslq -0x2c(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl (%rax), %eax
movl %eax, -0x44(%rbp)
cmpl $0x0, 0x20480(%rip)     # 0x22080
je 0x1c30
movl -0x44(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1c0f
jmp 0x1c2e
leaq 0x18591(%rip), %rdi     # 0x1a1a7
leaq 0x1841a(%rip), %rsi     # 0x1a037
movl $0xd4, %edx
leaq 0x18995(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1c30
movl -0x12c(%rbp), %eax
movl -0x44(%rbp), %ecx
sarl %ecx
movl %ecx, -0x48(%rbp)
cmpl -0x48(%rbp), %eax
setl %al
movb %al, -0x125(%rbp)
movb -0x125(%rbp), %al
testb $0x1, %al
jne 0x1c56
jmp 0x1c58
jmp 0x1c77
leaq 0x18998(%rip), %rdi     # 0x1a5f7
leaq 0x183d1(%rip), %rsi     # 0x1a037
movl $0xd4, %edx
leaq 0x1894c(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1c79
movq 0x20470(%rip), %rax     # 0x220f0
movslq -0x2c(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movq 0x10(%rax), %rax
movslq -0x38(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x4c(%rbp)
movl -0x4c(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x58(%rbp)
cmpl $0x0, 0x203d4(%rip)     # 0x22080
je 0x1cdc
movl -0x58(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x1cbb
jmp 0x1cda
leaq 0x18398(%rip), %rdi     # 0x1a05a
leaq 0x1836e(%rip), %rsi     # 0x1a037
movl $0xd5, %edx
leaq 0x188e9(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1cdc
movl -0x58(%rbp), %eax
sarl %eax
movl %eax, -0x5c(%rbp)
movl -0x5c(%rbp), %eax
movl %eax, -0x54(%rbp)
movl $0x1, -0x64(%rbp)
cmpl $0x0, 0x20388(%rip)     # 0x22080
je 0x1d28
movl -0x64(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1d07
jmp 0x1d26
leaq 0x18499(%rip), %rdi     # 0x1a1a7
leaq 0x18322(%rip), %rsi     # 0x1a037
movl $0xd5, %edx
leaq 0x1889d(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1d28
movl -0x64(%rbp), %eax
sarl %eax
movl %eax, -0x68(%rbp)
movl -0x68(%rbp), %eax
movl %eax, -0x60(%rbp)
cmpl $0x0, 0x20343(%rip)     # 0x22080
je 0x1df2
xorl %eax, %eax
xorl %ecx, %ecx
cmpl -0x60(%rbp), %ecx
movb %al, -0x12d(%rbp)
jg 0x1dc3
movl -0x60(%rbp), %eax
movl %eax, -0x134(%rbp)
movq 0x2038e(%rip), %rax     # 0x220f0
movslq -0x54(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl (%rax), %eax
movl %eax, -0x6c(%rbp)
cmpl $0x0, 0x20307(%rip)     # 0x22080
je 0x1da9
movl -0x6c(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1d88
jmp 0x1da7
leaq 0x18418(%rip), %rdi     # 0x1a1a7
leaq 0x182a1(%rip), %rsi     # 0x1a037
movl $0xd5, %edx
leaq 0x1881c(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1da9
movl -0x134(%rbp), %eax
movl -0x6c(%rbp), %ecx
sarl %ecx
movl %ecx, -0x70(%rbp)
cmpl -0x70(%rbp), %eax
setl %al
movb %al, -0x12d(%rbp)
movb -0x12d(%rbp), %al
testb $0x1, %al
jne 0x1dcf
jmp 0x1dd1
jmp 0x1df0
leaq 0x188ed(%rip), %rdi     # 0x1a6c5
leaq 0x18258(%rip), %rsi     # 0x1a037
movl $0xd5, %edx
leaq 0x187d3(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1df2
movq 0x202f7(%rip), %rax     # 0x220f0
movslq -0x54(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movq 0x10(%rax), %rax
movslq -0x60(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x74(%rbp)
movl -0x74(%rbp), %eax
movl %eax, -0x50(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x80(%rbp)
cmpl $0x0, 0x2025b(%rip)     # 0x22080
je 0x1e55
movl -0x80(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x1e34
jmp 0x1e53
leaq 0x1821f(%rip), %rdi     # 0x1a05a
leaq 0x181f5(%rip), %rsi     # 0x1a037
movl $0xd6, %edx
leaq 0x18770(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1e55
movl -0x80(%rbp), %eax
sarl %eax
movl %eax, -0x84(%rbp)
movl -0x84(%rbp), %eax
movl %eax, -0x7c(%rbp)
movl $0x3, -0x8c(%rbp)
cmpl $0x0, 0x20206(%rip)     # 0x22080
je 0x1ead
movl -0x8c(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1e8c
jmp 0x1eab
leaq 0x18314(%rip), %rdi     # 0x1a1a7
leaq 0x1819d(%rip), %rsi     # 0x1a037
movl $0xd6, %edx
leaq 0x18718(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1ead
movl -0x8c(%rbp), %eax
sarl %eax
movl %eax, -0x90(%rbp)
movl -0x90(%rbp), %eax
movl %eax, -0x88(%rbp)
cmpl $0x0, 0x201b2(%rip)     # 0x22080
je 0x1f9c
xorl %eax, %eax
xorl %ecx, %ecx
cmpl -0x88(%rbp), %ecx
movb %al, -0x135(%rbp)
jg 0x1f6d
movl -0x88(%rbp), %eax
movl %eax, -0x13c(%rbp)
movq 0x201f3(%rip), %rax     # 0x220f0
movslq -0x7c(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl (%rax), %eax
movl %eax, -0x94(%rbp)
cmpl $0x0, 0x20169(%rip)     # 0x22080
je 0x1f4a
movl -0x94(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1f29
jmp 0x1f48
leaq 0x18277(%rip), %rdi     # 0x1a1a7
leaq 0x18100(%rip), %rsi     # 0x1a037
movl $0xd6, %edx
leaq 0x1867b(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1f4a
movl -0x13c(%rbp), %eax
movl -0x94(%rbp), %ecx
sarl %ecx
movl %ecx, -0x98(%rbp)
cmpl -0x98(%rbp), %eax
setl %al
movb %al, -0x135(%rbp)
movb -0x135(%rbp), %al
testb $0x1, %al
jne 0x1f79
jmp 0x1f7b
jmp 0x1f9a
leaq 0x18811(%rip), %rdi     # 0x1a793
leaq 0x180ae(%rip), %rsi     # 0x1a037
movl $0xd6, %edx
leaq 0x18629(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x1f9c
movq 0x2014d(%rip), %rax     # 0x220f0
movslq -0x7c(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movq 0x10(%rax), %rax
movslq -0x88(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0x9c(%rbp)
movl -0x9c(%rbp), %eax
movl %eax, -0x78(%rbp)
movl -0x1c(%rbp), %eax
movl %eax, -0x140(%rbp)
movl 0x200ba(%rip), %eax     # 0x22094
movl %eax, -0xa0(%rbp)
cmpl $0x0, 0x20099(%rip)     # 0x22080
je 0x201a
movl -0xa0(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1ff9
jmp 0x2018
leaq 0x181a7(%rip), %rdi     # 0x1a1a7
leaq 0x18030(%rip), %rsi     # 0x1a037
movl $0xd7, %edx
leaq 0x185ab(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x201a
movl -0x140(%rbp), %eax
movl -0xa0(%rbp), %ecx
sarl %ecx
movl %ecx, -0xa4(%rbp)
cmpl -0xa4(%rbp), %eax
jne 0x2044
leaq 0x18824(%rip), %rdi     # 0x1a861
movb $0x0, %al
callq 0x1830
movl -0x50(%rbp), %eax
movl %eax, -0xa8(%rbp)
cmpl $0x0, 0x2002c(%rip)     # 0x22080
je 0x2087
movl -0xa8(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x2066
jmp 0x2085
leaq 0x1813a(%rip), %rdi     # 0x1a1a7
leaq 0x17fc3(%rip), %rsi     # 0x1a037
movl $0xd8, %edx
leaq 0x1853e(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x2087
movl -0xa8(%rbp), %eax
sarl %eax
movl %eax, -0xac(%rbp)
movslq -0xac(%rbp), %rcx
leaq 0x2026d(%rip), %rax     # 0x22310
movq (%rax,%rcx,8), %rsi
movl -0x78(%rbp), %edx
leaq 0x187b3(%rip), %rdi     # 0x1a864
movb $0x0, %al
callq 0x1830
movl -0x1c(%rbp), %eax
movl %eax, -0x144(%rbp)
movl 0x1ffcd(%rip), %eax     # 0x22094
movl %eax, -0xb0(%rbp)
cmpl $0x0, 0x1ffac(%rip)     # 0x22080
je 0x2107
movl -0xb0(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x20e6
jmp 0x2105
leaq 0x180ba(%rip), %rdi     # 0x1a1a7
leaq 0x17f43(%rip), %rsi     # 0x1a037
movl $0xd9, %edx
leaq 0x184be(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x2107
movl -0x144(%rbp), %eax
movl -0xb0(%rbp), %ecx
sarl %ecx
movl %ecx, -0xb4(%rbp)
cmpl -0xb4(%rbp), %eax
jne 0x2131
leaq 0x18741(%rip), %rdi     # 0x1a86b
movb $0x0, %al
callq 0x1830
jmp 0x2133
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x1aa6
movl 0x1ff51(%rip), %esi     # 0x22098
leaq 0x18720(%rip), %rdi     # 0x1a86e
movb $0x0, %al
callq 0x1830
leaq 0x1871c(%rip), %rdi     # 0x1a878
movb $0x0, %al
callq 0x1830
movl 0x1ff33(%rip), %eax     # 0x2209c
movl %eax, -0xbc(%rbp)
cmpl $0x0, 0x1ff0a(%rip)     # 0x22080
je 0x21a9
movl -0xbc(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x2188
jmp 0x21a7
leaq 0x18018(%rip), %rdi     # 0x1a1a7
leaq 0x17ea1(%rip), %rsi     # 0x1a037
movl $0xdd, %edx
leaq 0x1841c(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x21a9
movl -0xbc(%rbp), %eax
sarl %eax
movl %eax, -0xc0(%rbp)
movl -0xc0(%rbp), %eax
movl %eax, -0xb8(%rbp)
cmpl $0x0, -0xb8(%rbp)
jl 0x23be
movl 0x1feb6(%rip), %eax     # 0x2208c
movl %eax, -0xc8(%rbp)
cmpl $0x0, 0x1fe9d(%rip)     # 0x22080
je 0x2216
movl -0xc8(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x21f5
jmp 0x2214
leaq 0x17e5e(%rip), %rdi     # 0x1a05a
leaq 0x17e34(%rip), %rsi     # 0x1a037
movl $0xde, %edx
leaq 0x183af(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x2216
movl -0xc8(%rbp), %eax
sarl %eax
movl %eax, -0xcc(%rbp)
movl -0xcc(%rbp), %eax
movl %eax, -0xc4(%rbp)
movl -0xb8(%rbp), %eax
shll %eax
orl $0x1, %eax
movl %eax, -0xd4(%rbp)
cmpl $0x0, 0x1fe38(%rip)     # 0x22080
je 0x227b
movl -0xd4(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x225a
jmp 0x2279
leaq 0x17f46(%rip), %rdi     # 0x1a1a7
leaq 0x17dcf(%rip), %rsi     # 0x1a037
movl $0xde, %edx
leaq 0x1834a(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x227b
movl -0xd4(%rbp), %eax
sarl %eax
movl %eax, -0xd8(%rbp)
movl -0xd8(%rbp), %eax
movl %eax, -0xd0(%rbp)
cmpl $0x0, 0x1fde4(%rip)     # 0x22080
je 0x236d
xorl %eax, %eax
xorl %ecx, %ecx
cmpl -0xd0(%rbp), %ecx
movb %al, -0x145(%rbp)
jg 0x233e
movl -0xd0(%rbp), %eax
movl %eax, -0x14c(%rbp)
movq 0x1fe25(%rip), %rax     # 0x220f0
movslq -0xc4(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movl (%rax), %eax
movl %eax, -0xdc(%rbp)
cmpl $0x0, 0x1fd98(%rip)     # 0x22080
je 0x231b
movl -0xdc(%rbp), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x22fa
jmp 0x2319
leaq 0x17ea6(%rip), %rdi     # 0x1a1a7
leaq 0x17d2f(%rip), %rsi     # 0x1a037
movl $0xde, %edx
leaq 0x182aa(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x231b
movl -0x14c(%rbp), %eax
movl -0xdc(%rbp), %ecx
sarl %ecx
movl %ecx, -0xe0(%rbp)
cmpl -0xe0(%rbp), %eax
setl %al
movb %al, -0x145(%rbp)
movb -0x145(%rbp), %al
testb $0x1, %al
jne 0x234a
jmp 0x234c
jmp 0x236b
leaq 0x1855c(%rip), %rdi     # 0x1a8af
leaq 0x17cdd(%rip), %rsi     # 0x1a037
movl $0xde, %edx
leaq 0x18258(%rip), %rcx     # 0x1a5be
callq 0x1060
jmp 0x236d
movq 0x1fd7c(%rip), %rax     # 0x220f0
movslq -0xc4(%rbp), %rcx
imulq $0x18, %rcx, %rcx
addq %rcx, %rax
movq 0x10(%rax), %rax
movslq -0xd0(%rbp), %rcx
movl (%rax,%rcx,4), %eax
movl %eax, -0xe4(%rbp)
movl -0xe4(%rbp), %esi
leaq 0x18506(%rip), %rdi     # 0x1a8a9
movb $0x0, %al
callq 0x1830
movl -0xb8(%rbp), %eax
addl $-0x1, %eax
movl %eax, -0xb8(%rbp)
jmp 0x21c3
leaq 0x185b8(%rip), %rdi     # 0x1a97d
movb $0x0, %al
callq 0x1830
jmp 0x23e4
movl $0x25, %edi
callq 0x10b0
movq -0x8(%rbp), %rax
addq $-0x1, %rax
movq %rax, -0x8(%rbp)
jmp 0x23fd
movq -0x8(%rbp), %rax
movq %rax, %rcx
addq $0x1, %rcx
movq %rcx, -0x8(%rbp)
movsbl (%rax), %edi
callq 0x10b0
jmp 0x18f9
nopw %cs:(%rax,%rax)