private void AddStaticString(string s) { if (!staticStrings.ContainsKey(s)) { staticStrings.Add(s, nextStaticStringId++); } }