text: #ifndef PQCLEAN_MCELIECE6960119_SSE_AES256CTR_H
  #define PQCLEAN_MCELIECE6960119_SSE_AES256CTR_H
  
  #include <stddef.h>
  #include <stdint.h>
  
  #include "aes.h"
  
  
  void PQCLEAN_MCELIECE6960119_SSE_aes256ctr(
      uint8_t *out,
      size_t outlen,
      const uint8_t nonce[AESCTR_NONCEBYTES],
      const uint8_t key[AES256_KEYBYTES]
  );
  
  #endif
  