Constant OQS_USE_SHA3_AVX512VL 

pub const OQS_USE_SHA3_AVX512VL: u32 = 1;