public override string toStr()
{
if (m_map.Count == 0) return "[:]";
StringBuilder s = new StringBuilder(32+m_map.Count*32);
s.Append("[");
bool first = true;
IDictionaryEnumerator en = m_map.GetEnumerator();
while (en.MoveNext())
{
object key = en.Key;
object val = en.Value;
if (!first) s.Append(", ");
else first = false;
s.Append(key).Append(':').Append(val);
}
s.Append("]");
return s.ToString();
}