svoid replaceTokens_reTokLater(LS tok, L<IntRange> reToks, int i, int j, S text) {
  if (j <= i) ret;
  replaceTokens(tok, i, j, text);
  reToks.add(intRange(i, j));
}