let prerr_id_string () =
prerr_endline "% STRING ID rev.: [(ident_string,role_id):ident_id]";
Hashtbl.iter
(fun (st,i1) i2 ->
prerr_string "[(";
prerr_string st;
prerr_string ",";
prerr_int i1;
prerr_string "):";
prerr_int i2;
prerr_string "]")
string_id#get_tab_string_to_id;
prerr_newline()