char * strsep(char **s, const char *ct){	char *sbegin = *s, *end;	if (sbegin == NULL)		return NULL;	end = strpbrk(sbegin, ct);	if (end)		*end++ = '\0';	*s = end;	return sbegin;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/51a0f0f658b0e757d569e8ac224ccb6bbfe3c181/string.c/clean/lib/string.c