private void append(StringBuilder s, string key, int val) { if (val == 0) return; if (s.Length > 0) s.Append('*'); s.Append(key).Append(val); }