private void WriteIndents(FileStream f, int indentLevel) { WriteString(f, new string('\t', indentLevel), false); }