8#include "libssh/chacha20-poly1305-common.h" 
   14void poly1305_auth(uint8_t out[POLY1305_TAGLEN], 
const uint8_t *m, 
size_t inlen,
 
   15    const uint8_t key[POLY1305_KEYLEN])
 
   16#ifdef HAVE_GCC_BOUNDED_ATTRIBUTE 
   17    __attribute__((__bounded__(__minbytes__, 1, POLY1305_TAGLEN)))
 
   18    __attribute__((__bounded__(__buffer__, 2, 3)))
 
   19    __attribute__((__bounded__(__minbytes__, 4, POLY1305_KEYLEN)))