svoid tokReplaceIfNotNull(LS tok, int i, S t) {
  if (t != null) tok.set(i, t);
}