+#warning CHECK THE INTERVALS
+ {
+ /* int 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); */
+ int k;
+ for(k = 0; k < *nb_switches - 1; k++) {
+ if(switches[k] > switches[k+1]) {
+ abort();
+ }
+ }
+ }