typedef unsigned char u8;
typedef unsigned long long int u64;
typedef unsigned int ui;
void FIPS202_SHA3_512(const u8 *in, u64 inLen, u8 *out);