SHA1_DIGEST_STRING_LENGTH
__attribute__((__bounded__(__minbytes__,2,SHA1_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA1_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,SHA1_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,3,SHA1_DIGEST_STRING_LENGTH)));
char *new_digest, buf[SHA1_DIGEST_STRING_LENGTH];
char *sha1digest, buf[SHA1_DIGEST_STRING_LENGTH];
char digest[SHA1_DIGEST_STRING_LENGTH];