let
empty =
Cilutil
.
VarinfoHashtbl
.create 10