let
var_addr =
Hashtbl
.create 7