// places must be sorted
static LS reTok_multi(LS tok, L<IntRange> places) {
  if (empty(places)) ret tok;
  L<S> orig = cloneList(tok);
  
  new L<IntRange> places2;
  for (IntRange p : places) {
    p = intRange(p.start & ~1, p.end | 1);
    if (nempty(places2) && p.start <= last(places2).end)
      last(places2).end = p.end;
    else
      places2.add(p);
  }
  
  ifdef reTok_multi_debug
    printStruct("places: ", places2);
  endifdef
 
  int iPlace = 0, n = l(orig);
  IntRange p = get(places2, iPlace);
  tok.clear();

  int i = 0, next = p.start;
  while (i < n)
    if (i < next)
      tok.add(orig.get(i++));
    else {
      int j = p.end;
      
      S s = joinSubList(orig, i, j);
      ifdef reTok_multi_debug
        printStruct("retokking: ", s);
      endifdef

      tok.addAll(javaTok(s));
      i = j;
      p = get(places2, ++iPlace);
      if (p == null) break;
      next = p.start;
    }
    
  while (i < n)
    tok.add(orig.get(i++));

  ret tok;
}