__min_size
const uint8_t[__min_size(SIPHASH_KEY_LENGTH)]);
void SipHash_Final(uint8_t[__min_size(SIPHASH_DIGEST_LENGTH)], SIPHASH_CTX *);
const uint8_t[__min_size(SIPHASH_KEY_LENGTH)], const void *, size_t);