pub fn test_sha_impl<S: Sha>(sha: &S)