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