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