9 #define POLY1305_KEYLEN    32    10 #define POLY1305_TAGLEN    16    12 void poly1305_auth(uint8_t out[POLY1305_TAGLEN], 
const uint8_t *m, 
size_t inlen,
    13     const uint8_t key[POLY1305_KEYLEN])
    14 #ifdef HAVE_GCC_BOUNDED_ATTRIBUTE    15     __attribute__((__bounded__(__minbytes__, 1, POLY1305_TAGLEN)))
    16     __attribute__((__bounded__(__buffer__, 2, 3)))
    17     __attribute__((__bounded__(__minbytes__, 4, POLY1305_KEYLEN)))