Constant OQS_USE_PCLMULQDQ_INSTRUCTIONS 

pub const OQS_USE_PCLMULQDQ_INSTRUCTIONS: u32 = 1;