svoid tokReplace(LS tok, int i, S t) {
  set(tok, i, t);
}