#ifndef int32_sort_h
#define int32_sort_h
#include "crypto_int32.h"
#define int32_sort crypto_kem_ntrulpr4591761_avx_int32_sort
extern void int32_sort(crypto_int32 *,int);
#endif