objeto del tipo Exception_Ocurrence, definido dentro del paquete predefinido Ada.Exceptions.