fails:Digest::SHA512#to_s returns a hexdigest
fails:Digest::SHA512#to_s does not change the internal state
fails:"Digest::SHA512#to_s returns a hexdigest"
fails:"Digest::SHA512#to_s does not change the internal state"
