Constant oqs_sys::common::OQS_USE_AVX512_INSTRUCTIONS

pub const OQS_USE_AVX512_INSTRUCTIONS: u32 = 1;