method
get_value mem_id =
Hashtbl
.find value_map mem_id