#define NULL (void *)0
char *
savestr(s)
	register char *s;
{
	register char *r; void *malloc();
	void abort();
	/* squirrel away matched file name */
	if (NULL == (r = malloc((unsigned)strlen(s)+1)))
		/*lint -e512 */ abort(); /*lint +e512 */
	strcpy(r,s);
	r[strlen(s)] = '\0';
	return r;
}