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