/* Generate a unique temporary name.  Stolen from stdio, but changed to
 * generate shorter variable names so extensions can be added.
 */

char *tmpnam(s)
char *s;
{
	static seed;

	sprintf(s, "t%d.%d", getpid(), seed++);
	return(s);
}