// File: /workspace/github_c_makefile_star2_O0/eiselekd[P]MinimalLisp/./f1.c
// Function: dbgfdef
void
dbgfdef(fctx *cctx, v *n, v *l)  {
    v *c, *d; int f = 0, i;
    FPRINTF(FDBG,"fdef: %-10s: ",n ? str(n) : "<null>");
    if (l->tag != CONS || !CONS_WORD(l)) {
        FPRINTF(FDBG,"!n!"); /*PRINT(LCTX, FDBG, l); */
    } else {
        /*if (FOP_IMMEDIATE(l))
          FPRINTF(FDBG,"!i!");*/
    }
    FPRINTF(FDBG,"( ");
    PRINT((ctx*)cctx, FDBG, car(l)); FPRINTF(FDBG," ");
    for (c = cdr(l); c && ConsP(c); c = cdr(c)) {
        if (fwordp(car(c))) {
            if (caar(c) == car(g_DOCOL)) {
                FPRINTF(FDBG,"([42m%s",foptoa(cctx,car(c)));FPRINTF(FDBG,"[49m)");
            } else {
                FPRINTF(FDBG,"([42m"); PRINT((ctx*)cctx, FDBG, caar(c)); FPRINTF(FDBG,"[49m)");
            }
        } else {
            for (i = 0,f = 0, d = l; d && ConsP(d); d = cdr(d), i++) {
                if (car(c) == d) {
                    f = 1;
                    FPRINTF(FDBG,"@[%d]",i); 
                    break;
                }
            }
            if (!f) {
                PRINT((ctx*)cctx, FDBG, car(c)); FPRINTF(FDBG," ");
            }
        }
        FPRINTF(FDBG," ");
    }
    FPRINTF(FDBG,")");
    FPRINTF(FDBG,"\n");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x50, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movl $0x0, -0x2c(%rbp)
movq -0x18(%rbp), %rax
movl (%rax), %eax
andl $0xf, %eax
cmpl $0x0, %eax
jne 0x661a
movq -0x18(%rbp), %rax
movl (%rax), %eax
shrl $0x4, %eax
andl $0x10, %eax
cmpl $0x0, %eax
jne 0x661c
jmp 0x661e
jmp 0x661e
movq -0x18(%rbp), %rdi
callq 0x1520
movq %rax, -0x20(%rbp)
xorl %eax, %eax
cmpq $0x0, -0x20(%rbp)
movb %al, -0x31(%rbp)
je 0x665b
xorl %eax, %eax
cmpq $0x0, -0x20(%rbp)
movb %al, -0x32(%rbp)
je 0x6655
movq -0x20(%rbp), %rax
movl (%rax), %eax
andl $0xf, %eax
cmpl $0x0, %eax
sete %al
movb %al, -0x32(%rbp)
movb -0x32(%rbp), %al
movb %al, -0x31(%rbp)
movb -0x31(%rbp), %al
testb $0x1, %al
jne 0x6667
jmp 0x6784
movq -0x20(%rbp), %rdi
callq 0x14f0
cmpq $0x0, %rax
je 0x66a7
movq -0x20(%rbp), %rdi
callq 0x14f0
movl (%rax), %eax
shrl $0x4, %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x66a7
movq -0x20(%rbp), %rdi
callq 0x14f0
movl (%rax), %eax
andl $0xf, %eax
cmpl $0x0, %eax
jne 0x66a7
movb $0x1, %al
testb $0x1, %al
jne 0x66af
jmp 0x66e5
xorl %eax, %eax
testb $0x1, %al
jne 0x66af
jmp 0x66e5
movq -0x20(%rbp), %rdi
callq 0x14f0
movq %rax, %rdi
callq 0x14f0
movq %rax, -0x40(%rbp)
movq 0xdbcd(%rip), %rdi      # 0x14298
callq 0x14f0
movq %rax, %rcx
movq -0x40(%rbp), %rax
cmpq %rcx, %rax
jne 0x66de
jmp 0x66e0
jmp 0x66e0
jmp 0x6770
movl $0x0, -0x30(%rbp)
movl $0x0, -0x2c(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x28(%rbp)
xorl %eax, %eax
cmpq $0x0, -0x28(%rbp)
movb %al, -0x41(%rbp)
je 0x672b
xorl %eax, %eax
cmpq $0x0, -0x28(%rbp)
movb %al, -0x42(%rbp)
je 0x6725
movq -0x28(%rbp), %rax
movl (%rax), %eax
andl $0xf, %eax
cmpl $0x0, %eax
sete %al
movb %al, -0x42(%rbp)
movb -0x42(%rbp), %al
movb %al, -0x41(%rbp)
movb -0x41(%rbp), %al
testb $0x1, %al
jne 0x6734
jmp 0x6766
movq -0x20(%rbp), %rdi
callq 0x14f0
cmpq -0x28(%rbp), %rax
jne 0x674c
movl $0x1, -0x2c(%rbp)
jmp 0x6766
jmp 0x674e
movq -0x28(%rbp), %rdi
callq 0x1520
movq %rax, -0x28(%rbp)
movl -0x30(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x30(%rbp)
jmp 0x66fb
cmpl $0x0, -0x2c(%rbp)
jne 0x676e
jmp 0x676e
jmp 0x6770
jmp 0x6772
movq -0x20(%rbp), %rdi
callq 0x1520
movq %rax, -0x20(%rbp)
jmp 0x662b
addq $0x50, %rsp
popq %rbp
retq
nopw (%rax,%rax)