POLY1305_KEYLEN
POLY1305_KEYLEN);
uint8_t key[POLY1305_KEYLEN];
u_char expected_tag[POLY1305_TAGLEN], poly_key[POLY1305_KEYLEN];
u_char expected_tag[POLY1305_TAGLEN], poly_key[POLY1305_KEYLEN];
poly1305_auth(unsigned char out[POLY1305_TAGLEN], const unsigned char *m, size_t inlen, const unsigned char key[POLY1305_KEYLEN]) {
const u_char key[POLY1305_KEYLEN])
__attribute__((__bounded__(__minbytes__, 4, POLY1305_KEYLEN)));