Constant oqs_sys::common::OQS_ENABLE_SIG_sphincs_shake_192f_simple_avx2

pub const OQS_ENABLE_SIG_sphincs_shake_192f_simple_avx2: u32 = 1;