let gvi_get_name gid = try Globals.global_var_id#get_name_of gid with Not_found -> prerr_endline ("Utils.gvi_get_name: The integer "^(string_of_int gid)^" is not a key in the global_var_id table"); raise Not_found