// File: /workspace/github_c_makefile_star2_O0/mtnygard[P]complisp/lisp.c
// Function: print_value
void print_value(uword object) {
  if (Object_is_integer(object)) {
    fprintf(stderr, "%ld", Object_decode_integer(object));
    return;
  }
  if (object == Object_false()) {
    fprintf(stderr, "#f");
    return;
  }
  if (object == Object_true()) {
    fprintf(stderr, "#t");
    return;
  }
  if (object == Object_nil()) {
    fprintf(stderr, "nil");
    return;
  }
  if (Object_is_char(object)) {
    fprintf(stderr, "%c", Object_decode_char(object));
    return;
  }
  if (AST_is_heap_object((ASTNode *)object) && AST_is_pair((ASTNode *)object)) {
    fprintf(stderr, "(");
    print_value((uword)AST_pair_car((ASTNode *)object));
    fprintf(stderr, " ");
    print_value((uword)AST_pair_cdr((ASTNode *)object));
    fprintf(stderr, ")");
    return;
  }
  fprintf(stderr, "Unprintable value");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movq -0x8(%rbp), %rdi
callq 0x1340
testb $0x1, %al
jne 0x1160b
jmp 0x1163c
movq 0x99e6(%rip), %rax      # 0x1aff8
movq (%rax), %rax
movq %rax, -0x10(%rbp)
movq -0x8(%rbp), %rdi
callq 0x1320
movq -0x10(%rbp), %rdi
movq %rax, %rdx
leaq 0x404c(%rip), %rsi      # 0x1567c
movb $0x0, %al
callq 0x1100
jmp 0x117c0
movq -0x8(%rbp), %rax
movq %rax, -0x18(%rbp)
callq 0x1410
movq %rax, %rcx
movq -0x18(%rbp), %rax
cmpq %rcx, %rax
jne 0x11672
movq 0x999c(%rip), %rax      # 0x1aff8
movq (%rax), %rdi
leaq 0x401a(%rip), %rsi      # 0x15680
movb $0x0, %al
callq 0x1100
jmp 0x117c0
movq -0x8(%rbp), %rax
movq %rax, -0x20(%rbp)
callq 0x1400
movq %rax, %rcx
movq -0x20(%rbp), %rax
cmpq %rcx, %rax
jne 0x116a8
movq 0x9966(%rip), %rax      # 0x1aff8
movq (%rax), %rdi
leaq 0x3fe7(%rip), %rsi      # 0x15683
movb $0x0, %al
callq 0x1100
jmp 0x117c0
movq -0x8(%rbp), %rax
movq %rax, -0x28(%rbp)
callq 0x1420
movq %rax, %rcx
movq -0x28(%rbp), %rax
cmpq %rcx, %rax
jne 0x116de
movq 0x9930(%rip), %rax      # 0x1aff8
movq (%rax), %rdi
leaq 0x38e8(%rip), %rsi      # 0x14fba
movb $0x0, %al
callq 0x1100
jmp 0x117c0
movq -0x8(%rbp), %rdi
callq 0x13a0
testb $0x1, %al
jne 0x116ed
jmp 0x1171e
movq 0x9904(%rip), %rax      # 0x1aff8
movq (%rax), %rax
movq %rax, -0x30(%rbp)
movq -0x8(%rbp), %rdi
callq 0x1380
movq -0x30(%rbp), %rdi
movsbl %al, %edx
leaq 0x546d(%rip), %rsi      # 0x16b7f
movb $0x0, %al
callq 0x1100
jmp 0x117c0
movq -0x8(%rbp), %rdi
callq 0x17c0
testb $0x1, %al
jne 0x1172d
jmp 0x117a8
movq -0x8(%rbp), %rdi
callq 0x1870
testb $0x1, %al
jne 0x1173c
jmp 0x117a8
movq 0x98b5(%rip), %rax      # 0x1aff8
movq (%rax), %rdi
leaq 0x3f39(%rip), %rsi      # 0x15686
movb $0x0, %al
callq 0x1100
movq -0x8(%rbp), %rdi
callq 0x1890
movq %rax, %rdi
callq 0x115f0
movq 0x988c(%rip), %rax      # 0x1aff8
movq (%rax), %rdi
leaq 0x540e(%rip), %rsi      # 0x16b84
movb $0x0, %al
callq 0x1100
movq -0x8(%rbp), %rdi
callq 0x18b0
movq %rax, %rdi
callq 0x115f0
movq 0x9863(%rip), %rax      # 0x1aff8
movq (%rax), %rdi
leaq 0x44bc(%rip), %rsi      # 0x15c5b
movb $0x0, %al
callq 0x1100
jmp 0x117c0
movq 0x9849(%rip), %rax      # 0x1aff8
movq (%rax), %rdi
leaq 0x3ecf(%rip), %rsi      # 0x15688
movb $0x0, %al
callq 0x1100
addq $0x30, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)