// File: /workspace/github_c_makefile_star2_O1/janet-lang[P]janet/build/c/shell.c
// Function: resolve_format
static void resolve_format(JanetTable *entry) {
    int is_macro = janet_truthy(janet_table_get(entry, janet_ckeywordv("macro")));
    Janet refv = janet_table_get(entry, janet_ckeywordv("ref"));
    int is_ref = janet_checktype(refv, JANET_ARRAY);
    Janet value = janet_wrap_nil();
    if (is_ref) {
        JanetArray *a = janet_unwrap_array(refv);
        if (a->count) value = a->data[0];
    } else {
        value = janet_table_get(entry, janet_ckeywordv("value"));
    }
    if (is_macro) {
        fprintf(stderr, "    macro\n");
        gbl_lines_below++;
    } else if (is_ref) {
        janet_eprintf("    var (%t)\n", value);
        gbl_lines_below++;
    } else {
        janet_eprintf("    %t\n", value);
        gbl_lines_below++;
    }
    Janet sm = janet_table_get(entry, janet_ckeywordv("source-map"));
    Janet path = janet_get(sm, janet_wrap_integer(0));
    Janet line = janet_get(sm, janet_wrap_integer(1));
    Janet col = janet_get(sm, janet_wrap_integer(2));
    if (janet_checktype(path, JANET_STRING) && janet_truthy(line) && janet_truthy(col)) {
        janet_eprintf("    %S on line %v, column %v\n", janet_unwrap_string(path), line, col);
        gbl_lines_below++;
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rdi, %rbx
movabsq $-0x800000000000, %r12  # imm = 0xFFFF800000000000
movabsq $-0x5000000000000, %rbp # imm = 0xFFFB000000000000
leaq 0x51729(%rip), %rdi     # 0xab69e
callq 0x1b640
movq %rax, %rdi
movq %rbp, %rsi
callq 0x1b639
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20329
shrq $0x2f, %rax
cmpl $0x1fff1, %eax          # imm = 0x1FFF1
jne 0x59fa0
xorl %r15d, %r15d
jmp 0x5a000
leaq 0x516f7(%rip), %rdi     # 0xab69e
callq 0x1b640
movq %rax, %rdi
movq %rbp, %rsi
callq 0x1b639
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20329
andq %r12, %rax
movb $0x1, %r15b
movabsq $-0x7000000000000, %rcx # imm = 0xFFF9000000000000
cmpq %rcx, %rax
jne 0x5a000
leaq 0x516c0(%rip), %rdi     # 0xab69e
callq 0x1b640
movq %rax, %rdi
movq %rbp, %rsi
callq 0x1b639
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20329
movq %rax, %r15
andb $0x1, %r15b
leaq 0x5373d(%rip), %rdi     # 0xad744
callq 0x1b640
movq %rax, %rdi
movq %rbp, %rsi
callq 0x1b639
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20329
movq %rax, %r13
movq %rax, %r14
andq %r12, %r14
movabsq $-0x7800000000000, %rax # imm = 0xFFF8800000000000
leaq 0x1(%rax), %rdi
callq 0x18874
movq %rax, %r12
movabsq $-0x4800000000000, %rax # imm = 0xFFFB800000000000
cmpq %rax, %r14
jne 0x5a067
movq %r13, %rdi
callq 0x1f147
cmpl $0x0, 0x10(%rax)
je 0x5a08c
movq 0x18(%rax), %rax
movq (%rax), %r12
jmp 0x5a08c
leaq 0x4ff40(%rip), %rdi     # 0xa9fae
callq 0x1b640
movq %rax, %rdi
movq %rbp, %rsi
callq 0x1b639
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20329
movq %rax, %r12
movq 0x6df5d(%rip), %rbp     # 0xc7ff0
movq (%rbp), %r13
testb %r15b, %r15b
jne 0x5a20d
movq %fs:0x0, %rax
leaq -0x100c(%rax), %r15
movabsq $-0x4800000000000, %rax # imm = 0xFFFB800000000000
leaq 0x4f9eb(%rip), %rdi     # 0xa9aaf
cmpq %rax, %r14
jne 0x5a0d2
leaq 0x5435e(%rip), %rdx     # 0xae42e
jmp 0x5a0d9
leaq 0x54363(%rip), %rdx     # 0xae43c
movq %r13, %rsi
movq %r12, %rcx
xorl %eax, %eax
callq 0x2721c
movabsq $-0x7800000000000, %r12 # imm = 0xFFF8800000000000
movabsq $-0x5000000000000, %r14 # imm = 0xFFFB000000000000
incl (%r15)
leaq 0x53b26(%rip), %rdi     # 0xadc2a
callq 0x1b640
movq %rax, %rdi
movq %r14, %rsi
callq 0x1b639
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20329
movq %rax, %r15
xorps %xmm0, %xmm0
callq 0x1b633
movq %r15, %rdi
movq %rax, %rsi
callq 0x45f82
movq %rax, %r14
movsd 0xf28(%rip), %xmm0      # 0x5b068
callq 0x1b633
movq %r15, %rdi
movq %rax, %rsi
callq 0x45f82
movq %rax, %rbx
movsd 0x54255(%rip), %xmm0    # 0xae3b0
callq 0x1b633
movq %r15, %rdi
movq %rax, %rsi
callq 0x45f82
movq %rax, %r15
movq %r14, %rax
movabsq $-0x800000000000, %rdx  # imm = 0xFFFF800000000000
andq %rdx, %rax
movabsq $-0x6000000000000, %rcx # imm = 0xFFFA000000000000
cmpq %rcx, %rax
jne 0x5a1fe
movq %rbx, %rcx
andq %rdx, %rcx
cmpq %r12, %rcx
je 0x5a1fe
movabsq $-0x7000000000000, %rax # imm = 0xFFF9000000000000
cmpq %rax, %rcx
jne 0x5a1ac
testb $0x1, %bl
je 0x5a1fe
andq %r15, %rdx
cmpq %r12, %rdx
je 0x5a1fe
cmpq %rax, %rdx
jne 0x5a1bf
testb $0x1, %r15b
je 0x5a1fe
movq (%rbp), %r12
movq %r14, %rdi
callq 0x1f147
leaq 0x4f8dd(%rip), %rdi     # 0xa9aaf
leaq 0x5426b(%rip), %rdx     # 0xae444
movq %r12, %rsi
movq %rax, %rcx
movq %rbx, %r8
movq %r15, %r9
xorl %eax, %eax
callq 0x2721c
movq %fs:0x0, %rax
incl -0x100c(%rax)
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x5420f(%rip), %rdi     # 0xae423
movl $0xa, %esi
movl $0x1, %edx
movq %r13, %rcx
callq 0x16ac0
movq %fs:0x0, %rax
leaq -0x100c(%rax), %r15
jmp 0x5a0e6