svoid tokPrepend_reTok(L<S> tok, int i, S s) {
  tokPrepend(tok, i, s);
  reTok(tok, i, i+1);
}