pub const OQS_SIG_sphincs_sha2_192f_simple_length_signature: u32 = 35664;