char *get_temp(void)
{
	/* max temporary allocated so far */
	static int max_temp = 0;
	static char tempname[MAXIDELN];

	max_temp++;
	snprintf(tempname, MAXIDELN, "Temp&%d", max_temp);
	check_id(tempname);
	return tempname;
}