-/*char *MD4End(MD4_CTX *, char [MD4_DIGEST_STRING_LENGTH])
- __attribute__((__bounded__(__minbytes__,2,MD4_DIGEST_STRING_LENGTH)));
-char *MD4File(char *, char [MD4_DIGEST_STRING_LENGTH])
- __attribute__((__bounded__(__minbytes__,2,MD4_DIGEST_STRING_LENGTH)));
-char *MD4Data(const uint8_t *, size_t, char [MD4_DIGEST_STRING_LENGTH])
- __attribute__((__bounded__(__string__,1,2)))
- __attribute__((__bounded__(__minbytes__,3,MD4_DIGEST_STRING_LENGTH)));*/