La palabra clave codice_7 indica que las siguientes variables están léxicamente embebidas en el bloque que las contienen.