Constant PQCLEAN_KYBER512_AVX2_CRYPTO_PUBLICKEYBYTES

pub const PQCLEAN_KYBER512_AVX2_CRYPTO_PUBLICKEYBYTES: usize = 800;