Un controlador de excepciones Eiffel se define utilizando la palabra clave codice_42.