#ifndef PQCLEAN_MCELIECE8192128F_AVX2_API_H
#define PQCLEAN_MCELIECE8192128F_AVX2_API_H

#include <stdint.h>

#define PQCLEAN_MCELIECE8192128F_AVX2_CRYPTO_ALGNAME "Classic McEliece 8192128"
#define PQCLEAN_MCELIECE8192128F_AVX2_CRYPTO_PUBLICKEYBYTES 1357824
#define PQCLEAN_MCELIECE8192128F_AVX2_CRYPTO_SECRETKEYBYTES 14120
#define PQCLEAN_MCELIECE8192128F_AVX2_CRYPTO_CIPHERTEXTBYTES 208
#define PQCLEAN_MCELIECE8192128F_AVX2_CRYPTO_BYTES 32

int PQCLEAN_MCELIECE8192128F_AVX2_crypto_kem_enc(
    uint8_t *c,
    uint8_t *key,
    const uint8_t *pk
);

int PQCLEAN_MCELIECE8192128F_AVX2_crypto_kem_dec(
    uint8_t *key,
    const uint8_t *c,
    const uint8_t *sk
);

int PQCLEAN_MCELIECE8192128F_AVX2_crypto_kem_keypair
(
    uint8_t *pk,
    uint8_t *sk
);

#endif