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