let varinfos = Hashtbl.create 97