svoid tokSet_withReTok(LS tok, int i, S t) {
  put(tok, i, t);
  reTok(tok, i, i+1);
}