let local_iter_vars = Hashtbl.create 97