// File: /workspace/github_c_makefile_star2_O0/mtnygard[P]complisp/lisp.c
// Function: read_with_bool_returns_bool
TEST read_with_bool_returns_bool(void) {
  ASSERT_EQ(Reader_read("#t"), AST_new_bool(true));
  ASSERT_EQ(Reader_read("#f"), AST_new_bool(false));
  ASSERT(AST_is_error(Reader_read("#")));
  ASSERT(AST_is_error(Reader_read("#x")));
  ASSERT(AST_is_error(Reader_read("##")));
  PASS();
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x20, %rsp
movl 0x131c6(%rip), %eax     # 0x1b144
addl $0x1, %eax
movl %eax, 0x131bd(%rip)     # 0x1b144
leaq 0xd6f5(%rip), %rdi      # 0x15683
callq 0x4e40
movq %rax, -0x10(%rbp)
movl $0x1, %edi
callq 0x1680
movq %rax, %rcx
movq -0x10(%rbp), %rax
cmpq %rcx, %rax
je 0x7ff5
jmp 0x7faf
leaq 0xc6ed(%rip), %rax      # 0x146a3
movq %rax, 0x13193(%rip)     # 0x1b150
movl $0x568, 0x13181(%rip)   # imm = 0x568
leaq 0xdf14(%rip), %rax      # 0x15ee2
movq %rax, 0x13183(%rip)     # 0x1b158
movzbl 0x13124(%rip), %eax     # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x7fe9
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x81df
jmp 0x7ff7
jmp 0x7ff9
movl 0x13145(%rip), %eax     # 0x1b144
addl $0x1, %eax
movl %eax, 0x1313c(%rip)     # 0x1b144
leaq 0xd671(%rip), %rdi      # 0x15680
callq 0x4e40
movq %rax, -0x18(%rbp)
xorl %edi, %edi
callq 0x1680
movq %rax, %rcx
movq -0x18(%rbp), %rax
cmpq %rcx, %rax
je 0x8073
jmp 0x802d
leaq 0xc66f(%rip), %rax      # 0x146a3
movq %rax, 0x13115(%rip)     # 0x1b150
movl $0x569, 0x13103(%rip)   # imm = 0x569
leaq 0xdebe(%rip), %rax      # 0x15f0a
movq %rax, 0x13105(%rip)     # 0x1b158
movzbl 0x130a6(%rip), %eax     # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x8067
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x81df
jmp 0x8075
jmp 0x8077
movl 0x130c7(%rip), %eax     # 0x1b144
addl $0x1, %eax
movl %eax, 0x130be(%rip)     # 0x1b144
leaq 0xdee9(%rip), %rdi      # 0x15f76
callq 0x4e40
movq %rax, %rdi
callq 0x1740
testb $0x1, %al
jne 0x80e6
jmp 0x80a0
leaq 0xc5fc(%rip), %rax      # 0x146a3
movq %rax, 0x130a2(%rip)     # 0x1b150
movl $0x56a, 0x13090(%rip)   # imm = 0x56A
leaq 0xde74(%rip), %rax      # 0x15f33
movq %rax, 0x13092(%rip)     # 0x1b158
movzbl 0x13033(%rip), %eax     # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x80da
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x81df
jmp 0x80e8
jmp 0x80ea
movl 0x13054(%rip), %eax     # 0x1b144
addl $0x1, %eax
movl %eax, 0x1304b(%rip)     # 0x1b144
leaq 0xde52(%rip), %rdi      # 0x15f52
callq 0x4e40
movq %rax, %rdi
callq 0x1740
testb $0x1, %al
jne 0x8159
jmp 0x8113
leaq 0xc589(%rip), %rax      # 0x146a3
movq %rax, 0x1302f(%rip)     # 0x1b150
movl $0x56b, 0x1301d(%rip)   # imm = 0x56B
leaq 0xde23(%rip), %rax      # 0x15f55
movq %rax, 0x1301f(%rip)     # 0x1b158
movzbl 0x12fc0(%rip), %eax     # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x814d
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x81df
jmp 0x815b
jmp 0x815d
movl 0x12fe1(%rip), %eax     # 0x1b144
addl $0x1, %eax
movl %eax, 0x12fd8(%rip)     # 0x1b144
leaq 0xde02(%rip), %rdi      # 0x15f75
callq 0x4e40
movq %rax, %rdi
callq 0x1740
testb $0x1, %al
jne 0x81c9
jmp 0x8186
leaq 0xc516(%rip), %rax      # 0x146a3
movq %rax, 0x12fbc(%rip)     # 0x1b150
movl $0x56c, 0x12faa(%rip)   # imm = 0x56C
leaq 0xddd3(%rip), %rax      # 0x15f78
movq %rax, 0x12fac(%rip)     # 0x1b158
movzbl 0x12f4d(%rip), %eax     # 0x1b100
andl $0x4, %eax
cmpl $0x0, %eax
je 0x81c0
callq 0x1040
movl $0xffffffff, -0x4(%rbp) # imm = 0xFFFFFFFF
jmp 0x81df
jmp 0x81cb
jmp 0x81cd
movq $0x0, 0x12f80(%rip) # 0x1b158
movl $0x0, -0x4(%rbp)
movl -0x4(%rbp), %eax
addq $0x20, %rsp
popq %rbp
retq
nopl (%rax,%rax)