let
return_vars =
VarinfoHashtbl
.create 17