En Ada, cuando se produce algún error durante la ejecución de un