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; }