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