5.1. Exception functions - JulTob/Ada GitHub Wiki
We can rename an exception with a function
function Msg (X : Exceptions.Exception_Occurrence)
-- Profile for Exception_Message function
return String
-- Return type for Exception_Message
renames Exceptions.Exception_Message;