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