let
reset_digest_cache () =
Hashtbl
.clear digest_cache