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