svoid replaceToken_reTok(LS tok, int i, S t) { tokSet_withReTok(tok, i, t); }