// File: /workspace/github_c_makefile_star2_O0/azhai[P]mlite/mlite.c
// Function: apply_primitive
cell apply_primitive(cell x) {
	PRIM	*p;
	cell	args, a;
	int	k, na, i;

	p = &Primitives[cadar(x)];
	if (p->max_args < 2)
		a = args = cdr(x);
	else if (tuple_p(cadr(x)))
		a = args = cadr(x);
	else
		return too_few_args(x);
	if (p->max_args >= 0) {
		k = length(args);
		if (k < p->min_args)
			return too_few_args(x);
		if (k > p->max_args && p->max_args >= 0)
			return too_many_args(x);
	}
	else {
		/* All variadic functions accept 0..n arguments of any type */
		k = 0;
	}
	na = p->max_args < 0? p->min_args: p->max_args;
	if (na > k)
		na = k;
	for (i=1; i<=na; i++) {
		switch (p->arg_types[i-1]) {
		case T_NONE:
			break;
		case T_BOOLEAN:
			if (!boolean_p(car(a)))
				return expected(car(x), "bool", car(a));
			break;
		case T_CHAR:
			if (!char_p(car(a)))
				return expected(car(x), "char", car(a));
			break;
		case T_INSTREAM:
			if (!instream_p(car(a)))
				return expected(car(x), "instream", car(a));
			break;
		case T_INTEGER:
			if (!integer_p(car(a)))
				return expected(car(x), "int", car(a));
			break;
		case T_OUTSTREAM:
			if (!outstream_p(car(a)))
				return expected(car(x), "outstream", car(a));
			break;
		case T_TUPLE:
			if (atom_p(car(a)))
				return expected(car(x), "tuple", car(a));
			break;
		case T_UNIT:
			if (car(a) != UNIT)
				return expected(car(x), "unit", car(a));
			break;
		case T_LIST:
			if (!list_p(car(a)))
				return expected(car(x), "list", car(a));
			break;
		case T_FUNCTION:
			if (	!procedure_p(car(a)) &&
				!primitive_p(car(a)) &&
				!continuation_p(car(a))
			)
				return expected(car(x), "fn", car(a));
			break;
		case T_REAL:
			if (!integer_p(car(a)) && !real_p(car(a)))
				return expected(car(x), "num", car(a));
			break;
		case T_STREAM:
			if (!instream_p(car(a)) && !outstream_p(car(a)))
				return expected(car(x), "stream", car(a));
			break;
		case T_STRING:
			if (!string_p(car(a)))
				return expected(car(x), "str", car(a));
			break;
		case T_SYMBOL:
			if (!symbol_p(car(a)))
				return expected(car(x), "id", car(a));
			break;
		case T_VECTOR:
			if (!vector_p(car(a)))
				return expected(car(x), "vec", car(a));
			break;
		}
		a = cdr(a);
	}
	return (*p->handler)(args);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x40, %rsp
movq %rdi, -0x10(%rbp)
movq 0xd925(%rip), %rax      # 0x286d8
movq 0xd3c6(%rip), %rcx      # 0x28180
movq 0xd80f(%rip), %rdx      # 0x285d0
movq 0xd3b8(%rip), %rsi      # 0x28180
movq -0x10(%rbp), %rdi
movq (%rsi,%rdi,8), %rsi
movq (%rdx,%rsi,8), %rdx
imulq $0x28, (%rcx,%rdx,8), %rcx
addq %rcx, %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x2, 0x14(%rax)
jge 0x1ae06
movq 0xd7df(%rip), %rax      # 0x285d0
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x20(%rbp)
movq %rax, -0x28(%rbp)
jmp 0x1aee6
movq 0xd373(%rip), %rax      # 0x28180
movq 0xd7bc(%rip), %rcx      # 0x285d0
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1aed2
movq 0xd7c2(%rip), %rax      # 0x285f0
movq 0xd34b(%rip), %rcx      # 0x28180
movq 0xd794(%rip), %rdx      # 0x285d0
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x1aed2
movq 0xd795(%rip), %rax      # 0x285f0
movq 0xd31e(%rip), %rcx      # 0x28180
movq 0xd767(%rip), %rdx      # 0x285d0
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
jne 0x1aed2
movq 0xd768(%rip), %rax      # 0x285f0
movq 0xd2f1(%rip), %rcx      # 0x28180
movq 0xd73a(%rip), %rdx      # 0x285d0
movq -0x10(%rbp), %rsi
movq (%rdx,%rsi,8), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
jne 0x1aed2
movq 0xd2cb(%rip), %rax      # 0x28180
movq 0xd714(%rip), %rcx      # 0x285d0
movq -0x10(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x20(%rbp)
movq %rax, -0x28(%rbp)
jmp 0x1aee4
movq -0x10(%rbp), %rdi
callq 0x12c70
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1aee6
movq -0x18(%rbp), %rax
cmpl $0x0, 0x14(%rax)
jl 0x1af44
movq -0x20(%rbp), %rdi
callq 0x5160
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
movq -0x18(%rbp), %rcx
cmpl 0x10(%rcx), %eax
jge 0x1af1a
movq -0x10(%rbp), %rdi
callq 0x12c70
movq %rax, -0x8(%rbp)
jmp 0x1b926
movl -0x2c(%rbp), %eax
movq -0x18(%rbp), %rcx
cmpl 0x14(%rcx), %eax
jle 0x1af42
movq -0x18(%rbp), %rax
cmpl $0x0, 0x14(%rax)
jl 0x1af42
movq -0x10(%rbp), %rdi
callq 0x12ca0
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1af4b
movl $0x0, -0x2c(%rbp)
movq -0x18(%rbp), %rax
cmpl $0x0, 0x14(%rax)
jge 0x1af61
movq -0x18(%rbp), %rax
movl 0x10(%rax), %eax
movl %eax, -0x38(%rbp)
jmp 0x1af6b
movq -0x18(%rbp), %rax
movl 0x14(%rax), %eax
movl %eax, -0x38(%rbp)
movl -0x38(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
cmpl -0x2c(%rbp), %eax
jle 0x1af7f
movl -0x2c(%rbp), %eax
movl %eax, -0x30(%rbp)
movl $0x1, -0x34(%rbp)
movl -0x34(%rbp), %eax
cmpl -0x30(%rbp), %eax
jg 0x1b914
movq -0x18(%rbp), %rax
movl -0x34(%rbp), %ecx
decl %ecx
movslq %ecx, %rcx
movl 0x18(%rax,%rcx,4), %eax
addl $0x24, %eax
movl %eax, %ecx
movq %rcx, -0x40(%rbp)
subl $0x10, %eax
ja 0x1b8f3
movq -0x40(%rbp), %rax
leaq 0x5135(%rip), %rcx      # 0x200f4
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
jmp 0x1b8f3
movq 0xd1ac(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $-0x2, (%rax,%rcx,8)
je 0x1b024
movq 0xd19a(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $-0x3, (%rax,%rcx,8)
je 0x1b024
movq 0xd188(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xd179(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x60b4(%rip), %rsi      # 0x210ca
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xd150(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b07a
movq 0xd5ae(%rip), %rax      # 0x285f0
movq 0xd137(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b07a
movq 0xd11c(%rip), %rax      # 0x28180
movq 0xd115(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x16, (%rax,%rcx,8)
je 0x1b0ad
movq 0xd0ff(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xd0f0(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x6080(%rip), %rsi      # 0x2111f
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xd0c7(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b125
movq 0xd525(%rip), %rax      # 0x285f0
movq 0xd0ae(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b125
movq 0xd503(%rip), %rax      # 0x285f0
movq 0xd08c(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x20, %eax
cmpl $0x0, %eax
je 0x1b125
movq 0xd071(%rip), %rax      # 0x28180
movq 0xd06a(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x17, (%rax,%rcx,8)
je 0x1b158
movq 0xd054(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xd045(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x5ff8(%rip), %rsi      # 0x21142
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xd01c(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b1ae
movq 0xd47a(%rip), %rax      # 0x285f0
movq 0xd003(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b1ae
movq 0xcfe8(%rip), %rax      # 0x28180
movq 0xcfe1(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x18, (%rax,%rcx,8)
je 0x1b1e1
movq 0xcfcb(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xcfbc(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x54e5(%rip), %rsi      # 0x206b8
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xcf93(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b259
movq 0xd3f1(%rip), %rax      # 0x285f0
movq 0xcf7a(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b259
movq 0xd3cf(%rip), %rax      # 0x285f0
movq 0xcf58(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x20, %eax
cmpl $0x0, %eax
je 0x1b259
movq 0xcf3d(%rip), %rax      # 0x28180
movq 0xcf36(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x19, (%rax,%rcx,8)
je 0x1b28c
movq 0xcf20(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xcf11(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x5ef3(%rip), %rsi      # 0x21171
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xcee8(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b2e7
movq 0xd346(%rip), %rax      # 0x285f0
movq 0xcecf(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x1b2e7
movq 0xd324(%rip), %rax      # 0x285f0
movq 0xcead(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x1b31a
movq 0xce92(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xce83(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x554b(%rip), %rsi      # 0x20857
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xce5a(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $-0x6, (%rax,%rcx,8)
je 0x1b364
movq 0xce48(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xce39(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x5ea6(%rip), %rsi      # 0x211fc
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xce10(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b3e1
movq 0xd26e(%rip), %rax      # 0x285f0
movq 0xcdf7(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
jne 0x1b3e1
movq 0xd24c(%rip), %rax      # 0x285f0
movq 0xcdd5(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
jne 0x1b3e1
movq 0xd22a(%rip), %rax      # 0x285f0
movq 0xcdb3(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x8, %eax
cmpl $0x0, %eax
jne 0x1b426
movq 0xcd98(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $-0x1, (%rax,%rcx,8)
je 0x1b426
movq 0xcd86(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xcd77(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x542b(%rip), %rsi      # 0x20843
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xcd4e(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b480
movq 0xd1ac(%rip), %rax      # 0x285f0
movq 0xcd35(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b480
movq 0xcd1a(%rip), %rax      # 0x28180
movq 0xcd13(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x1e, (%rax,%rcx,8)
je 0x1b559
movq 0xccf9(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b4d5
movq 0xd157(%rip), %rax      # 0x285f0
movq 0xcce0(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b4d5
movq 0xccc5(%rip), %rax      # 0x28180
movq 0xccbe(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x1d, (%rax,%rcx,8)
je 0x1b559
movq 0xcca4(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b526
movq 0xd102(%rip), %rax      # 0x285f0
movq 0xcc8b(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b526
movq 0xcc70(%rip), %rax      # 0x28180
movq 0xcc69(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x25, (%rax,%rcx,8)
je 0x1b559
movq 0xcc53(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xcc44(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x5171(%rip), %rsi      # 0x206bc
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xcc1b(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b5b3
movq 0xd079(%rip), %rax      # 0x285f0
movq 0xcc02(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b5b3
movq 0xcbe7(%rip), %rax      # 0x28180
movq 0xcbe0(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x18, (%rax,%rcx,8)
je 0x1b637
movq 0xcbc6(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b604
movq 0xd024(%rip), %rax      # 0x285f0
movq 0xcbad(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b604
movq 0xcb92(%rip), %rax      # 0x28180
movq 0xcb8b(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x1f, (%rax,%rcx,8)
je 0x1b637
movq 0xcb75(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xcb66(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x5bd8(%rip), %rsi      # 0x21201
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xcb3d(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b6b3
movq 0xcf9b(%rip), %rax      # 0x285f0
movq 0xcb24(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b6b3
movq 0xcf79(%rip), %rax      # 0x285f0
movq 0xcb02(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x20, %eax
cmpl $0x0, %eax
je 0x1b6b3
movq 0xcae7(%rip), %rax      # 0x28180
movq 0xcae0(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x17, (%rax,%rcx,8)
je 0x1b759
movq 0xcac6(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b726
movq 0xcf24(%rip), %rax      # 0x285f0
movq 0xcaad(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x1, %eax
cmpl $0x0, %eax
je 0x1b726
movq 0xcf02(%rip), %rax      # 0x285f0
movq 0xca8b(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x20, %eax
cmpl $0x0, %eax
je 0x1b726
movq 0xca70(%rip), %rax      # 0x28180
movq 0xca69(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x19, (%rax,%rcx,8)
je 0x1b759
movq 0xca53(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xca44(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x5978(%rip), %rsi      # 0x210c3
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xca1b(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b7af
movq 0xce79(%rip), %rax      # 0x285f0
movq 0xca02(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x1b7af
movq 0xc9e7(%rip), %rax      # 0x28180
movq 0xc9e0(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x21, (%rax,%rcx,8)
je 0x1b7e2
movq 0xc9ca(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xc9bb(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x55a0(%rip), %rsi      # 0x20d74
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xc992(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b838
movq 0xcdf0(%rip), %rax      # 0x285f0
movq 0xc979(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x1b838
movq 0xc95e(%rip), %rax      # 0x28180
movq 0xc957(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x22, (%rax,%rcx,8)
je 0x1b86b
movq 0xc941(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xc932(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x59a8(%rip), %rsi      # 0x21205
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xc909(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
cmpq $0x0, (%rax,%rcx,8)
jl 0x1b8c1
movq 0xcd67(%rip), %rax      # 0x285f0
movq 0xc8f0(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
movsbl (%rax,%rcx), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x1b8c1
movq 0xc8d5(%rip), %rax      # 0x28180
movq 0xc8ce(%rip), %rcx      # 0x28180
movq -0x28(%rbp), %rdx
movq (%rcx,%rdx,8), %rcx
cmpq $-0x24, (%rax,%rcx,8)
je 0x1b8f1
movq 0xc8b8(%rip), %rax      # 0x28180
movq -0x10(%rbp), %rcx
movq (%rax,%rcx,8), %rdi
movq 0xc8a9(%rip), %rax      # 0x28180
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rdx
leaq 0x56bc(%rip), %rsi      # 0x20fa2
callq 0x1ad20
movq %rax, -0x8(%rbp)
jmp 0x1b926
jmp 0x1b8f3
movq 0xccd6(%rip), %rax      # 0x285d0
movq -0x28(%rbp), %rcx
movq (%rax,%rcx,8), %rax
movq %rax, -0x28(%rbp)
movl -0x34(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x34(%rbp)
jmp 0x1af86
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq -0x20(%rbp), %rdi
callq *%rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
addq $0x40, %rsp
popq %rbp
retq