// File: /workspace/github_c_makefile_star2_O1/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
pushq %rax
movq 0xf800(%rip), %rcx      # 0x1e170
movq (%rcx,%rdi,8), %rsi
testq %rsi, %rsi
js 0xe9c3
movq 0xfc60(%rip), %rax      # 0x1e5e0
testb $0x10, (%rax,%rsi)
je 0xe9c3
cmpq $-0x22, (%rcx,%rsi,8)
jne 0xe9c3
movq %rdi, %r13
movq 0xfc51(%rip), %rdx      # 0x1e5e8
movq 0xfc22(%rip), %rcx      # 0x1e5c0
movq (%rcx,%rsi,8), %rdi
cmpb $0x3a, (%rdx,%rdi,8)
jne 0xe9c3
movq (%rcx,%r13,8), %rcx
testq %rcx, %rcx
js 0xe9b7
testb $0x19, (%rax,%rcx)
je 0xe9e5
leaq 0x81f3(%rip), %rdi      # 0x16bb1
movq %r13, %rsi
jmp 0xe9ca
leaq 0x81c0(%rip), %rdi      # 0x16b8a
callq 0x33eb
movq $-0x5, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r15d, %r15d
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r14
movq 0xf721(%rip), %rsi      # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0xf710(%rip)      # 0x1e128
movq 0xfba1(%rip), %rax      # 0x1e5c0
movq (%rax,%r13,8), %rbx
cmpq $-0x1, %rbx
je 0xead3
movq 0xf73c(%rip), %rcx      # 0x1e170
movq (%rcx,%rbx,8), %rax
testq %rax, %rax
js 0xed37
movq 0xfb98(%rip), %rdx      # 0x1e5e0
testb $0x10, (%rdx,%rax)
je 0xed37
cmpq $-0x22, (%rcx,%rax,8)
jne 0xed37
movq 0xfb84(%rip), %rdx      # 0x1e5e8
movq 0xfb55(%rip), %rsi      # 0x1e5c0
movq (%rsi,%rax,8), %rsi
cmpb $0x3a, (%rdx,%rsi,8)
jne 0xea8e
leal 0x1(%r15), %r12d
movq %rax, %rdi
movl %r15d, %esi
callq 0xe8bd
movq 0xf6e5(%rip), %rcx      # 0x1e170
movl %r12d, %r15d
movq %rax, (%rcx,%r14,8)
movq 0xfb27(%rip), %rax      # 0x1e5c0
cmpq $-0x1, (%rax,%rbx,8)
je 0xeac3
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq 0xfb04(%rip), %rcx      # 0x1e5c0
movq %rax, (%rcx,%r14,8)
movq %rax, %r14
movq 0xfaf6(%rip), %rax      # 0x1e5c0
movq (%rax,%rbx,8), %rbx
jmp 0xea23
xorl %r15d, %r15d
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r14
movq 0xf633(%rip), %rsi      # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0xf622(%rip)      # 0x1e128
cmpq $-0x1, %r13
je 0xeca8
leaq 0xfb91(%rip), %r12      # 0x1e6a8
movq %r13, %rbx
cmpq %r13, %rbx
jne 0xeb40
movq 0xf64a(%rip), %rax      # 0x1e170
movq (%rax,%rbx,8), %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %r12, %rcx
jmp 0xec4a
movq 0xfaa1(%rip), %rcx      # 0x1e5e8
movq 0xfa72(%rip), %rdx      # 0x1e5c0
movq 0xf61b(%rip), %rax      # 0x1e170
movq (%rax,%rbx,8), %rax
movq (%rdx,%rax,8), %rdx
cmpb $0x3a, (%rcx,%rdx,8)
jne 0xec57
cmpq 0xfb22(%rip), %rax      # 0x1e690
jne 0xeb77
movq 0xfc21(%rip), %rax      # 0x1e798
movq %rax, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r12
movq 0xf596(%rip), %rsi      # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0xf585(%rip)      # 0x1e128
movq 0xf5c6(%rip), %rax      # 0x1e170
movq (%rax,%rbx,8), %rdi
leal 0x1(%r15), %eax
movl %eax, -0x2c(%rbp)
movl %r15d, %esi
callq 0xe8bd
movq %rax, %r15
movl $0x1, %edi
callq 0x3851
movq %r15, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r15
movq 0xf547(%rip), %rsi      # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0xf536(%rip)      # 0x1e128
movq 0xf577(%rip), %rax      # 0x1e170
movq (%rax,%r13,8), %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq 0xfa96(%rip), %rdi      # 0x1e6a8
movq %rax, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r12
movl $0x1, %edi
callq 0x3851
movq %r12, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x36e8
leaq 0xfb63(%rip), %rcx      # 0x1e7a0
movl -0x2c(%rbp), %edx
movl %edx, %r15d
leaq 0xfa5e(%rip), %r12      # 0x1e6a8
movq (%rcx), %rdi
movq %rax, %rsi
xorl %edx, %edx
callq 0x36e8
movq 0xf512(%rip), %rcx      # 0x1e170
movq %rax, (%rcx,%r14,8)
movq 0xf957(%rip), %rax      # 0x1e5c0
cmpq $-0x1, (%rax,%rbx,8)
je 0xec93
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq 0xf934(%rip), %rcx      # 0x1e5c0
movq %rax, (%rcx,%r14,8)
movq %rax, %r14
movq 0xf926(%rip), %rax      # 0x1e5c0
movq (%rax,%rbx,8), %rbx
cmpq $-0x1, %rbx
jne 0xeb1a
movl $0x1, %edi
callq 0x3851
movq 0xfa37(%rip), %rdi      # 0x1e6f0
movq %rax, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %rbx
movl $0x1, %edi
callq 0x3851
movq 0xf8d8(%rip), %rcx      # 0x1e5c0
cmpq $-0x1, (%rcx,%rax,8)
jne 0xecfa
movq 0xf47a(%rip), %rcx      # 0x1e170
movq (%rcx,%rax,8), %rax
movq %rax, %rdi
movq %rbx, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq 0xf9e9(%rip), %rdi      # 0x1e708
movq %rax, %rsi
xorl %edx, %edx
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x36e8
leaq 0x7e8c(%rip), %rdi      # 0x16bca
movq %rax, %rsi
jmp 0xe9ca