char * strcpy(char * dest,const char *src) 
char *strcpy(char *dest, const char *src) 
char * strcpy(char * dest,const char *src){	char *tmp = dest;	while ((*dest++ = *src++) != '\0')		/* nothing */;	return tmp;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/51a0f0f658b0e757d569e8ac224ccb6bbfe3c181/string.c/clean/lib/string.c