pub const OQS_ENABLE_SIG_sphincs_sha2_256f_simple: u32 = 1;