EBUFSIZE
__attribute__((__bounded__(__minbytes__,1,EBUFSIZE)));
#if SHA512_DIGEST_LENGTH < EBUFSIZE
memcpy(buf, digest, EBUFSIZE);
u_int8_t buf[EBUFSIZE], *p;