let empty = Varinfo.Hashtbl.create 10