visited = Varinfo.Hashtbl.create 17