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