char int2char( int i )
	{ //Return a char to print the numerical value of an int
	  // in one char.
	if ( i < 0 ) { return '~'; }
	if ( i < 10 ) { return '0' + i; }
	if ( i < 36 ) { return 'a' + i - 10; }
	if ( i < 62 ) { return 'A' + i - 36; }
	return '$';
	}