void * memset(void * s,int c,size_t count) 
void *memset(void *s, int c, size_t count) 
void * memset(void * s,int c,size_t count){	char *xs = (char *) s;	while (count--)		*xs++ = c;	return s;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/51a0f0f658b0e757d569e8ac224ccb6bbfe3c181/string.c/buggy/lib/string.c