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