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