#ifndef PQCLEAN_MCELIECE8192128F_AVX_SK_GEN_H
#define PQCLEAN_MCELIECE8192128F_AVX_SK_GEN_H
/*
  This file is for secret-key generation
*/


#include "gf.h"

#include <stdint.h>

int PQCLEAN_MCELIECE8192128F_AVX_genpoly_gen(gf * /*out*/, gf * /*f*/);
int PQCLEAN_MCELIECE8192128F_AVX_perm_check(const uint32_t * /*p*/);

#endif