let
varinfos =
Hashtbl
.create 97