La aserción explicita esta suposición — si codice_5 devuelve un valor negativo, es probable que haya un fallo en el programa.