svoid replaceTokens_reTok(LS tok, int i, int j, S s) {
  replaceTokens(tok, i, j, s);
  reTok(tok, i, j);
}

svoid replaceTokens_reTok(LS tok, IntRange r, S s) {
  replaceTokens_reTok(tok, r.start, r.end, s);
}