Constant OQS_ENABLE_SIG_sphincs_shake_256s_simple_avx2 

pub const OQS_ENABLE_SIG_sphincs_shake_256s_simple_avx2: u32 = 1;