// File: /workspace/github_c_makefile_star2_O3/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, 0x68(%rsp)
movq %rdx, %rbx
movq %rsi, %r14
movabsq $0xffffffffff, %r15     # imm = 0xFFFFFFFFFF
movq $0x0, 0x8(%rsp)
movw $0x0, 0x10(%rsp)
movq %rdi, 0x60(%rsp)
leaq 0xd98(%rdi), %r13
movq %r13, 0x18(%rsp)
movq (%rdx), %rax
movq %rax, %rcx
shrq $0x3e, %rcx
movq %rdx, (%rsp)
je 0x1903
movq %r14, 0x88(%rsp)
movabsq $0x4000000000000000, %rbp # imm = 0x4000000000000000
xorl %r14d, %r14d
movabsq $0x2000000000000000, %rcx # imm = 0x2000000000000000
testq %rcx, %rax
jne 0x1898
leaq 0x8(%rbx), %rsi
xorl %r12d, %r12d
jmp 0x18a8
movzbl 0x8(%rbx), %r12d
orq $-0x100, %r12
leaq 0x9(%rbx), %rsi
shrq $0x30, %rax
andl $0xfff, %eax            # imm = 0xFFF
cmpq $0x1, %r12
movl %eax, %ecx
adcw $-0x1, %cx
addl %eax, %r14d
movzwl %cx, %edx
subq %rdx, %r13
movq %r13, %rdi
callq 0x1170
movq (%rbx), %rax
andq %r15, %rax
movq %rbx, %rcx
subq %rax, %rcx
negq %rax
movq (%rbx,%rax), %rax
movq %rcx, %rbx
cmpq %rbp, %rax
jae 0x1880
movq %r12, 0x8(%rsp)
movw %r14w, 0x10(%rsp)
movq %r13, 0x18(%rsp)
movq (%rsp), %rbx
movq 0x88(%rsp), %r14
xorps %xmm0, %xmm0
movaps %xmm0, 0x90(%rsp)
movq $0x0, 0xa0(%rsp)
leaq 0x5cbd(%rip), %rdi      # 0x75de
callq 0x1080
movq 0x60(%rsp), %rax
subq 0x98(%rax), %rbx
leaq 0x5a3c(%rip), %rdi      # 0x7375
movq %rbx, %rsi
xorl %eax, %eax
callq 0x10f0
movq 0x10(%r14), %rax
movq %rax, 0x30(%rsp)
movups (%r14), %xmm0
movaps %xmm0, 0x20(%rsp)
leaq 0x5f31(%rip), %rdi      # 0x788d
leaq 0x5a19(%rip), %rsi      # 0x737c
xorl %eax, %eax
callq 0x10f0
movq 0x20(%rsp), %rbx
leaq 0x5(%rbx), %rax
cmpq $0x5, %rax
ja 0x19b6
leaq 0x56c0(%rip), %rcx      # 0x7040
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x5a19(%rip), %rsi      # 0x73a9
jmp 0x19bb
leaq 0x5a08(%rip), %rsi      # 0x73a1
jmp 0x19bb
leaq 0x5a0f(%rip), %rsi      # 0x73b1
jmp 0x19bb
leaq 0x59fa(%rip), %rsi      # 0x73a5
jmp 0x19bb
leaq 0x59e9(%rip), %rsi      # 0x739d
jmp 0x19bb
leaq 0x20(%rsp), %rsi
leaq 0x59ce(%rip), %rdi      # 0x7390
xorl %ebx, %ebx
xorl %eax, %eax
callq 0x10f0
cmpq 0x20(%rsp), %rbx
sbbq %rbx, %rbx
movzwl 0x28(%rsp), %r14d
addq %rbx, %r14
je 0x1a2c
movq 0x30(%rsp), %rbx
xorl %r12d, %r12d
xorl %ebp, %ebp
movzbl (%rbx,%rbp), %esi
leal -0x7f(%rsi), %eax
cmpb $-0x60, %al
ja 0x1a07
leaq 0x1(%r12), %r13
testb $0x1, %r12b
jne 0x1a13
leaq 0x59c0(%rip), %rdi      # 0x73c5
jmp 0x1a1a
movl %esi, %edi
callq 0x1040
movq %r12, %r13
jmp 0x1a21
leaq 0x599f(%rip), %rdi      # 0x73b9
xorl %eax, %eax
callq 0x10f0
incq %rbp
movq %r13, %r12
cmpq %rbp, %r14
jne 0x19e8
movl $0xa, %edi
callq 0x1040
movq 0x18(%rsp), %rax
movq %rax, 0x30(%rsp)
movups 0x8(%rsp), %xmm0
movaps %xmm0, 0x20(%rsp)
leaq 0x5e3c(%rip), %rdi      # 0x788d
leaq 0x5927(%rip), %rsi      # 0x737f
xorl %eax, %eax
callq 0x10f0
movq 0x20(%rsp), %rbx
leaq 0x5(%rbx), %rax
cmpq $0x5, %rax
ja 0x1aab
leaq 0x55e3(%rip), %rcx      # 0x7058
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x5924(%rip), %rsi      # 0x73a9
jmp 0x1ab0
leaq 0x5913(%rip), %rsi      # 0x73a1
jmp 0x1ab0
leaq 0x591a(%rip), %rsi      # 0x73b1
jmp 0x1ab0
leaq 0x5905(%rip), %rsi      # 0x73a5
jmp 0x1ab0
leaq 0x58f4(%rip), %rsi      # 0x739d
jmp 0x1ab0
leaq 0x20(%rsp), %rsi
leaq 0x58d9(%rip), %rdi      # 0x7390
xorl %ebx, %ebx
xorl %eax, %eax
callq 0x10f0
cmpq 0x20(%rsp), %rbx
sbbq %rbx, %rbx
movzwl 0x28(%rsp), %r14d
addq %rbx, %r14
je 0x1b21
movq 0x30(%rsp), %rbx
xorl %r12d, %r12d
xorl %ebp, %ebp
movzbl (%rbx,%rbp), %esi
leal -0x7f(%rsi), %eax
cmpb $-0x60, %al
ja 0x1afc
leaq 0x1(%r12), %r13
testb $0x1, %r12b
jne 0x1b08
leaq 0x58cb(%rip), %rdi      # 0x73c5
jmp 0x1b0f
movl %esi, %edi
callq 0x1040
movq %r12, %r13
jmp 0x1b16
leaq 0x58aa(%rip), %rdi      # 0x73b9
xorl %eax, %eax
callq 0x10f0
incq %rbp
movq %r13, %r12
cmpq %rbp, %r14
jne 0x1add
movl $0xa, %edi
callq 0x1040
movq (%rsp), %rbx
movq (%rbx), %r12
leaq 0x8(%rbx), %r14
movabsq $0x2000000000000000, %rax # imm = 0x2000000000000000
testq %rax, %r12
jne 0x1b4d
xorl %r13d, %r13d
movq %r14, %rbp
jmp 0x1b5d
movzbl 0x8(%rbx), %r13d
orq $-0x100, %r13
leaq 0x9(%rbx), %rbp
shrq $0x30, %r12
andl $0xfff, %r12d           # imm = 0xFFF
leaq 0x5a6f(%rip), %rdi      # 0x75de
callq 0x1080
movq (%rbx), %rax
movq %rax, %rdx
movq %rax, %rcx
movq %rax, %rdi
andq %rax, %r15
shrq $0x3e, %rax
leaq 0x5632(%rip), %r8       # 0x71c0
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
subq $0x8, %rsp
leaq 0x581b(%rip), %rdi      # 0x73d1
movl %r12d, %r8d
xorl %eax, %eax
pushq %r15
callq 0x10f0
addq $0x10, %rsp
movq %r13, 0x20(%rsp)
movw %r12w, 0x28(%rsp)
movq %rbp, 0x30(%rsp)
leaq 0x5(%r13), %rax
cmpq $0x5, %rax
ja 0x1c1d
leaq 0x5489(%rip), %rcx      # 0x7070
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x57b2(%rip), %rsi      # 0x73a9
jmp 0x1c22
leaq 0x57a1(%rip), %rsi      # 0x73a1
jmp 0x1c22
leaq 0x57a8(%rip), %rsi      # 0x73b1
jmp 0x1c22
leaq 0x5793(%rip), %rsi      # 0x73a5
jmp 0x1c22
leaq 0x5782(%rip), %rsi      # 0x739d
jmp 0x1c22
leaq 0x20(%rsp), %rsi
leaq 0x5767(%rip), %rdi      # 0x7390
xorl %r13d, %r13d
xorl %eax, %eax
callq 0x10f0
cmpq 0x20(%rsp), %r13
sbbq %r13, %r13
movq 0x30(%rsp), %rbp
movzwl 0x28(%rsp), %r12d
movzwl %r12w, %r15d
addq %r13, %r15
je 0x1c99
xorl %r12d, %r12d
xorl %ebx, %ebx
movzbl (%rbp,%rbx), %esi
leal -0x7f(%rsi), %eax
cmpb $-0x60, %al
ja 0x1c74
leaq 0x1(%r12), %r13
testb $0x1, %r12b
jne 0x1c80
leaq 0x5753(%rip), %rdi      # 0x73c5
jmp 0x1c87
movl %esi, %edi
callq 0x1040
movq %r12, %r13
jmp 0x1c8e
leaq 0x5732(%rip), %rdi      # 0x73b9
xorl %eax, %eax
callq 0x10f0
incq %rbx
movq %r13, %r12
cmpq %rbx, %r15
jne 0x1c54
movl $0xa, %edi
callq 0x1040
leaq 0x5934(%rip), %rdi      # 0x75de
callq 0x1080
movq (%rsp), %rax
movq (%rax), %rbx
movq %rbx, %rax
shrq $0x3e, %rax
leaq 0x53c4(%rip), %rcx      # 0x7088
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq (%rsp), %rax
movq 0x8(%rax), %rsi
movq 0x10(%rax), %rdx
movq 0x18(%rax), %rcx
movl 0x20(%rax), %r8d
movl 0x24(%rax), %r9d
movl 0x28(%rax), %r10d
movzwl 0x2c(%rax), %r11d
leaq 0x579f(%rip), %rdi      # 0x7494
xorl %eax, %eax
pushq %r11
pushq %r10
callq 0x10f0
addq $0x10, %rsp
jmp 0x1ebd
movq %rbx, %rax
shrq $0x28, %rax
movzbl %al, %eax
shrq $0x30, %rbx
andl $0xfff, %ebx            # imm = 0xFFF
addq %rbx, %r14
shll $0x4, %eax
leaq 0x53e6(%rip), %rcx      # 0x7110
movq (%rax,%rcx), %r15
movq 0x8(%rax,%rcx), %rbx
leaq 0x58b5(%rip), %rdi      # 0x75ef
callq 0x1080
incq %rbx
leaq 0x567c(%rip), %r12      # 0x73c5
leaq 0x57f4(%rip), %r13      # 0x7544
movq (%r14), %rbp
movl $0x20, %edi
callq 0x1040
movzbl %r15b, %esi
leal -0x7f(%r15), %eax
cmpb $-0x60, %al
ja 0x1d75
movq %r12, %rdi
xorl %eax, %eax
callq 0x10f0
jmp 0x1d7c
movl %esi, %edi
callq 0x1040
movq %r13, %rdi
movq %rbp, %rsi
xorl %eax, %eax
callq 0x10f0
incq %r15
addq $0x8, %r14
cmpq %r15, %rbx
jne 0x1d50
jmp 0x1ebd
movq %rbx, %r12
shrq $0x28, %r12
movl $0xff, %eax
andl %eax, %r12d
shrq $0x30, %rbx
andl $0xfff, %ebx            # imm = 0xFFF
addq %rbx, %r14
cmpl %eax, %r12d
jne 0x1dc2
movl (%r14), %r12d
addq $0x4, %r14
leaq 0x5781(%rip), %rdi      # 0x754a
movl %r12d, %esi
xorl %eax, %eax
callq 0x10f0
leaq 0x5780(%rip), %rdi      # 0x755a
xorl %eax, %eax
callq 0x10f0
testl %r12d, %r12d
je 0x1e29
movl $0x2710, %ebx           # imm = 0x2710
cmpl %ebx, %r12d
cmovbl %r12d, %ebx
leaq 0x576d(%rip), %r15      # 0x7566
xorl %r13d, %r13d
movq (%r14,%r13,8), %rsi
movq %r15, %rdi
xorl %eax, %eax
callq 0x10f0
incq %r13
cmpq %r13, %rbx
jne 0x1dfc
cmpl $0x2710, %r12d          # imm = 0x2710
jbe 0x1e29
leaq 0x5749(%rip), %rdi      # 0x756b
xorl %eax, %eax
callq 0x10f0
movl $0xa, %edi
callq 0x1040
jmp 0x1ebd
movq %rbx, %r15
shrq $0x28, %r15
leaq 0x579e(%rip), %rdi      # 0x75e4
callq 0x1080
testb %r15b, %r15b
je 0x1ebd
shrq $0x30, %rbx
andl $0xfff, %ebx            # imm = 0xFFF
addq %rbx, %r14
movzbl %r15b, %ebx
leaq (%r14,%rbx), %r12
negq %rbx
xorl %r13d, %r13d
movzbl (%r14,%r13), %r15d
movq (%r12,%r13,8), %rbp
movl $0x20, %edi
callq 0x1040
leal -0x7f(%r15), %eax
cmpb $-0x60, %al
ja 0x1e99
leaq 0x5538(%rip), %rdi      # 0x73c5
movl %r15d, %esi
xorl %eax, %eax
callq 0x10f0
jmp 0x1ea1
movl %r15d, %edi
callq 0x1040
leaq 0x569c(%rip), %rdi      # 0x7544
movq %rbp, %rsi
xorl %eax, %eax
callq 0x10f0
incq %r13
movq %rbx, %rax
addq %r13, %rax
jne 0x1e6b
leaq 0x571a(%rip), %rdi      # 0x75de
callq 0x1080
movq (%rsp), %rbx
movq (%rbx), %rax
shrq $0x3e, %rax
cmpl $0x3, %eax
jb 0x2009
cmpq $-0x5, 0x8(%rsp)
jne 0x2009
leaq 0x90(%rsp), %rdx
movq 0x60(%rsp), %rdi
movq %rbx, %rsi
callq 0x4070
testq %rax, %rax
je 0x2009
movq 0xa0(%rsp), %rax
movq %rax, 0x30(%rsp)
movaps 0x90(%rsp), %xmm0
movaps %xmm0, 0x20(%rsp)
leaq 0x5965(%rip), %rdi      # 0x788d
leaq 0x543e(%rip), %rsi      # 0x736d
xorl %eax, %eax
callq 0x10f0
movq 0x20(%rsp), %rbx
leaq 0x5(%rbx), %rax
cmpq $0x5, %rax
ja 0x1f82
leaq 0x514c(%rip), %rcx      # 0x7098
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
leaq 0x544d(%rip), %rsi      # 0x73a9
jmp 0x1f87
leaq 0x543c(%rip), %rsi      # 0x73a1
jmp 0x1f87
leaq 0x5443(%rip), %rsi      # 0x73b1
jmp 0x1f87
leaq 0x542e(%rip), %rsi      # 0x73a5
jmp 0x1f87
leaq 0x541d(%rip), %rsi      # 0x739d
jmp 0x1f87
leaq 0x20(%rsp), %rsi
leaq 0x5402(%rip), %rdi      # 0x7390
xorl %ebx, %ebx
xorl %eax, %eax
callq 0x10f0
cmpq 0x20(%rsp), %rbx
sbbq %rbx, %rbx
movzwl 0x28(%rsp), %r14d
addq %rbx, %r14
je 0x1ffb
movq 0x30(%rsp), %rbx
leaq 0x5403(%rip), %r12      # 0x73b9
xorl %ebp, %ebp
xorl %r13d, %r13d
movzbl (%rbx,%r13), %esi
leal -0x7f(%rsi), %eax
cmpb $-0x60, %al
ja 0x1fda
leaq 0x1(%rbp), %r15
testb $0x1, %bpl
jne 0x1fe6
leaq 0x53ed(%rip), %rdi      # 0x73c5
jmp 0x1fe9
movl %esi, %edi
callq 0x1040
movq %rbp, %r15
jmp 0x1ff0
movq %r12, %rdi
xorl %eax, %eax
callq 0x10f0
incq %r13
movq %r15, %rbp
cmpq %r13, %r14
jne 0x1fbb
movl $0xa, %edi
callq 0x1040
movq (%rsp), %rbx
movabsq $-0x4000000000000001, %r12 # imm = 0xBFFFFFFFFFFFFFFF
xorps %xmm0, %xmm0
leaq 0x20(%rsp), %r15
movups %xmm0, 0x28(%r15)
movups %xmm0, 0x18(%r15)
movups %xmm0, 0x8(%r15)
movq %rbx, (%r15)
movq %r15, %rdi
movl $0x1, %esi
movq %rbx, %rdx
callq 0x4500
leaq 0x8(%rsp), %r14
movq %r15, %rdi
movq %r14, %rsi
callq 0x4a2f
xorl %r13d, %r13d
movzwl 0x8(%r14), %ebp
leaq 0x532d(%rip), %r14      # 0x7389
movq $0x0, (%rsp)
movq 0x68(%rsp), %rbx
cmpq $0x0, (%rsp)
je 0x20f4
movq %r15, %rdi
movl $0x1, %esi
callq 0x49ad
movzwl 0x10(%rsp), %ecx
cmpq $-0x2, %rax
jb 0x20b3
subw $0x1, %cx
movw %cx, 0x10(%rsp)
jb 0x22e3
movq %r15, %rdi
movl $0x1, %esi
callq 0x45bb
cmpq $-0x4, %rax
jbe 0x2074
jmp 0x22e3
cmpw %bp, %cx
jbe 0x22e3
movq 0x50(%rsp), %rax
decl %ecx
je 0x20d9
cmpq $0x1, 0x8(%rsp)
movq 0x18(%rsp), %rdx
adcq $-0x1, %rdx
movb %al, (%rdx,%rcx)
jmp 0x20f4
cmpq $0x100, %rax            # imm = 0x100
movl $0x0, %ecx
cmovaeq %rax, %rcx
movq %rcx, 0x8(%rsp)
movq 0x18(%rsp), %rcx
movb %al, (%rcx)
incq (%rsp)
testq %rbx, %rbx
je 0x210b
movq 0x50(%rsp), %rax
cmpq (%rbx), %rax
je 0x21a2
movq 0x28(%rsp), %rax
cmpq %r12, (%rax)
jbe 0x2128
movzwl 0x38(%rsp), %eax
decq %rax
cmpq %rax, 0x48(%rsp)
je 0x21af
movq %r15, %rdi
movl $0x1, %esi
callq 0x4617
cmpq $-0x2, %rax
jae 0x2186
movzwl 0x10(%rsp), %ecx
leal 0x1(%rcx), %eax
movw %ax, 0x10(%rsp)
movq 0x50(%rsp), %rax
testq %rcx, %rcx
je 0x2166
cmpq $0x1, 0x8(%rsp)
movq 0x18(%rsp), %rdx
adcq $-0x1, %rdx
movb %al, (%rdx,%rcx)
jmp 0x20f8
cmpq $0x100, %rax            # imm = 0x100
movl $0x0, %ecx
cmovaeq %rax, %rcx
movq %rcx, 0x8(%rsp)
movq 0x18(%rsp), %rcx
movb %al, (%rcx)
jmp 0x20f8
movq %r15, %rdi
movl $0x1, %esi
callq 0x45bb
cmpq $-0x4, %rax
jbe 0x2069
jmp 0x22e3
movq 0x28(%rsp), %rax
movq %r14, %rsi
cmpq %r12, (%rax)
jbe 0x21c7
movzwl 0x38(%rsp), %eax
decq %rax
cmpq %rax, 0x48(%rsp)
leaq 0x51bf(%rip), %rsi      # 0x7382
cmovneq %r14, %rsi
movw %bp, 0x60(%rsp)
movq 0x18(%rsp), %rax
movq %rax, 0x80(%rsp)
movups 0x8(%rsp), %xmm0
movaps %xmm0, 0x70(%rsp)
leaq 0x56a3(%rip), %rdi      # 0x788d
xorl %eax, %eax
callq 0x10f0
movq 0x70(%rsp), %rax
leaq 0x5(%rax), %rcx
cmpq $0x5, %rcx
ja 0x223b
leaq 0x4ea9(%rip), %rdx      # 0x70b0
movslq (%rdx,%rcx,4), %rcx
addq %rdx, %rcx
leaq 0x5188(%rip), %rsi      # 0x739d
jmpq *%rcx
leaq 0x518b(%rip), %rsi      # 0x73a9
jmp 0x2240
leaq 0x517e(%rip), %rsi      # 0x73a5
jmp 0x2240
leaq 0x5181(%rip), %rsi      # 0x73b1
jmp 0x2240
leaq 0x5168(%rip), %rsi      # 0x73a1
jmp 0x2240
leaq 0x70(%rsp), %rsi
leaq 0x5149(%rip), %rdi      # 0x7390
xorl %eax, %eax
callq 0x10f0
cmpq 0x70(%rsp), %r13
movl $0x0, %eax
sbbq %rax, %rax
movzwl 0x78(%rsp), %r13d
addq %rax, %r13
je 0x22b6
movq 0x80(%rsp), %rbx
xorl %r14d, %r14d
xorl %ebp, %ebp
movzbl (%rbx,%rbp), %esi
leal -0x7f(%rsi), %eax
cmpb $-0x60, %al
ja 0x2291
leaq 0x1(%r14), %r12
testb $0x1, %r14b
jne 0x229d
leaq 0x5136(%rip), %rdi      # 0x73c5
jmp 0x22a4
movl %esi, %edi
callq 0x1040
movq %r14, %r12
jmp 0x22ab
leaq 0x5115(%rip), %rdi      # 0x73b9
xorl %eax, %eax
callq 0x10f0
incq %rbp
movq %r12, %r14
cmpq %rbp, %r13
jne 0x2273
movl $0xa, %edi
callq 0x1040
movq 0x68(%rsp), %rbx
movabsq $-0x4000000000000001, %r12 # imm = 0xBFFFFFFFFFFFFFFF
xorl %r13d, %r13d
movzwl 0x60(%rsp), %ebp
leaq 0x50ab(%rip), %r14      # 0x7389
jmp 0x2069
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq