let var_addr = Hashtbl.create 7