char *
itoa (a)
	{
	static char buf [8];

	buf [itob (buf, a, 16)] = NULL;
	return buf;
	}