method set_value mem_id t =
    Hashtbl.add value_map mem_id t