method
set_value mem_id t =
Hashtbl
.add value_map mem_id t