RMD160_DIGEST_STRING_LENGTH
__attribute__((__bounded__(__minbytes__,2,RMD160_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,RMD160_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,2,RMD160_DIGEST_STRING_LENGTH)));
__attribute__((__bounded__(__minbytes__,3,RMD160_DIGEST_STRING_LENGTH)));
char *new_digest, buf[RMD160_DIGEST_STRING_LENGTH];
char *rmd160digest, buf[RMD160_DIGEST_STRING_LENGTH];