text: #ifndef FIPS202_H
  #define FIPS202_H
  
  #include <stdint.h>
  
  #define SHAKE128_RATE 168
  #define SHAKE256_RATE 136
  #define SHA3_256_RATE 136
  #define SHA3_512_RATE  72
  
  void shake128_absorb(uint64_t *s, const unsigned char *input, unsigned int inputByteLen);
  void shake128_squeezeblocks(unsigned char *output, unsigned long long nblocks, uint64_t *s);
  void shake128(unsigned char *output, unsigned long long outlen, const unsigned char *input,  unsigned long long inlen);
  
  void cshake128_simple_absorb(uint64_t *s, uint16_t cstm, const unsigned char *in, unsigned long long inlen);
  void cshake128_simple_squeezeblocks(unsigned char *output, unsigned long long nblocks, uint64_t *s);
  void cshake128_simple(unsigned char *output, unsigned long long outlen, uint16_t cstm, const unsigned char *in, unsigned long long inlen);
  
  void shake256_absorb(uint64_t *s, const unsigned char *input, unsigned int inputByteLen);
  void shake256_squeezeblocks(unsigned char *output, unsigned long long nblocks, uint64_t *s);
  void shake256(unsigned char *output, unsigned long long outlen, const unsigned char *input,  unsigned long long inlen);
  
  void cshake256_simple_absorb(uint64_t *s, uint16_t cstm, const unsigned char *in, unsigned long long inlen);
  void cshake256_simple_squeezeblocks(unsigned char *output, unsigned long long nblocks, uint64_t *s);
  void cshake256_simple(unsigned char *output, unsigned long long outlen, uint16_t cstm, const unsigned char *in, unsigned long long inlen);
  
  void sha3_256(unsigned char *output, const unsigned char *input,  unsigned long long inlen);
  void sha3_512(unsigned char *output, const unsigned char *input,  unsigned long long inlen);
  
  void keccak_absorb(uint64_t *s,
                            unsigned int r,
                            const unsigned char *m, unsigned long long int mlen,
                            unsigned char p);
  
  
  void keccak_squeezeblocks(unsigned char *h, unsigned long long int nblocks,
                                   uint64_t *s, 
                                   unsigned int r);
  
  #endif
  