// File: /workspace/github_c_makefile_star2_O1/jflatow[P]jfdb/test/trie.c
// Function: main
int main(int argc, char **argv) {
  size_t O = argc > 1 ? atoi(argv[1]) : 0;
  size_t B = argc > 2 ? atoi(argv[2]) : 1;
  JFT_Buffer
    *scratch = JFT_membuf(),
    *outputW = JFT_membuf(),
    *outputX = JFT_membuf(),
    *outputY = JFT_membuf();
  if (scratch == NULL || outputX == NULL || outputY == NULL)
    return ENoMem;

  JFT_Word *b = malloc(B * sizeof(JFT_Word));
  JFT_Leaf v = ((JFT_Leaf) {.size = B, .data = b});
  if (B > 0)
    b[0] = 42;
  const JFT_Stem k[] = {
    JFTK("hello world"),
    JFTK("i1"),
    JFTK("i2"),
    JFTK("index3"),
    JFTK("index3"),
    JFTK("aliens"),
    JFTK("attack!!"),
    JFTK("keyhole")
  };
  JFT *w = JFT_atom(k + 0, &v, k + 1, 7, scratch, outputW);
  JFT *x = JFT_atom(k + 1, &v, k + 1, 7, scratch, outputX);
  JFT *y = JFT_atom(k + 2, &v, k + 2, 6, scratch, outputY);

  JFT_Cursor cursors[] = {
    JFT_cursor(w),
    JFT_cursor(x),
    JFT_cursor(y)
  };
  JFT *z = JFT_cursor_merge_new(cursors, 3, scratch, 0);
  if (z) {
    printf("scratch: %zu\n", scratch->size);
    print_node(z + O);
    print_trie(z + O);

    JFT_Cursor c = JFT_cursor(z + O);
    JFT_Stem q = (JFT_Stem) {.data = malloc(JFT_KEY_LIMIT)};
    JFT_Keys ks = JFT_keys(&c, &q, Reverse);
    uint8_t keyData[JFT_KEY_LIMIT];
    print_stem("", JFT_key(c.node, keyData));
    while (JFT_keys_next(&ks))
      print_stem(" -> ", *ks.stem);
    free(q.data);
  } else {
    printf("Failed to splice atom\n");
  }

  free(b);
  JFT_membuf_free(scratch);
  JFT_membuf_free(outputW);
  JFT_membuf_free(outputX);
  JFT_membuf_free(outputY);
  return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x638, %rsp            # imm = 0x638
movq %rsi, %rbx
movl %edi, %r14d
cmpl $0x2, %edi
jl 0x1326
movq 0x8(%rbx), %rdi
callq 0x11d0
movslq %eax, %r15
jmp 0x1329
xorl %r15d, %r15d
movl $0x1, %ebp
cmpl $0x3, %r14d
jl 0x133f
movq 0x10(%rbx), %rdi
callq 0x11d0
movl %eax, %ebp
xorl %eax, %eax
callq 0x5ced
movq %rax, %r12
xorl %eax, %eax
callq 0x5ced
movq %rax, %r13
xorl %eax, %eax
callq 0x5ced
movq %rax, %rbx
xorl %eax, %eax
callq 0x5ced
testq %r12, %r12
sete %dl
movq %rbx, 0x60(%rsp)
testq %rbx, %rbx
sete %cl
orb %dl, %cl
movq %rax, 0x58(%rsp)
testq %rax, %rax
sete %al
orb %cl, %al
movl $0x5, %eax
jne 0x1e7b
movq %r15, 0x8(%rsp)
movslq %ebp, %rbx
leaq (,%rbx,8), %rdi
callq 0x1160
movl %ebx, 0x70(%rsp)
movq %rax, 0x78(%rsp)
testl %ebx, %ebx
je 0x13b8
movq $0x2a, (%rax)
movq %rax, 0x68(%rsp)
leaq 0x896c(%rip), %rsi      # 0x9d30
leaq 0x170(%rsp), %r14
movl $0xc0, %edx
movq %r14, %rdi
callq 0x1150
leaq 0x188(%rsp), %r15
leaq 0x70(%rsp), %rbp
movq %r14, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movl $0x7, %ecx
movq %r12, %r8
movq %r13, 0x50(%rsp)
movq %r13, %r9
callq 0x523e
movq %rax, %r13
movq %r15, %rdi
movq %rbp, %rsi
movq %r15, %rdx
movl $0x7, %ecx
movq %r12, %r8
movq 0x60(%rsp), %r9
callq 0x523e
movq %r12, 0x48(%rsp)
movq %rax, %r12
leaq 0x1a0(%rsp), %rdi
movq %rbp, %rsi
movq %rdi, %rdx
movl $0x6, %ecx
movq 0x48(%rsp), %r8
movq 0x58(%rsp), %r9
callq 0x523e
movq %rax, %r15
xorps %xmm0, %xmm0
leaq 0xc0(%rsp), %r14
movaps %xmm0, (%r14)
xorl %ebx, %ebx
movq %rbx, 0x30(%r14)
movaps %xmm0, 0x20(%r14)
movaps %xmm0, 0x10(%r14)
movq %r13, (%r14)
movq %r14, %rdi
movl $0x1, %esi
movq %r13, %rdx
callq 0x3c18
leaq 0xf8(%rsp), %rdi
xorps %xmm0, %xmm0
movups %xmm0, (%rdi)
movups %xmm0, 0x10(%rdi)
movups %xmm0, 0x20(%rdi)
movq %rbx, 0x30(%rdi)
movq %r12, (%rdi)
movl $0x1, %esi
movq %r12, %rdx
movq 0x48(%rsp), %r12
callq 0x3c18
leaq 0x130(%rsp), %rdi
xorps %xmm0, %xmm0
movaps %xmm0, (%rdi)
movaps %xmm0, 0x10(%rdi)
movaps %xmm0, 0x20(%rdi)
movq %rbx, 0x30(%rdi)
movq %r15, (%rdi)
movl $0x1, %esi
movq %r15, %rdx
callq 0x3c18
movl $0x3, %esi
movq %r14, %rdi
movq %r12, %rdx
xorl %ecx, %ecx
callq 0x4837
testq %rax, %rax
je 0x1528
movq %rax, %r15
movq 0x8(%r12), %rsi
leaq 0x5c75(%rip), %rdi      # 0x7175
xorl %r12d, %r12d
xorl %eax, %eax
callq 0x10e0
movq 0x8(%rsp), %rax
leaq (%r15,%rax), %r13
movq (%r15,%rax), %r14
btq $0x3d, %r14
jb 0x153e
leaq (%r15,%rax), %rbx
addq $0x8, %rbx
jmp 0x154e
leaq 0x5e53(%rip), %rdi      # 0x7382
callq 0x1080
movq 0x50(%rsp), %rbx
jmp 0x1e4b
movzbl 0x8(%r13), %r12d
orq $-0x100, %r12
leaq 0x9(%r13), %rbx
movabsq $0xffffffffff, %r15     # imm = 0xFFFFFFFFFF
shrq $0x30, %r14
andl $0xfff, %r14d           # imm = 0xFFF
leaq 0x5e2e(%rip), %rdi      # 0x7398
callq 0x1080
movq %r13, 0x8(%rsp)
movq (%r13), %r10
movq %r10, %rax
shrq $0x3e, %rax
leaq 0x5b9a(%rip), %rcx      # 0x7120
movslq (%rcx,%rax,4), %rsi
addq %rcx, %rsi
movq %r10, %rdx
shrq $0x3d, %rdx
andl $0x1, %edx
movq %r10, %rcx
shrq $0x3c, %rcx
andl $0x1, %ecx
movq %r10, %rax
shrq $0x28, %rax
movzbl %al, %r9d
andq %r15, %r10
subq $0x8, %rsp
leaq 0x5bce(%rip), %rdi      # 0x7188
movl %r14d, %r8d
xorl %eax, %eax
pushq %r10
callq 0x10e0
addq $0x10, %rsp
movq %r12, 0x230(%rsp)
movw %r14w, 0x238(%rsp)
movq %rbx, 0x240(%rsp)
addq $0x5, %r12
cmpq $0x5, %r12
ja 0x162a
leaq 0x5a1c(%rip), %rax      # 0x7010
movslq (%rax,%r12,4), %rcx
addq %rax, %rcx
jmpq *%rcx
leaq 0x5d61(%rip), %rsi      # 0x7365
jmp 0x1632
leaq 0x5d50(%rip), %rsi      # 0x735d
jmp 0x1632
leaq 0x5d57(%rip), %rsi      # 0x736d
jmp 0x1632
leaq 0x5d42(%rip), %rsi      # 0x7361
jmp 0x1632
leaq 0x5d31(%rip), %rsi      # 0x7359
jmp 0x1632
leaq 0x230(%rsp), %rsi
leaq 0x5d3c(%rip), %rdi      # 0x7375
xorl %eax, %eax
callq 0x10e0
movzwl 0x238(%rsp), %r12d
xorl %eax, %eax
cmpq $0x0, 0x230(%rsp)
setne %al
subq %rax, %r12
je 0x16b0
movq 0x240(%rsp), %rbx
leaq 0x5c96(%rip), %r15      # 0x7301
xorl %ebp, %ebp
xorl %r13d, %r13d
movzbl (%rbx,%r13), %esi
leal -0x7f(%rsi), %eax
cmpb $-0x60, %al
ja 0x168f
leaq 0x1(%rbp), %r14
testb $0x1, %bpl
jne 0x169b
leaq 0x5c80(%rip), %rdi      # 0x730d
jmp 0x169e
movl %esi, %edi
callq 0x1040
movq %rbp, %r14
jmp 0x16a5
movq %r15, %rdi
xorl %eax, %eax
callq 0x10e0
incq %r13
movq %r14, %rbp
cmpq %r13, %r12
jne 0x1670
movl $0xa, %edi
callq 0x1040
leaq 0x5cd7(%rip), %rdi      # 0x7398
callq 0x1080
movq 0x8(%rsp), %rdi
movq (%rdi), %rbx
movq %rbx, %rax
shrq $0x3e, %rax
leaq 0x594c(%rip), %rcx      # 0x7028
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x8(%rdi), %rsi
movq 0x10(%rdi), %rdx
movq 0x18(%rdi), %rcx
movl 0x20(%rdi), %r8d
movl 0x24(%rdi), %r9d
movl 0x28(%rdi), %r10d
movzwl 0x2c(%rdi), %r11d
leaq 0x5b42(%rip), %rdi      # 0x724b
xorl %eax, %eax
pushq %r11
pushq %r10
callq 0x10e0
addq $0x10, %rsp
jmp 0x18eb
movq %rbx, %rax
shrq $0x28, %rax
movzbl %al, %eax
shrq $0x30, %rbx
andl $0xfff, %ebx            # imm = 0xFFF
addq %rdi, %rbx
addq $0x8, %rbx
shll $0x4, %eax
leaq 0x592e(%rip), %rcx      # 0x7070
movq (%rax,%rcx), %r13
movq 0x8(%rax,%rcx), %rbp
leaq 0x5c57(%rip), %rdi      # 0x73a9
callq 0x1080
incq %rbp
leaq 0x5bac(%rip), %r14      # 0x730d
leaq 0x5b93(%rip), %r15      # 0x72fb
movq (%rbx), %r12
movl $0x20, %edi
callq 0x1040
movzbl %r13b, %esi
leal -0x7f(%r13), %eax
cmpb $-0x60, %al
ja 0x178d
movq %r14, %rdi
xorl %eax, %eax
callq 0x10e0
jmp 0x1794
movl %esi, %edi
callq 0x1040
movq %r15, %rdi
movq %r12, %rsi
xorl %eax, %eax
callq 0x10e0
incq %r13
addq $0x8, %rbx
cmpq %r13, %rbp
jne 0x1768
jmp 0x18eb
movq %rbx, %r14
shrq $0x28, %r14
movl $0xff, %eax
andl %eax, %r14d
shrq $0x30, %rbx
andl $0xfff, %ebx            # imm = 0xFFF
addq %rdi, %rbx
addq $0x8, %rbx
cmpl %eax, %r14d
jne 0x17de
movl (%rbx), %r14d
addq $0x4, %rbx
leaq 0x5b34(%rip), %rdi      # 0x7319
movl %r14d, %esi
xorl %eax, %eax
callq 0x10e0
leaq 0x5b33(%rip), %rdi      # 0x7329
xorl %eax, %eax
callq 0x10e0
testl %r14d, %r14d
je 0x182f
movl $0x2710, %r12d          # imm = 0x2710
cmpl %r12d, %r14d
cmovbl %r14d, %r12d
leaq 0x5b1f(%rip), %r15      # 0x7335
xorl %r13d, %r13d
movq (%rbx,%r13,8), %rsi
movq %r15, %rdi
xorl %eax, %eax
callq 0x10e0
incq %r13
cmpq %r13, %r12
jne 0x1819
cmpl $0x2710, %r14d          # imm = 0x2710
jbe 0x1846
leaq 0x5afb(%rip), %rdi      # 0x733a
xorl %eax, %eax
callq 0x10e0
movl $0xa, %edi
callq 0x1040
jmp 0x18eb
movq %rbx, %r14
shrq $0x28, %r14
leaq 0x5b3b(%rip), %rdi      # 0x739e
callq 0x1080
testb %r14b, %r14b
je 0x18eb
shrq $0x30, %rbx
andl $0xfff, %ebx            # imm = 0xFFF
movq 0x8(%rsp), %rcx
leaq (%rcx,%rbx), %rax
addq %rcx, %rbx
addq $0x8, %rbx
movzbl %r14b, %ebp
leaq (%rax,%rbp), %r14
addq $0x8, %r14
negq %rbp
xorl %r15d, %r15d
movzbl (%rbx,%r15), %r13d
movq (%r14,%r15,8), %r12
movl $0x20, %edi
callq 0x1040
leal -0x7f(%r13), %eax
cmpb $-0x60, %al
ja 0x18c7
leaq 0x5a52(%rip), %rdi      # 0x730d
movl %r13d, %esi
xorl %eax, %eax
callq 0x10e0
jmp 0x18cf
movl %r13d, %edi
callq 0x1040
leaq 0x5a25(%rip), %rdi      # 0x72fb
movq %r12, %rsi
xorl %eax, %eax
callq 0x10e0
incq %r15
movq %rbp, %rax
addq %r15, %rax
jne 0x1899
movabsq $0x2000000000000000, %r12 # imm = 0x2000000000000000
leaq 0x5a9c(%rip), %rdi      # 0x7398
callq 0x1080
xorps %xmm0, %xmm0
leaq 0x260(%rsp), %r14
movaps %xmm0, -0x30(%r14)
movaps %xmm0, -0x10(%r14)
movaps %xmm0, -0x20(%r14)
movq $0x0, (%r14)
movq 0x8(%rsp), %rbp
movq %rbp, -0x30(%r14)
leaq 0x230(%rsp), %r13
movq %r13, %rdi
movl $0x1, %esi
movq %rbp, %rdx
callq 0x3c18
xorl %r15d, %r15d
movl %r15d, %ebx
testl %r15d, %r15d
jle 0x195c
movl $0x20, %edi
callq 0x1040
decl %ebx
jne 0x194e
movq 0x260(%rsp), %rax
cmpq $0xff, %rax
jbe 0x1990
movq %r14, %rsi
cmpq $-0x5, %rax
jb 0x1987
addq $0x5, %rax
leaq 0x57b0(%rip), %rcx      # 0x7130
movslq (%rcx,%rax,4), %rsi
addq %rcx, %rsi
leaq 0x59b1(%rip), %rdi      # 0x733f
jmp 0x199a
leaq 0x59b5(%rip), %rdi      # 0x734c
movq %r14, %rsi
xorl %eax, %eax
callq 0x10e0
xorl %ecx, %ecx
incl %r15d
je 0x19be
movq %r13, %rdi
movl $0x1, %esi
callq 0x3d1e
movl %r15d, %ecx
cmpq $-0x2, %rax
jb 0x1946
movl %ecx, %r15d
movq %r13, %rdi
movl $0x1, %esi
callq 0x40fd
cmpq $-0x2, %rax
jb 0x19ef
subl $0x1, %r15d
jb 0x19f8
movq %r13, %rdi
movl $0x1, %esi
callq 0x3cc2
cmpq $-0x4, %rax
jbe 0x19c1
jmp 0x19f8
testl %r15d, %r15d
jne 0x1946
xorps %xmm0, %xmm0
leaq 0x80(%rsp), %r14
movaps %xmm0, (%r14)
xorl %r13d, %r13d
movq %r13, 0x30(%r14)
movaps %xmm0, 0x20(%r14)
movaps %xmm0, 0x10(%r14)
movq %rbp, (%r14)
movq %r14, %rdi
movl $0x1, %esi
movq %rbp, %rdx
callq 0x3c18
leaq 0x18(%rsp), %r15
movq %r13, (%r15)
movw $0x0, 0x8(%r15)
movl $0x400, %edi            # imm = 0x400
callq 0x1160
movq %rax, 0x10(%r15)
movq %r14, %rdi
movq %r15, %rsi
callq 0x417f
movzwl 0x8(%r15), %eax
movw %ax, 0x16(%rsp)
movq 0x8(%r14), %rbp
leaq 0x630(%rsp), %r14
movq (%rbp), %rax
movq %rax, %rcx
shrq $0x3e, %rcx
movl $0x0, %r15d
je 0x1af2
movabsq $0x4000000000000000, %rbx # imm = 0x4000000000000000
xorl %r15d, %r15d
testq %r12, %rax
jne 0x1a97
leaq 0x8(%rbp), %rsi
xorl %r13d, %r13d
jmp 0x1aa7
movzbl 0x8(%rbp), %r13d
orq $-0x100, %r13
leaq 0x9(%rbp), %rsi
shrq $0x30, %rax
andl $0xfff, %eax            # imm = 0xFFF
cmpq $0x1, %r13
movl %eax, %ecx
adcw $-0x1, %cx
addl %eax, %r15d
movzwl %cx, %edx
subq %rdx, %r14
movq %r14, %rdi
callq 0x1150
movq (%rbp), %rax
movabsq $0xffffffffff, %rcx     # imm = 0xFFFFFFFFFF
andq %rcx, %rax
movq %rbp, %rcx
subq %rax, %rcx
negq %rax
movq (%rbp,%rax), %rax
movq %rcx, %rbp
cmpq %rbx, %rax
jae 0x1a89
movq %r13, 0x30(%rsp)
movw %r15w, 0x38(%rsp)
movq %r14, 0x40(%rsp)
addq $0x5, %r13
cmpq $0x5, %r13
ja 0x1b49
leaq 0x5525(%rip), %rax      # 0x7038
movslq (%rax,%r13,4), %rcx
addq %rax, %rcx
jmpq *%rcx
leaq 0x5842(%rip), %rsi      # 0x7365
jmp 0x1b4e
leaq 0x5831(%rip), %rsi      # 0x735d
jmp 0x1b4e
leaq 0x5838(%rip), %rsi      # 0x736d
jmp 0x1b4e
leaq 0x5823(%rip), %rsi      # 0x7361
jmp 0x1b4e
leaq 0x5812(%rip), %rsi      # 0x7359
jmp 0x1b4e
leaq 0x30(%rsp), %rsi
leaq 0x5820(%rip), %rdi      # 0x7375
xorl %eax, %eax
callq 0x10e0
movzwl 0x38(%rsp), %ebx
xorl %eax, %eax
cmpq $0x0, 0x30(%rsp)
setne %al
subq %rax, %rbx
je 0x1bc2
movq 0x40(%rsp), %r12
leaq 0x5784(%rip), %r15      # 0x7301
xorl %ebp, %ebp
xorl %r13d, %r13d
movzbl (%r12,%r13), %esi
leal -0x7f(%rsi), %eax
cmpb $-0x60, %al
ja 0x1ba1
leaq 0x1(%rbp), %r14
testb $0x1, %bpl
jne 0x1bad
leaq 0x576e(%rip), %rdi      # 0x730d
jmp 0x1bb0
movl %esi, %edi
callq 0x1040
movq %rbp, %r14
jmp 0x1bb7
movq %r15, %rdi
xorl %eax, %eax
callq 0x10e0
incq %r13
movq %r14, %rbp
cmpq %r13, %rbx
jne 0x1b82
leaq 0x30(%rsp), %r15
movl $0xa, %edi
callq 0x1040
leaq 0x5a6f(%rip), %r13      # 0x7647
leaq 0x55a4(%rip), %rbp      # 0x7183
leaq 0x80(%rsp), %r14
movq $0x0, 0x8(%rsp)
movq 0x48(%rsp), %r12
movq 0x50(%rsp), %rbx
cmpq $0x0, 0x8(%rsp)
je 0x1c8b
movq %r14, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x40fd
movzwl 0x20(%rsp), %ecx
cmpq $-0x2, %rax
jb 0x1c45
subw $0x1, %cx
movw %cx, 0x20(%rsp)
jb 0x1e41
movq %r14, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x3cc2
cmpq $-0x4, %rax
jbe 0x1c06
jmp 0x1e41
cmpw 0x16(%rsp), %cx
jbe 0x1e41
movq 0xb0(%rsp), %rax
decl %ecx
je 0x1c70
cmpq $0x1, 0x18(%rsp)
movq 0x28(%rsp), %rdx
adcq $-0x1, %rdx
movb %al, (%rdx,%rcx)
jmp 0x1c8b
cmpq $0x100, %rax            # imm = 0x100
movl $0x0, %ecx
cmovaeq %rax, %rcx
movq %rcx, 0x18(%rsp)
movq 0x28(%rsp), %rcx
movb %al, (%rcx)
incq 0x8(%rsp)
movq 0x88(%rsp), %rax
movq (%rax), %rax
shrq $0x3e, %rax
cmpl $0x3, %eax
jb 0x1cb9
movzwl 0x98(%rsp), %eax
decq %rax
cmpq %rax, 0xa8(%rsp)
je 0x1d36
movq %r14, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x3d1e
cmpq $-0x2, %rax
jae 0x1d1a
movzwl 0x20(%rsp), %ecx
leal 0x1(%rcx), %eax
movw %ax, 0x20(%rsp)
movq 0xb0(%rsp), %rax
testq %rcx, %rcx
je 0x1cfa
cmpq $0x1, 0x18(%rsp)
movq 0x28(%rsp), %rdx
adcq $-0x1, %rdx
movb %al, (%rdx,%rcx)
jmp 0x1c90
cmpq $0x100, %rax            # imm = 0x100
movl $0x0, %ecx
cmovaeq %rax, %rcx
movq %rcx, 0x18(%rsp)
movq 0x28(%rsp), %rcx
movb %al, (%rcx)
jmp 0x1c90
movq %r14, %rdi
movl $0xffffffff, %esi       # imm = 0xFFFFFFFF
callq 0x3cc2
cmpq $-0x4, %rax
jbe 0x1bfa
jmp 0x1e41
movq 0x28(%rsp), %rax
movq %rax, 0x40(%rsp)
movups 0x18(%rsp), %xmm0
movaps %xmm0, 0x30(%rsp)
movq %r13, %rdi
movq %rbp, %rsi
xorl %eax, %eax
callq 0x10e0
movq 0x30(%rsp), %rax
addq $0x5, %rax
cmpq $0x5, %rax
ja 0x1da1
leaq 0x52e3(%rip), %rcx      # 0x7050
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
leaq 0x55de(%rip), %rsi      # 0x7359
jmpq *%rax
leaq 0x55e1(%rip), %rsi      # 0x7365
jmp 0x1da4
leaq 0x55d4(%rip), %rsi      # 0x7361
jmp 0x1da4
leaq 0x55d7(%rip), %rsi      # 0x736d
jmp 0x1da4
leaq 0x55be(%rip), %rsi      # 0x735d
jmp 0x1da4
movq %r15, %rsi
leaq 0x55ca(%rip), %rdi      # 0x7375
xorl %eax, %eax
callq 0x10e0
movzwl 0x38(%rsp), %r12d
xorl %eax, %eax
cmpq $0x0, 0x30(%rsp)
setne %al
subq %rax, %r12
je 0x1e15
movq 0x40(%rsp), %rbx
xorl %r13d, %r13d
xorl %ebp, %ebp
movzbl (%rbx,%rbp), %esi
leal -0x7f(%rsi), %eax
cmpb $-0x60, %al
ja 0x1df0
leaq 0x1(%r13), %r15
testb $0x1, %r13b
jne 0x1dfc
leaq 0x551f(%rip), %rdi      # 0x730d
jmp 0x1e03
movl %esi, %edi
callq 0x1040
movq %r13, %r15
jmp 0x1e0a
leaq 0x54fe(%rip), %rdi      # 0x7301
xorl %eax, %eax
callq 0x10e0
incq %rbp
movq %r15, %r13
cmpq %rbp, %r12
jne 0x1dd2
movl $0xa, %edi
callq 0x1040
movq 0x48(%rsp), %r12
movq 0x50(%rsp), %rbx
leaq 0x30(%rsp), %r15
leaq 0x5812(%rip), %r13      # 0x7647
leaq 0x5347(%rip), %rbp      # 0x7183
jmp 0x1bfa
movq 0x28(%rsp), %rdi
callq 0x1030
movq 0x68(%rsp), %rdi
callq 0x1030
movq %r12, %rdi
callq 0x5d19
movq %rbx, %rdi
callq 0x5d19
movq 0x60(%rsp), %rdi
callq 0x5d19
movq 0x58(%rsp), %rdi
callq 0x5d19
xorl %eax, %eax
addq $0x638, %rsp            # imm = 0x638
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nopl (%rax)