Esto significa que la llamada a codice_2 nunca puede volver.