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

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

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

  ret tok;
}