public static string ToStringOct(Tv[] a) { string str = ""; int offset = 0; while (offset < a.Length) { str = ToolsZ3.BitToCharOct(GetTv(offset), GetTv(offset + 1), GetTv(offset + 2)) + str; offset += 3; if ((offset > 0) && (offset < a.Length) && ((offset % 9) == 0)) { str = '_' + str; } } return("0o" + str); #region Local Methods Tv GetTv(int pos) { return(((pos < a.Length) && (pos >= 0)) ? a[pos] : Tv.ZERO); } #endregion }