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