let
new_mem () = { variables =
Varinfo
.
Hashtbl
.create 10; }