#ifndef PQCLEAN_MCELIECE6688128F_AVX_UINT32_SORT_H #define PQCLEAN_MCELIECE6688128F_AVX_UINT32_SORT_H #include #include void PQCLEAN_MCELIECE6688128F_AVX_uint32_sort(uint32_t *x, size_t n); #endif