private static void append(StringBuilder s, long val, int width) { string str = val.ToString("X").ToLower(); for (int i=str.Length; i<width; ++i) s.Append('0'); s.Append(str); }