pub const OQS_ENABLE_KEM_hqc_128_avx2: u32 = 1;