(De la misma manera que codice_54 es un sinónimo de codice_55), siempre que la declaración codice_56 ahora comienza (substitución de [3]) con