__bounded__
__attribute__((__bounded__(__minbytes__, 2, CHACHA_MINKEYLEN)));
__attribute__((__bounded__(__minbytes__, 2, CHACHA_NONCELEN)))
__attribute__((__bounded__(__minbytes__, 3, CHACHA_CTRLEN)));
__attribute__((__bounded__(__buffer__, 2, 4)))
__attribute__((__bounded__(__buffer__, 3, 4)));
__attribute__((__bounded__(__buffer__,2,3)));
__attribute__((__bounded__ (__string__,2,3)));
__attribute__((__bounded__(__buffer__,2,3)));
__attribute__ ((__bounded__(__string__,1,3)));
__attribute__ ((__bounded__(__string__,1,3)));
__attribute__ ((__bounded__(__buffer__,2,3)));
__attribute__ ((__bounded__(__buffer__,1,2)));
__attribute__ ((__bounded__(__buffer__,2,3)));
__attribute__ ((__bounded__(__buffer__,1,2)));
__attribute__ ((__bounded__(__buffer__,2,3)));
__attribute__ ((__bounded__(__buffer__,1,2)));
__attribute__ ((__bounded__(__buffer__,2,3)));
__attribute__ ((__bounded__(__buffer__,1,2)));
__attribute__ ((__bounded__(__buffer__,2,3)));
__attribute__ ((__bounded__(__buffer__,1,2)));
__attribute__ ((__bounded__(__buffer__,2,3)));
__attribute__ ((__bounded__(__buffer__,1,2)));
__attribute__((__bounded__(__minbytes__, 2, CHACHA_MINKEYLEN)));
__attribute__((__bounded__(__minbytes__, 2, CHACHA_NONCELEN)))
__attribute__((__bounded__(__minbytes__, 3, CHACHA_CTRLEN)));
__attribute__((__bounded__(__buffer__, 2, 4)))
__attribute__((__bounded__(__buffer__, 3, 4)));
__attribute__((__bounded__(__buffer__, 1, 2)));
__attribute__((__bounded__(__buffer__, 4, 5)));
#if !defined(HAVE_ATTRIBUTE__BOUNDED__) && !defined(__bounded__)
__attribute__((__bounded__(__buffer__, 2, 3)))
__attribute__((__bounded__(__buffer__, 4, 5)));
__attribute__((__bounded__(__buffer__, 3, 4)));
__attribute__((__bounded__(__buffer__, 2, 3)));
__attribute__((__bounded__(__buffer__, 2, 3)));
__attribute__((__bounded__(__buffer__, 2, 3)));
__attribute__((__bounded__(__buffer__, 2, 3)));
__attribute__((__bounded__(__buffer__, 2, 3)));
__attribute__((__bounded__(__minbytes__, 1, CURVE25519_SIZE)))
__attribute__((__bounded__(__minbytes__, 2, CURVE25519_SIZE)));
__attribute__((__bounded__(__minbytes__, 1, CURVE25519_SIZE)))
__attribute__((__bounded__(__minbytes__, 2, CURVE25519_SIZE)));
__attribute__((__bounded__(__minbytes__, 1, CURVE25519_SIZE)))
__attribute__((__bounded__(__minbytes__, 2, CURVE25519_SIZE)));
__attribute__((__bounded__(__minbytes__, 1, CURVE25519_SIZE)))
__attribute__((__bounded__(__minbytes__, 2, CURVE25519_SIZE)))
__attribute__((__bounded__(__minbytes__, 3, CURVE25519_SIZE)));
__attribute__((__bounded__( __minbytes__, 1, 8)));
__attribute__((__bounded__( __minbytes__, 1, 4)));
__attribute__((__bounded__( __minbytes__, 1, 2)));
__attribute__((__bounded__( __minbytes__, 1, 8)));
__attribute__((__bounded__( __minbytes__, 1, 4)));
__attribute__((__bounded__( __minbytes__, 1, 2)));
__attribute__((__bounded__(__minbytes__, 1, 4)));
__attribute__((__bounded__(__minbytes__, 1, 4)));
__attribute__((__bounded__(__minbytes__, 1, POLY1305_TAGLEN)))
__attribute__((__bounded__(__buffer__, 2, 3)))
__attribute__((__bounded__(__minbytes__, 4, POLY1305_KEYLEN)));
char *, size_t) __attribute__((__bounded__(__string__, 2, 3)));