value_map = (Hashtbl.create 50: (int,if_value_type) Hashtbl.t)