// File: /workspace/github_c_makefile_star2_O2/azhai[P]mlite/mlite.c
// Function: make_constructor
cell make_constructor(cell x) {
	cell	n, m, v, a, p, an, new;
	int	id = 0;

	if (!symbol_p(car(x)) || !consname_p(car(x)))
		return error("define_type: expected constructor, got",
				car(x));
	if (!tuple_p(cdr(x)))
		return error("constructor syntax error", x);
	a = node(NIL, NIL);
	save(a);
	for (p = cdr(x); p != NIL; p = cdr(p)) {
		if (!symbol_p(car(p))) {
			return error("non-symbol in constructor", car(p));
		}
		if (consname_p(car(p))) {
			set(car(a), a_name(car(p), id++));
		}
		else {
			car(a) = car(p);
		}
		if (cdr(p) != NIL) {
			set(cdr(a), node(NIL, NIL));
			a = cdr(a);
		}
	}
	a = node(NIL, NIL);
	save(a);
	id = 0;
	for (p = x; p != NIL; p = cdr(p)) {
		if (p == x) {			/* ':constructor */
			n = node(car(p), NIL);
			n = node(S_quote, n);
		}
		else if (consname_p(car(p))) {	/* (type-check c-name a-name */
						/*	       type) */
			if (car(p) == S_cons)
				n = node(S_primlist, NIL);
			else
				n = node(car(p), NIL);
			save(n);
			an = a_name(car(p), id++);
			unsave(1);
			n = node(an, n);
			save(n);
			m = node(car(x), NIL);	/* ':name */
			m = node(S_quote, m);
			unsave(1);
			n = node(m, n);
			n = node(S_typecheck, n);
		}
		else {				/* name */
			n = car(p);
		}
		car(a) = n;
		if (cdr(p) != NIL) {
			set(cdr(a), node(NIL, NIL));
			a = cdr(a);
		}
	}
	n = unsave(1);
	n = node(S_tuple, n);
	n = node(n, NIL);
	v = unsave(1);
	if (cdr(v) == NIL)
		v = car(v);
	n = node(v, n);
	n = node(n, NIL);
	n = node(S_fn, n);
	return n;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x18, %rsp
movq 0xec6f(%rip), %rcx      # 0x1c170
movq (%rcx,%rdi,8), %rsi
testq %rsi, %rsi
js 0xd554
movq 0xf0cf(%rip), %rax      # 0x1c5e0
testb $0x10, (%rax,%rsi)
je 0xd554
cmpq $-0x22, (%rcx,%rsi,8)
jne 0xd554
movq %rdi, %rbx
movq 0xf0c0(%rip), %rdx      # 0x1c5e8
movq 0xf091(%rip), %rcx      # 0x1c5c0
movq (%rcx,%rsi,8), %rdi
cmpb $0x3a, (%rdx,%rdi,8)
jne 0xd554
movq (%rcx,%rbx,8), %rcx
testq %rcx, %rcx
js 0xd548
testb $0x19, (%rax,%rcx)
je 0xd572
leaq 0x7647(%rip), %rdi      # 0x14b96
movq %rbx, %rsi
jmp 0xd55b
leaq 0x7614(%rip), %rdi      # 0x14b6f
callq 0x33e4
pushq $-0x5
popq %rax
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $-0x1
popq %r14
xorl %r12d, %r12d
movq %r14, %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x3613
movq %rax, %r15
movq 0xeb98(%rip), %rsi      # 0x1c128
movq %rax, %rdi
xorl %edx, %edx
callq 0x3613
movq %rax, 0xeb87(%rip)      # 0x1c128
movq 0xf018(%rip), %rcx      # 0x1c5c0
leaq (%rcx,%rbx,8), %rax
movq (%rax), %r13
cmpq $-0x1, %r13
je 0xd654
movq 0xebb0(%rip), %rax      # 0x1c170
movq (%rax,%r13,8), %rsi
testq %rsi, %rsi
js 0xd648
movq 0xf010(%rip), %rdx      # 0x1c5e0
testb $0x10, (%rdx,%rsi)
je 0xd648
cmpq $-0x22, (%rax,%rsi,8)
jne 0xd648
movq 0xf004(%rip), %rdx      # 0x1c5e8
movq (%rcx,%rsi,8), %rdi
cmpb $0x3a, (%rdx,%rdi,8)
jne 0xd619
leal 0x1(%r12), %r14d
movq %rsi, %rdi
movl %r12d, %esi
callq 0xd450
movq 0xeb6b(%rip), %rcx      # 0x1c170
movq %rax, (%rcx,%r15,8)
movq 0xefb0(%rip), %rcx      # 0x1c5c0
movl %r14d, %r12d
pushq $-0x1
popq %r14
jmp 0xd61d
movq %rsi, (%rax,%r15,8)
cmpq $-0x1, (%rcx,%r13,8)
je 0xd63f
movq %r14, %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x3613
movq 0xef88(%rip), %rcx      # 0x1c5c0
movq %rax, (%rcx,%r15,8)
movq %rax, %r15
leaq (%rcx,%r13,8), %rax
jmp 0xd5ac
leaq 0x7560(%rip), %rdi      # 0x14baf
jmp 0xd55b
xorl %r13d, %r13d
movq %r14, %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x3613
movq %rax, %r12
movq 0xeaba(%rip), %rsi      # 0x1c128
movq %rax, %rdi
xorl %edx, %edx
callq 0x3613
movq %rax, 0xeaa9(%rip)      # 0x1c128
movq %rbx, %rcx
movq %r12, -0x38(%rbp)
cmpq $-0x1, %rcx
je 0xd810
movq %rcx, %r15
cmpq %rbx, %rcx
jne 0xd6bc
movq 0xead1(%rip), %rax      # 0x1c170
movq (%rax,%rbx,8), %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x3613
movq %rax, %rsi
leaq 0xeff1(%rip), %rax      # 0x1c6a8
jmp 0xd7c2
movq 0xef25(%rip), %rcx      # 0x1c5e8
movq 0xeef6(%rip), %rdx      # 0x1c5c0
movq 0xea9f(%rip), %rax      # 0x1c170
movq (%rax,%r15,8), %rax
movq (%rdx,%rax,8), %rdx
cmpb $0x3a, (%rcx,%rdx,8)
jne 0xd7cc
cmpq 0xefa6(%rip), %rax      # 0x1c690
jne 0xd6f3
movq 0xf0a5(%rip), %rax      # 0x1c798
movq %rax, %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x3613
movq %rax, %r12
movq 0xea1e(%rip), %rsi      # 0x1c128
movq %rax, %rdi
xorl %edx, %edx
callq 0x3613
movq %rax, 0xea0d(%rip)      # 0x1c128
movq 0xea4e(%rip), %rax      # 0x1c170
movq (%rax,%r15,8), %rdi
leal 0x1(%r13), %eax
movl %eax, -0x2c(%rbp)
movl %r13d, %esi
callq 0xd450
movq %rax, %r13
pushq $0x1
popq %r14
movl %r14d, %edi
callq 0x3775
movq %r13, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x3613
movq %rax, %r13
movq 0xe9cd(%rip), %rsi      # 0x1c128
movq %rax, %rdi
xorl %edx, %edx
callq 0x3613
movq %rax, 0xe9bc(%rip)      # 0x1c128
movq 0xe9fd(%rip), %rax      # 0x1c170
movq (%rax,%rbx,8), %rdi
pushq $-0x1
popq %rsi
xorl %edx, %edx
callq 0x3613
movq 0xef20(%rip), %rdi      # 0x1c6a8
movq %rax, %rsi
xorl %edx, %edx
callq 0x3613
movq %rax, %r12
movl %r14d, %edi
callq 0x3775
movq %r12, %rdi
movq %r13, %rsi
xorl %edx, %edx
callq 0x3613
movq %rax, %rsi
leaq 0xefec(%rip), %rax      # 0x1c7a0
movl -0x2c(%rbp), %ecx
movl %ecx, %r13d
pushq $-0x1
popq %r14
movq -0x38(%rbp), %r12
movq (%rax), %rdi
xorl %edx, %edx
callq 0x3613
movq 0xe99d(%rip), %rcx      # 0x1c170
movq %rax, (%rcx,%r12,8)
movq 0xede2(%rip), %rax      # 0x1c5c0
cmpq $-0x1, (%rax,%r15,8)
movq %r14, %rcx
je 0xd686
movq %r14, %rdi
movq %r14, %rsi
xorl %edx, %edx
callq 0x3613
movq 0xedc0(%rip), %rcx      # 0x1c5c0
movq %rax, (%rcx,%r12,8)
movq (%rcx,%r15,8), %rcx
movq %rax, %r12
jmp 0xd682
pushq $0x1
popq %r14
movl %r14d, %edi
callq 0x3775
movq 0xeecd(%rip), %rdi      # 0x1c6f0
movq %rax, %rsi
xorl %edx, %edx
callq 0x3613
pushq $-0x1
popq %rsi
movq %rax, %rdi
xorl %edx, %edx
callq 0x3613
movq %rax, %rbx
movl %r14d, %edi
callq 0x3775
movq 0xed74(%rip), %rcx      # 0x1c5c0
cmpq $-0x1, (%rcx,%rax,8)
jne 0xd85e
movq 0xe916(%rip), %rcx      # 0x1c170
movq (%rcx,%rax,8), %rax
movq %rax, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x3613
pushq $-0x1
popq %rsi
movq %rax, %rdi
xorl %edx, %edx
callq 0x3613
movq 0xee89(%rip), %rdi      # 0x1c708
movq %rax, %rsi
xorl %edx, %edx
addq $0x18, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x3613