Constant OQS_ENABLE_SIG_sphincs_shake_192f_simple 

pub const OQS_ENABLE_SIG_sphincs_shake_192f_simple: u32 = 1;