tab = (Hashtbl.create 50: (int,term_type) Hashtbl.t)