let
empty =
Varinfo
.
Hashtbl
.create 10