let prerr_global_ids () =
  prerr_endline "% GLOBAL VAR ID:  [var_num:(role_id,ident_id)]";
  Hashtbl.iter
    (fun i (j,k) ->
      prerr_string "["; prerr_int i; prerr_string ":"
      prerr_string "("; prerr_int j; prerr_string ",";
      prerr_int k; prerr_string ")";
      prerr_string "]")
    global_var_id#get_tab;
  prerr_newline()