#ifndef PQCLEAN_MCELIECE8192128F_AVX_PK_GEN_H
#define PQCLEAN_MCELIECE8192128F_AVX_PK_GEN_H
/*
  This file is for public-key generation
*/

#include <stdint.h>

int PQCLEAN_MCELIECE8192128F_AVX_pk_gen(unsigned char * /*pk*/, uint32_t * /*perm*/, const unsigned char * /*sk*/);

#endif

