// File: /workspace/github_c_makefile_star2_O0/azhai[P]mlite/mlite.c
// Function: pp_typecheck
cell pp_typecheck(cell x) {
	cell	cname, datum, type, ps, p;
	char	msg[TOKEN_LENGTH*2];

	cname = car(x);
	datum = cadr(x);
	ps = caddr(x);
	if (!tuple_p(ps) || !symbol_p(car(ps)))
		return error("type-check: bad type pattern", ps);
	type = car(ps);
	for (ps = cdr(ps); tuple_p(ps); ps = cdr(ps)) {
		p = car(ps);
		if (symbol_p(p) && p == datum)
			return datum;
		else if (p == S_cons && list_p(datum))
			return datum;
		else if (tuple_p(p) && tuple_p(datum) && car(p) == car(datum))
			return datum;
	}
	sprintf(msg, "%s: expected %s, got",
			string(cname), string(type));
	return error(msg, datum);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x850, %rsp            # imm = 0x850
movq %rdi, -0x10(%rbp)
movq 0x1097a(%rip), %rax     # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x18(%rbp)
movq 0x10967(%rip), %rax     # 0x28180
movq 0x10db0(%rip), %rcx     # 0x285d0
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x20(%rbp)
movq 0x10949(%rip), %rax     # 0x28180
movq 0x10d92(%rip), %rcx     # 0x285d0
movq 0x10d8b(%rip), %rdx     # 0x285d0
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
cmpq $0x0, -0x30(%rbp)
jl 0x178fa
movq 0x10d85(%rip), %rax     # 0x285f0
movq -0x30(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x178fa
movq 0x10d6e(%rip), %rax     # 0x285f0
movq -0x30(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
jne 0x178fa
movq 0x10d57(%rip), %rax     # 0x285f0
movq -0x30(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
jne 0x178fa
movq 0x108d0(%rip), %rax     # 0x28180
movq -0x30(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x178fa
movq 0x10d2e(%rip), %rax     # 0x285f0
movq 0x108b7(%rip), %rcx     # 0x28180
movq -0x30(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x178fa
movq 0x1089c(%rip), %rax     # 0x28180
movq 0x10895(%rip), %rcx     # 0x28180
movq -0x30(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x22, (%rax,%rcx,8)
je 0x17913
movq -0x30(%rbp), %rsi
leaq 0x955f(%rip), %rdi      # 0x20e64
callq 0x34b0
movq %rax, -0x8(%rbp)
jmp 0x17bce
movq 0x10866(%rip), %rax     # 0x28180
movq -0x30(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x28(%rbp)
movq 0x10ca3(%rip), %rax     # 0x285d0
movq -0x30(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
xorl %eax, %eax
cmpq $0x0, -0x30(%rbp)
movb %al, -0x841(%rbp)
jl 0x179a6
movq 0x10ca1(%rip), %rax     # 0x285f0
movq -0x30(%rbp), %rcx
movsbl (%rax,%rcx), %ecx
andl $0x1, %ecx
xorl %eax, %eax
cmpl $0x0, %ecx
movb %al, -0x841(%rbp)
jne 0x179a6
movq 0x10c82(%rip), %rax     # 0x285f0
movq -0x30(%rbp), %rcx
movsbl (%rax,%rcx), %ecx
andl $0x10, %ecx
xorl %eax, %eax
cmpl $0x0, %ecx
movb %al, -0x841(%rbp)
jne 0x179a6
movq 0x10c63(%rip), %rax     # 0x285f0
movq -0x30(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
setne %al
xorb $-0x1, %al
movb %al, -0x841(%rbp)
movb -0x841(%rbp), %al
testb $0x1, %al
jne 0x179b5
jmp 0x17b6b
movq 0x107c4(%rip), %rax     # 0x28180
movq -0x30(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x38(%rbp)
cmpq $0x0, -0x38(%rbp)
jl 0x17a0f
movq 0x10c1a(%rip), %rax     # 0x285f0
movq -0x38(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x17a0f
movq 0x10793(%rip), %rax     # 0x28180
movq -0x38(%rbp), %rcx
cmpq $-0x22, (%rax,%rcx,8)
jne 0x17a0f
movq -0x38(%rbp), %rax
cmpq -0x20(%rbp), %rax
jne 0x17a0f
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x17bce
movq -0x38(%rbp), %rax
cmpq 0x10c86(%rip), %rax     # 0x286a0
jne 0x17a7c
cmpq $0x0, -0x20(%rbp)
jl 0x17a68
movq 0x10bc6(%rip), %rax     # 0x285f0
movq -0x20(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x17a68
movq 0x10baf(%rip), %rax     # 0x285f0
movq -0x20(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
jne 0x17a68
movq 0x10b98(%rip), %rax     # 0x285f0
movq -0x20(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
jne 0x17a6f
cmpq $-0x1, -0x20(%rbp)
jne 0x17a7c
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x17bce
cmpq $0x0, -0x38(%rbp)
jl 0x17b4d
movq 0x10b62(%rip), %rax     # 0x285f0
movq -0x38(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x17b4d
movq 0x10b47(%rip), %rax     # 0x285f0
movq -0x38(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
jne 0x17b4d
movq 0x10b2c(%rip), %rax     # 0x285f0
movq -0x38(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
jne 0x17b4d
cmpq $0x0, -0x20(%rbp)
jl 0x17b4d
movq 0x10b0e(%rip), %rax     # 0x285f0
movq -0x20(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x17b4d
movq 0x10af7(%rip), %rax     # 0x285f0
movq -0x20(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
jne 0x17b4d
movq 0x10ae0(%rip), %rax     # 0x285f0
movq -0x20(%rbp), %rcx
movsbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
jne 0x17b4d
movq 0x10659(%rip), %rax     # 0x28180
movq -0x38(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq 0x1064a(%rip), %rcx     # 0x28180
movq -0x20(%rbp), %rdx
cmpq (%rcx,%rdx,8), %rax
jne 0x17b4d
movq -0x20(%rbp), %rax
movq %rax, -0x8(%rbp)
jmp 0x17bce
jmp 0x17b4f
jmp 0x17b51
jmp 0x17b53
movq 0x10a76(%rip), %rax     # 0x285d0
movq -0x30(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x30(%rbp)
jmp 0x17939
leaq -0x840(%rbp), %rdi
movq 0x10a7f(%rip), %rdx     # 0x285f8
movq 0x10a50(%rip), %rax     # 0x285d0
movq -0x18(%rbp), %rcx
movq (%rax,%rcx,8), %rax
shlq $0x3, %rax
addq %rax, %rdx
movq 0x10a62(%rip), %rcx     # 0x285f8
movq 0x10a33(%rip), %rax     # 0x285d0
movq -0x28(%rbp), %rsi
movq (%rax,%rsi,8), %rax
shlq $0x3, %rax
addq %rax, %rcx
leaq 0x92ce(%rip), %rsi      # 0x20e81
movb $0x0, %al
callq 0x3200
leaq -0x840(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0x34b0
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x850, %rsp            # imm = 0x850
popq %rbp
retq
nopl (%rax,%rax)