strcpy(source_uri,source_uri_prefix);
sprintf(tmp,"#xpointer(1/%d)", inductive_type);
strcat(source_uri,tmp);
/* fprintf(stderr,"cinque"); */
free(tmp);
strcpy(source_uri,source_uri_prefix);
sprintf(tmp,"#xpointer(1/%d)", inductive_type);
strcat(source_uri,tmp);
/* fprintf(stderr,"cinque"); */
free(tmp);