+ #warning CHECK THE INTERVALS
+ {
+ int k, i;
+ FILE *out = fopen("/tmp/intervals", "w");
+ for(k = 0; k < (*nb_switches)/2; k++) {
+ i = 0;
+ for(; i < switches[2 * k]; i++) fprintf(out, "-");
+ for(; i < switches[2 * k + 1]; i++) fprintf(out, "%c", string[i]);
+ for(; i < strlen(string); i++) fprintf(out, "-");
+ fprintf(out, "\n");
+ }
+ fclose(out);
+ for(k = 0; k < *nb_switches - 1; k++) {
+ if(switches[k] > switches[k+1]) {
+ abort();
+ }
+ }
+ }