First, the definition of a variable with an explicit initialization can use the auto keyword.
An Eiffel exception handler is defined using the rescue keyword.
