let local_tmp_vars = Hashtbl.create 97