#include <inttypes.h>

extern int FIPS202_SHA3_512(const uint8_t *m,uint64_t n,uint8_t *h);

void sha3512_72(uint8_t *h,const uint8_t *m)
{
  FIPS202_SHA3_512(m,72,h);
}