// File: /workspace/github_c_makefile_star2_O2/blakemcbride[P]LISP9/ls9.c
// Function: expandbody
cell expandbody(cell x) {
	cell	n, vs, as;

	protect(vs = NIL);
	protect(as = NIL);
	while (	pairp(x) &&
		pairp(car(x)) &&
		(caar(x) == S_def ||
		 caar(x) == S_defun))
	{
		if (caar(x) == S_def) {
			n = car(x);
			vs = cons(cadr(n), vs);
			cadr(Protected) = vs;
			n = cons(caddr(n), NIL);
			as = cons(n, as);
			car(Protected) = as;
		}
		else {
			n = expanddef(car(x));
			protect(n);
			vs = cons(cadr(n), vs);
			caddr(Protected) = vs;
			n = cons(caddr(n), NIL);
			as = cons(n, as);
			cadr(Protected) = as;
			unprot(1);
		}
		x = cdr(x);
	}
	if (NIL == vs) {
		unprot(2);
		return x;
	}
	as = car(Protected) = nreverse(as);
	vs = cadr(Protected) = nreverse(vs);
	n = cons(zip(vs, as), x);
	n = cons(S_labels, n);
	n = cons(n, NIL);
	unprot(2);
	return n;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %edi, %r12d
movl 0xe9e1(%rip), %esi      # 0x17170
pushq $-0x1
popq %rbx
movl %ebx, %edi
xorl %edx, %edx
callq 0x2f8c
movl %eax, 0xe9cf(%rip)      # 0x17170
movl %ebx, %edi
movl %eax, %esi
xorl %edx, %edx
callq 0x2f8c
movl %eax, 0xe9be(%rip)      # 0x17170
movl %ebx, %ebp
movl %ebx, %r15d
testl %r12d, %r12d
js 0x893c
movq 0xeb89(%rip), %rcx      # 0x17350
movl %r12d, %r14d
testb $0x9, (%rcx,%r14)
jne 0x893c
movq 0xeb64(%rip), %rax      # 0x17340
movslq (%rax,%r14,4), %r13
testq %r13, %r13
js 0x893c
testb $0x9, (%rcx,%r13)
jne 0x893c
movl (%rax,%r13,4), %ecx
movl 0xef1e(%rip), %edx      # 0x1771c
cmpl %edx, %ecx
je 0x880e
cmpl 0xf138(%rip), %ecx      # 0x17940
jne 0x893c
cmpl %edx, %ecx
jne 0x8881
movq 0xeb2f(%rip), %rcx      # 0x17348
movslq (%rcx,%r13,4), %rcx
movl (%rax,%rcx,4), %edi
movl %ebp, %esi
xorl %edx, %edx
callq 0x2f8c
movl %eax, %ebp
movq 0xeb0e(%rip), %rax      # 0x17340
movq 0xeb0f(%rip), %rcx      # 0x17348
movslq 0xe930(%rip), %rdx      # 0x17170
movslq (%rcx,%rdx,4), %rdx
movl %ebp, (%rax,%rdx,4)
movslq (%rcx,%r13,4), %rdx
movslq (%rcx,%rdx,4), %rcx
movl (%rax,%rcx,4), %edi
movl %ebx, %esi
xorl %edx, %edx
callq 0x2f8c
movl %eax, %edi
movl %r15d, %esi
xorl %edx, %edx
callq 0x2f8c
movl %eax, %r15d
movq 0xeacf(%rip), %rax      # 0x17340
movslq 0xe8f8(%rip), %rcx      # 0x17170
movl %r15d, (%rax,%rcx,4)
jmp 0x892c
movl %r13d, %edi
callq 0x89d5
movl %eax, %r12d
movl 0xe8de(%rip), %esi      # 0x17170
movl %eax, %edi
xorl %edx, %edx
callq 0x2f8c
movl %eax, 0xe8cf(%rip)      # 0x17170
movq 0xea98(%rip), %rax      # 0x17340
movq 0xea99(%rip), %rcx      # 0x17348
movslq %r12d, %r12
movslq (%rcx,%r12,4), %rcx
movl (%rax,%rcx,4), %edi
movl %ebp, %esi
xorl %edx, %edx
callq 0x2f8c
movl %eax, %ebp
movq 0xea75(%rip), %rax      # 0x17340
movq 0xea76(%rip), %rcx      # 0x17348
movslq 0xe897(%rip), %rdx      # 0x17170
movslq (%rcx,%rdx,4), %rdx
movslq (%rcx,%rdx,4), %rdx
movl %ebp, (%rax,%rdx,4)
movslq (%rcx,%r12,4), %rdx
movslq (%rcx,%rdx,4), %rcx
movl (%rax,%rcx,4), %edi
movl %ebx, %esi
xorl %edx, %edx
callq 0x2f8c
movl %eax, %edi
movl %r15d, %esi
xorl %edx, %edx
callq 0x2f8c
movl %eax, %r15d
movq 0xea32(%rip), %rax      # 0x17340
movq 0xea33(%rip), %rcx      # 0x17348
movslq 0xe854(%rip), %rdx      # 0x17170
movslq (%rcx,%rdx,4), %rcx
movl %r15d, (%rax,%rcx,4)
pushq $0x1
popq %rdi
callq 0x31a9
movq 0xea15(%rip), %rax      # 0x17348
movl (%rax,%r14,4), %r12d
jmp 0x87b7
cmpl $-0x1, %ebp
je 0x89bb
pushq $-0x1
popq %rbx
movl %r15d, %edi
movl %ebx, %esi
callq 0x3a71
movl %eax, %r14d
movq 0xe9e8(%rip), %rax      # 0x17340
movslq 0xe811(%rip), %rcx      # 0x17170
movl %r14d, (%rax,%rcx,4)
movl %ebp, %edi
movl %ebx, %esi
callq 0x3a71
movq 0xe9cd(%rip), %rcx      # 0x17340
movq 0xe9ce(%rip), %rdx      # 0x17348
movslq 0xe7ef(%rip), %rsi      # 0x17170
movslq (%rdx,%rsi,4), %rdx
movl %eax, (%rcx,%rdx,4)
movl %eax, %edi
movl %r14d, %esi
callq 0x86e5
movl %eax, %edi
movl %r12d, %esi
xorl %edx, %edx
callq 0x2f8c
movl 0xefa0(%rip), %edi      # 0x17944
movl %eax, %esi
xorl %edx, %edx
callq 0x2f8c
movl %eax, %edi
movl %ebx, %esi
xorl %edx, %edx
callq 0x2f8c
movl %eax, %r12d
pushq $0x2
popq %rdi
callq 0x31a9
movl %r12d, %eax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq