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