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)))