text: #ifndef PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_HASH_H
  #define PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_HASH_H
  
  #include "hash_state.h"
  
  #include <stddef.h>
  #include <stdint.h>
  
  void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_initialize_hash_function(
      hash_state *hash_state_seeded,
      const unsigned char *pub_seed, const unsigned char *sk_seed);
  
  void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_destroy_hash_function(hash_state *hash_state_seeded);
  
  void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_prf_addr(
      unsigned char *out, const unsigned char *key, const uint32_t addr[8],
      const hash_state *hash_state_seeded);
  
  void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_gen_message_random(
      unsigned char *R,
      const unsigned char *sk_prf, const unsigned char *optrand,
      const unsigned char *m, size_t mlen,
      const hash_state *hash_state_seeded);
  
  void PQCLEAN_SPHINCSSHAKE256128FROBUST_AVX2_hash_message(
      unsigned char *digest, uint64_t *tree, uint32_t *leaf_idx,
      const unsigned char *R, const unsigned char *pk,
      const unsigned char *m, size_t mlen,
      const hash_state *hash_state_seeded);
  
  #endif
  