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