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