let prerr_string_id () =
prerr_endline "% STRING ID: [ident_id:ident_string]";
Hashtbl.iter
(fun i st ->
prerr_string "[";
prerr_int i; prerr_string ":";
prerr_string st;
prerr_string "]")
string_id#get_tab;
prerr_newline()