let pretty_hash_ident_entry ident (_,str,_) = 
  fprintf !out_fmt "//  '%s' = '%s'\n" ident str