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); }