Los tipos de datos definidos en el fichero de cabecera codice_2 son: