SHA384_DIGEST_STRING_LENGTH
__attribute__((__bounded__(__minbytes__,2,SHA384_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA384_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA384_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,3,SHA384_DIGEST_STRING_LENGTH)));