char *strcat(char *dest, const char *src){	char *tmp = dest;	while (*dest)		dest++;	while ((*dest++ = *src++) != '\0')		;	return tmp;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/850b9247926693454f71e819883f4dc06184e25f/string.c/buggy/lib/string.c