En dicha cabecera se declara, entre otras cosas, la función codice_3.