let set_varinfo name vi =
  Hashtbl.add varinfos name vi