output_indent
static void output_indent (size_t);
if (old_indent>0) output_indent(old_indent);
if (indent>0) output_indent(indent);