svoid tokReplace_reTok(L<S> tok, int i, int j, S s) {
  replaceTokens_reTok(tok, i, j, s);
}

svoid tokReplace_reTok(L<S> tok, int i, S s) {
  replaceTokens_reTok(tok, i, i+1, s);
}