#ifndef PQCLEAN_MCELIECE8192128F_CLEAN_UTIL_H #define PQCLEAN_MCELIECE8192128F_CLEAN_UTIL_H /* This file is for loading/storing data in a little-endian fashion */ #include "gf.h" #include <stdint.h> void PQCLEAN_MCELIECE8192128F_CLEAN_store2(unsigned char * /*dest*/, gf /*a*/); uint16_t PQCLEAN_MCELIECE8192128F_CLEAN_load2(const unsigned char * /*src*/); uint32_t PQCLEAN_MCELIECE8192128F_CLEAN_load4(const unsigned char * /*in*/); void PQCLEAN_MCELIECE8192128F_CLEAN_store8(unsigned char * /*out*/, uint64_t /*in*/); uint64_t PQCLEAN_MCELIECE8192128F_CLEAN_load8(const unsigned char * /*in*/); gf PQCLEAN_MCELIECE8192128F_CLEAN_bitrev(gf /*a*/); #endif