let used_variables = Hashtbl.create 123