pub const OQS_ENABLE_SHA3_xkcp_low_avx2: u32 = 1;