La lista de los símbolos reservados, incluye, por supuesto codice_2, codice_3 y codice_4.