Considérese el siguiente ejemplo de uso de aserciones para manejar un error: