Si teniéndolo todo ya compilado ejecutamos codice_1 de nuevo veremos: