copy deep_copy filter filter_indices m_allocate m_contains m_delete m_entry m_indices m_reallocate m_values map map_indices mappingp member mkmapping rmember sizeof unmkmapping walk_mapping widthof