// File: /workspace/github_c_makefile_star2_O2/jflatow[P]jfdb/src/jfdb.c
// Function: print_info
static void print_info(JFDB *db, JFT_Stem *prefix, JFT *node, JFT_Symbol *stop) {
  JFT_Stem key = JFT_key(node, db->keyData), val = (JFT_Stem) {};
  printf("-----\n");
  printf("@ %ld\n", node - db->kmap.map);
  print_stem("> ", *prefix);
  print_stem("< ", key);
  print_node(node);
  if (JFT_node_type(node) == Leaf)
    if (key.pre == JFT_SYMBOL_PRIMARY)
      if (JFDB_get_value(db, node, &val))
        print_stem("= ", val);
  JFT_Cursor cursor = JFT_cursor(node);
  for (JFT_Keys keys = JFT_keys(&cursor, &key, Forward); JFT_keys_next_until(&keys, stop); )
    print_stem(JFT_cursor_at_terminal(&cursor) ? "[val] " : "[sub] ", *keys.stem);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movq %rcx, 0x50(%rsp)
movq %rdx, %r14
movq %rsi, 0x48(%rsp)
movabsq $0x2000000000000000, %rbx # imm = 0x2000000000000000
movabsq $0xffffffffff, %r15     # imm = 0xFFFFFFFFFF
movq %rdi, 0x40(%rsp)
leaq 0xd98(%rdi), %r13
xorl %ebp, %ebp
xorl %r12d, %r12d
movq %rdx, 0x38(%rsp)
movq (%r14), %rax
movq %rax, %rcx
shrq $0x3e, %rcx
je 0x1951
testq %rbx, %rax
jne 0x1913
leaq 0x8(%r14), %rsi
xorl %r12d, %r12d
jmp 0x1923
movzbl 0x8(%r14), %r12d
orq $-0x100, %r12
leaq 0x9(%r14), %rsi
shrq $0x30, %rax
andl $0xfff, %eax            # imm = 0xFFF
cmpq $0x1, %r12
movl %eax, %ecx
adcw $-0x1, %cx
addl %eax, %ebp
movzwl %cx, %edx
subq %rdx, %r13
movq %r13, %rdi
callq 0x1170
movq (%r14), %rax
andq %r15, %rax
subq %rax, %r14
jmp 0x18f9
movq %r12, 0x20(%rsp)
movw %bp, 0x28(%rsp)
movq %r13, 0x30(%rsp)
xorps %xmm0, %xmm0
movaps %xmm0, 0x90(%rsp)
andq $0x0, 0xa0(%rsp)
leaq 0x4bf3(%rip), %rdi      # 0x656e
callq 0x1080
movq 0x38(%rsp), %r13
movq %r13, %rsi
movq 0x40(%rsp), %rax
subq 0x98(%rax), %rsi
leaq 0x496a(%rip), %rdi      # 0x6305
xorl %r14d, %r14d
xorl %eax, %eax
callq 0x10f0
movq 0x48(%rsp), %rcx
movq 0x10(%rcx), %rax
movq %rax, 0x10(%rsp)
movups (%rcx), %xmm0
movups %xmm0, (%rsp)
leaq 0x494b(%rip), %rdi      # 0x630c
callq 0x1fe2
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x492f(%rip), %rdi      # 0x630f
callq 0x1fe2
movq (%r13), %r12
leaq 0x8(%r13), %rbp
testq %rbx, %r12
jne 0x19f7
movq %rbp, %rax
jmp 0x1a07
movzbl 0x8(%r13), %r14d
orq $-0x100, %r14
leaq 0x9(%r13), %rax
movq %r13, %rbx
shrq $0x30, %r12
andl $0xfff, %r12d           # imm = 0xFFF
movq %r14, 0x58(%rsp)
movw %r12w, 0x60(%rsp)
movq %rax, 0x68(%rsp)
leaq 0x4b42(%rip), %r13      # 0x656e
movq %r13, %rdi
callq 0x1080
movq (%rbx), %rax
movq %rax, %rdx
movq %rax, %rcx
movq %rax, %rdi
andq %rax, %r15
shrq $0x3e, %rax
leaq 0x4702(%rip), %r8       # 0x6150
movslq (%r8,%rax,4), %rsi
addq %r8, %rsi
shrq $0x3d, %rdx
andl $0x1, %edx
shrq $0x3c, %rcx
andl $0x1, %ecx
shrq $0x28, %rdi
movzbl %dil, %r9d
movq %r15, (%rsp)
leaq 0x48eb(%rip), %rdi      # 0x6361
movl %r12d, %r8d
xorl %eax, %eax
callq 0x10f0
movq 0x68(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x58(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x4ac6(%rip), %rdi      # 0x6560
callq 0x1fe2
movq %r13, %rdi
callq 0x1080
movq (%rbx), %rax
movq %rax, %rcx
shrq $0x3e, %rcx
leaq 0x4588(%rip), %rdx      # 0x6040
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
movq %rbx, %r12
jmpq *%rcx
movq 0x8(%r12), %rsi
movq 0x10(%r12), %rdx
movq 0x18(%r12), %rcx
movl 0x20(%r12), %r8d
movl 0x24(%r12), %r9d
movl 0x28(%r12), %eax
movzwl 0x2c(%r12), %edi
movl %edi, 0x8(%rsp)
movl %eax, (%rsp)
leaq 0x492e(%rip), %rdi      # 0x6424
xorl %eax, %eax
callq 0x10f0
jmp 0x1bd6
movq %rax, %rcx
shrq $0x28, %rcx
movzbl %cl, %ecx
shrq $0x30, %rax
andl $0xfff, %eax            # imm = 0xFFF
addq %rax, %rbp
shll $0x4, %ecx
leaq 0x457e(%rip), %rax      # 0x60a0
movq (%rcx,%rax), %rbx
movq 0x8(%rcx,%rax), %r14
leaq 0x4a4d(%rip), %rdi      # 0x657f
callq 0x1080
subq %rbx, %r14
xorl %r15d, %r15d
cmpq %r15, %r14
jb 0x1bd6
leal (%rbx,%r15), %eax
movq (%rbp,%r15,8), %rsi
movzbl %al, %edi
callq 0x20ee
incq %r15
jmp 0x1b3d
movq %r12, %rdi
callq 0x2128
movl %eax, %ebp
movq %rdx, %r12
leaq 0x496a(%rip), %rdi      # 0x64da
movl %eax, %esi
xorl %eax, %eax
callq 0x10f0
leaq 0x496a(%rip), %rdi      # 0x64ea
xorl %eax, %eax
callq 0x10f0
movl $0x2710, %ebx           # imm = 0x2710
cmpl %ebx, %ebp
cmovbl %ebp, %ebx
leaq 0x495e(%rip), %r13      # 0x64f6
xorl %r14d, %r14d
cmpq %r14, %rbx
je 0x1bb3
movq (%r12,%r14,8), %rsi
movq %r13, %rdi
xorl %eax, %eax
callq 0x10f0
incq %r14
jmp 0x1b9b
cmpl $0x2710, %ebp           # imm = 0x2710
jbe 0x1bc9
leaq 0x4939(%rip), %rdi      # 0x64fb
xorl %eax, %eax
callq 0x10f0
pushq $0xa
popq %rdi
callq 0x1040
movq 0x38(%rsp), %r12
leaq 0x4991(%rip), %rdi      # 0x656e
callq 0x1080
movq (%r12), %rax
shrq $0x3e, %rax
cmpl $0x3, %eax
jb 0x1c36
cmpq $-0x5, 0x20(%rsp)
jne 0x1c36
leaq 0x90(%rsp), %rdx
movq 0x40(%rsp), %rdi
movq %r12, %rsi
callq 0x3647
testq %rax, %rax
je 0x1c36
movq 0xa0(%rsp), %rax
movq %rax, 0x10(%rsp)
movaps 0x90(%rsp), %xmm0
movups %xmm0, (%rsp)
leaq 0x46cc(%rip), %rdi      # 0x62fd
callq 0x1fe2
xorps %xmm0, %xmm0
leaq 0x58(%rsp), %r15
movups %xmm0, 0x28(%r15)
movups %xmm0, 0x18(%r15)
movups %xmm0, 0x8(%r15)
movq %r12, (%r15)
pushq $0x1
popq %rbp
movq %r15, %rdi
movl %ebp, %esi
movq %r12, %rdx
callq 0x3a54
leaq 0x20(%rsp), %r14
movq %r15, %rdi
movq %r14, %rsi
callq 0x3c6e
xorl %r13d, %r13d
movzwl 0x8(%r14), %r12d
movq 0x50(%rsp), %rbx
movq %r13, %rax
incq %r13
testq %rax, %rax
je 0x1cd2
movq %r15, %rdi
movl %ebp, %esi
callq 0x3bff
movzwl 0x28(%rsp), %esi
cmpq $-0x2, %rax
jb 0x1cc1
subw $0x1, %si
movw %si, 0x28(%rsp)
jb 0x1dae
movq %r15, %rdi
movl %ebp, %esi
callq 0x3b0b
cmpq $-0x4, %rax
jbe 0x1c88
jmp 0x1dae
cmpw %r12w, %si
jbe 0x1dae
decl %esi
jmp 0x1d99
testq %rbx, %rbx
je 0x1d01
movq 0x88(%rsp), %rax
cmpq (%rbx), %rax
jne 0x1d01
movq 0x60(%rsp), %rax
leaq 0x4629(%rip), %rdi      # 0x6319
movabsq $-0x4000000000000001, %rcx # imm = 0xBFFFFFFFFFFFFFFF
cmpq %rcx, (%rax)
ja 0x1d27
jmp 0x1d49
movq 0x60(%rsp), %rax
movabsq $-0x4000000000000001, %rcx # imm = 0xBFFFFFFFFFFFFFFF
cmpq %rcx, (%rax)
jbe 0x1d66
movzwl 0x70(%rsp), %eax
decq %rax
cmpq %rax, 0x80(%rsp)
jne 0x1d66
movzwl 0x70(%rsp), %eax
decq %rax
cmpq %rax, 0x80(%rsp)
leaq 0x45d4(%rip), %rdi      # 0x6312
leaq 0x45d4(%rip), %rax      # 0x6319
cmovneq %rax, %rdi
movq 0x30(%rsp), %rax
movq %rax, 0x10(%rsp)
movups 0x20(%rsp), %xmm0
movups %xmm0, (%rsp)
callq 0x1fe2
jmp 0x1c7d
movq %r15, %rdi
movl %ebp, %esi
callq 0x3b55
cmpq $-0x2, %rax
jb 0x1d8c
movq %r15, %rdi
movl %ebp, %esi
callq 0x3b0b
cmpq $-0x4, %rax
jbe 0x1c7d
jmp 0x1dae
movzwl 0x28(%rsp), %esi
leal 0x1(%rsi), %eax
movw %ax, 0x28(%rsp)
movq 0x88(%rsp), %rdx
movq %r14, %rdi
callq 0x2156
jmp 0x1cd2
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rcx
shrq $0x28, %rcx
movzbl %cl, %ebx
shrq $0x30, %rax
andl $0xfff, %eax            # imm = 0xFFF
addq %rax, %rbp
leaq (%rbx,%rbp), %r14
leaq 0x4793(%rip), %rdi      # 0x6574
callq 0x1080
xorl %r15d, %r15d
cmpq %r15, %rbx
je 0x1bd6
movzbl (%rbp,%r15), %edi
movq (%r14,%r15,8), %rsi
callq 0x20ee
incq %r15
jmp 0x1de9