static void tokAppend_reTok(L<S> tok, int i, S s) {
  tok.set(i, tok.get(i)+s);
  reTok(tok, i, i+1);
}