SHAKE128_Final
SHAKE128_Final(d, 41, shake128);
SHAKE128_Final(d, 41, shake128);
__weak_alias(SHAKE128_Final,_SHAKE128_Final)
SHAKE128_Final(rs.data, sizeof(rs.data), &shake128);
void SHAKE128_Final(uint8_t *, size_t, SHAKE128_CTX *);