fn emsa_pss_verify_pre<'a>( m_hash: &[u8], em: &'a mut [u8], em_bits: usize, s_len: Option<usize>, h_len: usize, ) -> Result<(&'a mut [u8], &'a mut [u8])>