El fichero de cabecera codice_2 define las siguientes variables: