char * strchr(const char * s, int c) 
char *strchr(const char *s, int c) 
char * strchr(const char * s, int c){	for(; *s != (char) c; ++s)		if (*s == '\0')			return NULL;	return (char *) s;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/51a0f0f658b0e757d569e8ac224ccb6bbfe3c181/string.c/clean/lib/string.c