pub const OQS_USE_POPCNT_INSTRUCTIONS: u32 = 1;