Constant OQS_ENABLE_KEM_kyber_512_avx2 

pub const OQS_ENABLE_KEM_kyber_512_avx2: u32 = 1;