// File: karel-brinda[P]ococo/ext/htslib/kstring.c
// Function: kstrtok
char *kstrtok(const char *str, const char *sep, ks_tokaux_t *aux)
{
	const char *p, *start;
	if (sep) { // set up the table
		if (str == 0 && (aux->tab[0]&1)) return 0; // no need to set up if we have finished
		aux->finished = 0;
		if (sep[1]) {
			aux->sep = -1;
			aux->tab[0] = aux->tab[1] = aux->tab[2] = aux->tab[3] = 0;
			for (p = sep; *p; ++p) aux->tab[*p>>6] |= 1ull<<(*p&0x3f);
		} else aux->sep = sep[0];
	}
	if (aux->finished) return 0;
	else if (str) aux->p = str - 1, aux->finished = 0;
	if (aux->sep < 0) {
		for (p = start = aux->p + 1; *p; ++p)
			if (aux->tab[*p>>6]>>(*p&0x3f)&1) break;
	} else {
		for (p = start = aux->p + 1; *p; ++p)
			if (*p == aux->sep) break;
	}
	aux->p = p; // end of token
	if (*p == 0) aux->finished = 1; // no more tokens
	return (char*)start;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq %rdx, -0x20(%rbp)
cmpq $0x0, -0x18(%rbp)
je 0x62273
cmpq $0x0, -0x10(%rbp)
jne 0x621c0
movq -0x20(%rbp), %rax
movq (%rax), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x621c0
movq $0x0, -0x8(%rbp)
jmp 0x62383
movq -0x20(%rbp), %rax
movl $0x0, 0x24(%rax)
movq -0x18(%rbp), %rax
cmpb $0x0, 0x1(%rax)
je 0x62263
movq -0x20(%rbp), %rax
movl $0xffffffff, 0x20(%rax) # imm = 0xFFFFFFFF
movq -0x20(%rbp), %rax
movq $0x0, 0x18(%rax)
movq -0x20(%rbp), %rax
movq $0x0, 0x10(%rax)
movq -0x20(%rbp), %rax
movq $0x0, 0x8(%rax)
movq -0x20(%rbp), %rax
movq $0x0, (%rax)
movq -0x18(%rbp), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
cmpb $0x0, (%rax)
je 0x62261
movq -0x28(%rbp), %rax
movsbl (%rax), %eax
andl $0x3f, %eax
movl %eax, %eax
movl %eax, %ecx
movl $0x1, %edx
shlq %cl, %rdx
movq -0x20(%rbp), %rax
movq -0x28(%rbp), %rcx
movsbl (%rcx), %ecx
sarl $0x6, %ecx
movslq %ecx, %rcx
orq (%rax,%rcx,8), %rdx
movq %rdx, (%rax,%rcx,8)
movq -0x28(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rbp)
jmp 0x6221b
jmp 0x62271
movq -0x18(%rbp), %rax
movsbl (%rax), %ecx
movq -0x20(%rbp), %rax
movl %ecx, 0x20(%rax)
jmp 0x62273
movq -0x20(%rbp), %rax
cmpl $0x0, 0x24(%rax)
je 0x6228a
movq $0x0, -0x8(%rbp)
jmp 0x62383
cmpq $0x0, -0x10(%rbp)
je 0x622ac
movq -0x10(%rbp), %rcx
addq $-0x1, %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x20(%rbp), %rax
movl $0x0, 0x24(%rax)
jmp 0x622ae
movq -0x20(%rbp), %rax
cmpl $0x0, 0x20(%rax)
jge 0x62317
movq -0x20(%rbp), %rax
movq 0x28(%rax), %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
cmpb $0x0, (%rax)
je 0x62315
movq -0x20(%rbp), %rax
movq -0x28(%rbp), %rcx
movsbl (%rcx), %ecx
sarl $0x6, %ecx
movslq %ecx, %rcx
movq (%rax,%rcx,8), %rax
movq -0x28(%rbp), %rcx
movsbl (%rcx), %ecx
andl $0x3f, %ecx
movl %ecx, %ecx
shrq %cl, %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x62305
jmp 0x62315
jmp 0x62307
movq -0x28(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rbp)
jmp 0x622cc
jmp 0x62358
movq -0x20(%rbp), %rax
movq 0x28(%rax), %rax
addq $0x1, %rax
movq %rax, -0x30(%rbp)
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
cmpb $0x0, (%rax)
je 0x62356
movq -0x28(%rbp), %rax
movsbl (%rax), %eax
movq -0x20(%rbp), %rcx
cmpl 0x20(%rcx), %eax
jne 0x62346
jmp 0x62356
jmp 0x62348
movq -0x28(%rbp), %rax
addq $0x1, %rax
movq %rax, -0x28(%rbp)
jmp 0x6232b
jmp 0x62358
movq -0x28(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, 0x28(%rax)
movq -0x28(%rbp), %rax
movsbl (%rax), %eax
cmpl $0x0, %eax
jne 0x6237b
movq -0x20(%rbp), %rax
movl $0x1, 0x24(%rax)
movq -0x30(%rbp), %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
popq %rbp
retq
nopl (%rax)