size_t strlen(const char * s) 
size_t strlen(const char *s) 
size_t strlen(const char * s){	const char *sc;	for (sc = s; *sc != '\0'; ++sc)		/* nothing */;	return sc - s;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/51a0f0f658b0e757d569e8ac224ccb6bbfe3c181/string.c/buggy/lib/string.c