pub const OQS_SIG_sphincs_shake_128f_simple_length_public_key: u32 = 32;