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