pub const OQS_SIG_sphincs_shake_128s_simple_length_signature: u32 = 7856;