let used_typeinfo = Hashtbl.create 257