let type_table = Hashtbl.create 7