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()