pub const OQS_SIG_sphincs_sha2_128f_simple_length_signature: u32 = 17088;