** The new function error-message-string converts an error datum
into its error message. The error datum is what condition-case puts into the variable, to describe the error that happened.