/* Return: A string for indenting with two spaces per level is returned.  */
static const char* indent_string(int level)
/* Return: A string for indenting with two spaces per level is returned.  */
static const char* indent_string(int level)
{
	const char *indent = "                    ";
	const int max = strlen(indent);
	level = min(max, level * 2);
	return &indent[max - level];
}