char * strncpy(char * dest,const char *src,size_t count) 
char *strncpy(char *dest, const char *src, size_t count) 
char * strncpy(char * dest,const char *src,size_t count){	char *tmp = dest;	while (count) {		if ((*tmp = *src) != 0) src++;		tmp++;		count--;	}	return dest;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/51a0f0f658b0e757d569e8ac224ccb6bbfe3c181/string.c/buggy/lib/string.c