let used_variables = Hashtbl.create 257