1 #ifndef PQCLEAN_MCELIECE6688128F_AVX_INT32_SORT_H
2 #define PQCLEAN_MCELIECE6688128F_AVX_INT32_SORT_H
3 
4 #include <stddef.h>
5 #include <stdint.h>
6 
7 void PQCLEAN_MCELIECE6688128F_AVX_int32_sort(int32_t *x, size_t n);
8 
9 #endif
10