#ifndef PQCLEAN_MCELIECE8192128F_AVX_API_H
#define PQCLEAN_MCELIECE8192128F_AVX_API_H

#include <stdint.h>

#define PQCLEAN_MCELIECE8192128F_AVX_CRYPTO_ALGNAME "Classic McEliece 8192128f"
#define PQCLEAN_MCELIECE8192128F_AVX_CRYPTO_PUBLICKEYBYTES 1357824
#define PQCLEAN_MCELIECE8192128F_AVX_CRYPTO_SECRETKEYBYTES 14080
#define PQCLEAN_MCELIECE8192128F_AVX_CRYPTO_CIPHERTEXTBYTES 240
#define PQCLEAN_MCELIECE8192128F_AVX_CRYPTO_BYTES 32


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

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

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

#endif