public object getOrThrow(object key) { object val = m_map[key]; if (val != null) return val; if (containsKey(key)) return null; throw UnknownKeyErr.make(key.ToString()).val; }