// File: /workspace/github_c_makefile_star2_O0/blakemcbride[P]LISP9/ls9.c
// Function: prex
void prex(int sl, cell x, int d) {
	if (d > PRDEPTH) {
		prints("\n");
		error("prin: nesting too deep", UNDEF);
	}
	if (Intr) {
		Intr = 0;
		error("interrupted", UNDEF);
	}
	if (NIL == x) prints("nil");
	else if (TRUE == x) prints("t");
	else if (EOFMARK == x) prints("#<eof>");
	else if (UNDEF == x) prints("#<undef>");
	else if (charp(x)) prchar(sl, x);
	else if (fixp(x)) prfix(x);
	else if (symbolp(x)) printb(symname(x));
	else if (stringp(x)) prstr(sl, x);
	else if (vectorp(x)) prvec(sl, x, d);
	else if (closurep(x)) prints("#<function>");
	else if (ctagp(x)) prints("#<catch tag>");
	else if (inportp(x)) prport(0, x);
	else if (outportp(x)) prport(1, x);
	else if (specialp(x)) pruspec(x);
	else if (atomp(x)) pruatom(x);
	else if (quoted(x, S_quote)) prquote(sl, x, d);
	else if (quoted(x, S_qquote)) prquote(sl, x, d);
	else if (quoted(x, S_unquote)) prquote(sl, x, d);
	else if (quoted(x, S_splice)) prquote(sl, x, d);
	else prlist(sl, x, d);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x10, %rsp
movl %edi, -0x4(%rbp)
movl %esi, -0x8(%rbp)
movl %edx, -0xc(%rbp)
cmpl $0x400, -0xc(%rbp)      # imm = 0x400
jle 0x7087
leaq 0x1520f(%rip), %rdi     # 0x1c280
callq 0x25a0
leaq 0x14646(%rip), %rdi     # 0x1b6c3
movl $0xfffffffc, %esi       # imm = 0xFFFFFFFC
callq 0x26c0
movl 0x195a3(%rip), %eax     # 0x20630
cmpl $0x0, %eax
je 0x70ad
movl $0x0, 0x19594(%rip)     # 0x20630
leaq 0x14637(%rip), %rdi     # 0x1b6da
movl $0xfffffffc, %esi       # imm = 0xFFFFFFFC
callq 0x26c0
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpl -0x8(%rbp), %eax
jne 0x70c8
leaq 0x144e5(%rip), %rdi     # 0x1b5a3
callq 0x25a0
jmp 0x759b
movl $0xfffffffe, %eax       # imm = 0xFFFFFFFE
cmpl -0x8(%rbp), %eax
jne 0x70e3
leaq 0x14f23(%rip), %rdi     # 0x1bffc
callq 0x25a0
jmp 0x7599
movl $0xfffffffd, %eax       # imm = 0xFFFFFFFD
cmpl -0x8(%rbp), %eax
jne 0x70fe
leaq 0x145f2(%rip), %rdi     # 0x1b6e6
callq 0x25a0
jmp 0x7597
movl $0xfffffffc, %eax       # imm = 0xFFFFFFFC
cmpl -0x8(%rbp), %eax
jne 0x7119
leaq 0x145de(%rip), %rdi     # 0x1b6ed
callq 0x25a0
jmp 0x7595
cmpl $0x0, -0x8(%rbp)
jl 0x715b
movq 0x1922a(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x715b
movq 0x19203(%rip), %rcx     # 0x20340
movslq -0x8(%rbp), %rdx
movl $0xfffffff4, %eax       # imm = 0xFFFFFFF4
cmpl (%rcx,%rdx,4), %eax
jne 0x715b
movl -0x4(%rbp), %edi
movl -0x8(%rbp), %esi
callq 0x6a80
jmp 0x7593
cmpl $0x0, -0x8(%rbp)
jl 0x719a
movq 0x191e8(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x719a
movq 0x191c1(%rip), %rcx     # 0x20340
movslq -0x8(%rbp), %rdx
movl $0xfffffff2, %eax       # imm = 0xFFFFFFF2
cmpl (%rcx,%rdx,4), %eax
jne 0x719a
movl -0x8(%rbp), %edi
callq 0x6c00
jmp 0x7591
cmpl $0x0, -0x8(%rbp)
jl 0x71f3
movq 0x191a9(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
je 0x71f3
movq 0x19182(%rip), %rcx     # 0x20340
movslq -0x8(%rbp), %rdx
movl $0xffffffee, %eax       # imm = 0xFFFFFFEE
cmpl (%rcx,%rdx,4), %eax
jne 0x71f3
movq 0x19185(%rip), %rdi     # 0x20358
movq 0x1916e(%rip), %rax     # 0x20348
movslq -0x8(%rbp), %rcx
movslq (%rax,%rcx,4), %rax
shlq $0x2, %rax
addq %rax, %rdi
callq 0x25a0
jmp 0x758f
cmpl $0x0, -0x8(%rbp)
jl 0x7235
movq 0x19150(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
je 0x7235
movq 0x19129(%rip), %rcx     # 0x20340
movslq -0x8(%rbp), %rdx
movl $0xffffffef, %eax       # imm = 0xFFFFFFEF
cmpl (%rcx,%rdx,4), %eax
jne 0x7235
movl -0x4(%rbp), %edi
movl -0x8(%rbp), %esi
callq 0x6c40
jmp 0x758d
cmpl $0x0, -0x8(%rbp)
jl 0x727a
movq 0x1910e(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
je 0x727a
movq 0x190e7(%rip), %rcx     # 0x20340
movslq -0x8(%rbp), %rdx
movl $0xffffffed, %eax       # imm = 0xFFFFFFED
cmpl (%rcx,%rdx,4), %eax
jne 0x727a
movl -0x4(%rbp), %edi
movl -0x8(%rbp), %esi
movl -0xc(%rbp), %edx
callq 0x75b0
jmp 0x758b
cmpl $0x0, -0x8(%rbp)
jl 0x72bd
movq 0x190c9(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x72bd
movq 0x190a2(%rip), %rcx     # 0x20340
movslq -0x8(%rbp), %rdx
movl $0xfffffff3, %eax       # imm = 0xFFFFFFF3
cmpl (%rcx,%rdx,4), %eax
jne 0x72bd
leaq 0x14443(%rip), %rdi     # 0x1b6f6
callq 0x25a0
jmp 0x7589
cmpl $0x0, -0x8(%rbp)
jl 0x7300
movq 0x19086(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x7300
movq 0x1905f(%rip), %rcx     # 0x20340
movslq -0x8(%rbp), %rdx
movl $0xfffffff5, %eax       # imm = 0xFFFFFFF5
cmpl (%rcx,%rdx,4), %eax
jne 0x7300
leaq 0x1440c(%rip), %rdi     # 0x1b702
callq 0x25a0
jmp 0x7587
cmpl $0x0, -0x8(%rbp)
jl 0x7358
movq 0x19043(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x7358
movq 0x1902c(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x7358
movq 0x19005(%rip), %rcx     # 0x20340
movslq -0x8(%rbp), %rdx
movl $0xfffffff1, %eax       # imm = 0xFFFFFFF1
cmpl (%rcx,%rdx,4), %eax
jne 0x7358
movl -0x8(%rbp), %esi
xorl %edi, %edi
callq 0x76b0
jmp 0x7585
cmpl $0x0, -0x8(%rbp)
jl 0x73b3
movq 0x18feb(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x73b3
movq 0x18fd4(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x73b3
movq 0x18fad(%rip), %rcx     # 0x20340
movslq -0x8(%rbp), %rdx
movl $0xfffffff0, %eax       # imm = 0xFFFFFFF0
cmpl (%rcx,%rdx,4), %eax
jne 0x73b3
movl -0x8(%rbp), %esi
movl $0x1, %edi
callq 0x76b0
jmp 0x7583
cmpl $0x0, -0x8(%rbp)
jge 0x73c6
movl -0x8(%rbp), %edi
callq 0x7730
jmp 0x7581
cmpl $0x0, -0x8(%rbp)
jl 0x73fa
movq 0x18f7d(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x73fa
movq 0x18f66(%rip), %rax     # 0x20350
movslq -0x8(%rbp), %rcx
movzbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
je 0x7407
movl -0x8(%rbp), %edi
callq 0x7770
jmp 0x757f
movq 0x18f32(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x1921d(%rip), %eax     # 0x20638
jne 0x7461
movq 0x18f24(%rip), %rax     # 0x20348
movslq -0x8(%rbp), %rcx
cmpl $-0x1, (%rax,%rcx,4)
je 0x7461
movq 0x18f13(%rip), %rcx     # 0x20348
movq 0x18f0c(%rip), %rax     # 0x20348
movslq -0x8(%rbp), %rdx
movslq (%rax,%rdx,4), %rdx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpl (%rcx,%rdx,4), %eax
jne 0x7461
movl -0x4(%rbp), %edi
movl -0x8(%rbp), %esi
movl -0xc(%rbp), %edx
callq 0x77c0
jmp 0x757d
movq 0x18ed8(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x191c7(%rip), %eax     # 0x2063c
jne 0x74bb
movq 0x18eca(%rip), %rax     # 0x20348
movslq -0x8(%rbp), %rcx
cmpl $-0x1, (%rax,%rcx,4)
je 0x74bb
movq 0x18eb9(%rip), %rcx     # 0x20348
movq 0x18eb2(%rip), %rax     # 0x20348
movslq -0x8(%rbp), %rdx
movslq (%rax,%rdx,4), %rdx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpl (%rcx,%rdx,4), %eax
jne 0x74bb
movl -0x4(%rbp), %edi
movl -0x8(%rbp), %esi
movl -0xc(%rbp), %edx
callq 0x77c0
jmp 0x757b
movq 0x18e7e(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x19175(%rip), %eax     # 0x20644
jne 0x7512
movq 0x18e70(%rip), %rax     # 0x20348
movslq -0x8(%rbp), %rcx
cmpl $-0x1, (%rax,%rcx,4)
je 0x7512
movq 0x18e5f(%rip), %rcx     # 0x20348
movq 0x18e58(%rip), %rax     # 0x20348
movslq -0x8(%rbp), %rdx
movslq (%rax,%rdx,4), %rdx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpl (%rcx,%rdx,4), %eax
jne 0x7512
movl -0x4(%rbp), %edi
movl -0x8(%rbp), %esi
movl -0xc(%rbp), %edx
callq 0x77c0
jmp 0x7579
movq 0x18e27(%rip), %rax     # 0x20340
movslq -0x8(%rbp), %rcx
movl (%rax,%rcx,4), %eax
cmpl 0x1911a(%rip), %eax     # 0x20640
jne 0x7569
movq 0x18e19(%rip), %rax     # 0x20348
movslq -0x8(%rbp), %rcx
cmpl $-0x1, (%rax,%rcx,4)
je 0x7569
movq 0x18e08(%rip), %rcx     # 0x20348
movq 0x18e01(%rip), %rax     # 0x20348
movslq -0x8(%rbp), %rdx
movslq (%rax,%rdx,4), %rdx
movl $0xffffffff, %eax       # imm = 0xFFFFFFFF
cmpl (%rcx,%rdx,4), %eax
jne 0x7569
movl -0x4(%rbp), %edi
movl -0x8(%rbp), %esi
movl -0xc(%rbp), %edx
callq 0x77c0
jmp 0x7577
movl -0x4(%rbp), %edi
movl -0x8(%rbp), %esi
movl -0xc(%rbp), %edx
callq 0x6f60
jmp 0x7579
jmp 0x757b
jmp 0x757d
jmp 0x757f
jmp 0x7581
jmp 0x7583
jmp 0x7585
jmp 0x7587
jmp 0x7589
jmp 0x758b
jmp 0x758d
jmp 0x758f
jmp 0x7591
jmp 0x7593
jmp 0x7595
jmp 0x7597
jmp 0x7599
jmp 0x759b
addq $0x10, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)