Si codice_8 es no-negativa, entonces codice_9 se convierte en cero, y las dos últimas instrucciones no tienen efecto, dejando codice_8 sin cambios.