pub const OQS_SIG_sphincs_sha2_128s_simple_length_secret_key: u32 = 64;