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