Constant OQS_USE_VPCLMULQDQ_INSTRUCTIONS

pub const OQS_USE_VPCLMULQDQ_INSTRUCTIONS: u32 = 1;