// File: /workspace/github_c_makefile_star2_O3/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 0xf9ab(%rip), %rcx      # 0x1e170
movq (%rcx,%rdi,8), %rsi
testq %rsi, %rsi
js 0xe818
movq 0xfe0b(%rip), %rax      # 0x1e5e0
testb $0x10, (%rax,%rsi)
je 0xe818
cmpq $-0x22, (%rcx,%rsi,8)
jne 0xe818
movq %rdi, %rbx
movq 0xfdfc(%rip), %rdx      # 0x1e5e8
movq 0xfdcd(%rip), %rcx      # 0x1e5c0
movq (%rcx,%rsi,8), %rdi
cmpb $0x3a, (%rdx,%rdi,8)
jne 0xe818
movq (%rcx,%rbx,8), %rcx
testq %rcx, %rcx
js 0xe80c
testb $0x19, (%rax,%rcx)
je 0xe83a
leaq 0x8383(%rip), %rdi      # 0x16b96
movq %rbx, %rsi
jmp 0xe81f
leaq 0x8350(%rip), %rdi      # 0x16b6f
callq 0x33eb
movq $-0x5, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %r14d, %r14d
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r15
movq 0xf8cc(%rip), %rsi      # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0xf8bb(%rip)      # 0x1e128
movq 0xfd4c(%rip), %rcx      # 0x1e5c0
movq (%rcx,%rbx,8), %r12
cmpq $-0x1, %r12
je 0xe920
movq 0xf8e7(%rip), %rax      # 0x1e170
movq (%rax,%r12,8), %rsi
testq %rsi, %rsi
js 0xeb7d
movq 0xfd43(%rip), %rdx      # 0x1e5e0
testb $0x10, (%rdx,%rsi)
je 0xeb7d
cmpq $-0x22, (%rax,%rsi,8)
jne 0xeb7d
movq 0xfd2f(%rip), %rdx      # 0x1e5e8
movq (%rcx,%rsi,8), %rdi
cmpb $0x3a, (%rdx,%rdi,8)
jne 0xe8e9
leal 0x1(%r14), %r13d
movq %rsi, %rdi
movl %r14d, %esi
callq 0xe717
movq 0xf897(%rip), %rcx      # 0x1e170
movq %rax, (%rcx,%r15,8)
movq 0xfcdc(%rip), %rcx      # 0x1e5c0
movl %r13d, %r14d
jmp 0xe8ed
movq %rsi, (%rax,%r15,8)
cmpq $-0x1, (%rcx,%r12,8)
je 0xe920
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq 0xfcb0(%rip), %rcx      # 0x1e5c0
movq %rax, (%rcx,%r15,8)
movq (%rcx,%r12,8), %r12
movq %rax, %r15
jmp 0xe878
xorl %r15d, %r15d
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r14
movq 0xf7e6(%rip), %rsi      # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0xf7d5(%rip)      # 0x1e128
cmpq $-0x1, %rbx
je 0xeaee
leaq 0xfd44(%rip), %r12      # 0x1e6a8
movq %rbx, %r13
cmpq %rbx, %r13
jne 0xe98d
movq 0xf7fd(%rip), %rax      # 0x1e170
movq (%rax,%rbx,8), %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %r12, %rcx
jmp 0xea97
movq 0xfc54(%rip), %rcx      # 0x1e5e8
movq 0xfc25(%rip), %rdx      # 0x1e5c0
movq 0xf7ce(%rip), %rax      # 0x1e170
movq (%rax,%r13,8), %rax
movq (%rdx,%rax,8), %rdx
cmpb $0x3a, (%rcx,%rdx,8)
jne 0xeaa4
cmpq 0xfcd5(%rip), %rax      # 0x1e690
jne 0xe9c4
movq 0xfdd4(%rip), %rax      # 0x1e798
movq %rax, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r12
movq 0xf749(%rip), %rsi      # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0xf738(%rip)      # 0x1e128
movq 0xf779(%rip), %rax      # 0x1e170
movq (%rax,%r13,8), %rdi
leal 0x1(%r15), %eax
movl %eax, -0x2c(%rbp)
movl %r15d, %esi
callq 0xe717
movq %rax, %r15
movl $0x1, %edi
callq 0x384f
movq %r15, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r15
movq 0xf6fa(%rip), %rsi      # 0x1e128
movq %rax, %rdi
xorl %edx, %edx
callq 0x36e8
movq %rax, 0xf6e9(%rip)      # 0x1e128
movq 0xf72a(%rip), %rax      # 0x1e170
movq (%rax,%rbx,8), %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq 0xfc49(%rip), %rdi      # 0x1e6a8
movq %rax, %rsi
xorl %edx, %edx
callq 0x36e8
movq %rax, %r12
movl $0x1, %edi
callq 0x384f
movq %r12, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x36e8
leaq 0xfd16(%rip), %rcx      # 0x1e7a0
movl -0x2c(%rbp), %edx
movl %edx, %r15d
leaq 0xfc11(%rip), %r12      # 0x1e6a8
movq (%rcx), %rdi
movq %rax, %rsi
xorl %edx, %edx
callq 0x36e8
movq 0xf6c5(%rip), %rcx      # 0x1e170
movq %rax, (%rcx,%r14,8)
movq 0xfb0a(%rip), %rax      # 0x1e5c0
cmpq $-0x1, (%rax,%r13,8)
je 0xeaee
movq $-0x1, %rdi
movq $-0x1, %rsi
xorl %edx, %edx
callq 0x36e8
movq 0xfae7(%rip), %rcx      # 0x1e5c0
movq %rax, (%rcx,%r14,8)
movq (%rcx,%r13,8), %r13
movq %rax, %r14
cmpq $-0x1, %r13
jne 0xe967
movl $0x1, %edi
callq 0x384f
movq 0xfbf1(%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 0x384f
movq 0xfa92(%rip), %rcx      # 0x1e5c0
cmpq $-0x1, (%rcx,%rax,8)
jne 0xeb40
movq 0xf634(%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 0xfba3(%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 0x802b(%rip), %rdi      # 0x16baf
jmp 0xe81f