Hacl.MD5Direct hashing with MD5
This function should not be used for cryptographic applications!
The digest buffer must match the digest size of MD5, which is 16 bytes.
type bytes = SharedDefs.CBytes.tmodule Noalloc : sig ... endVersion of this function which writes its output in a buffer passed in as an argument