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