svoid clearTokens_reTok(LS tok, int i, int j) {
  clearTokens(tok, i, j);
  reTok(tok, i, j);
}

svoid clearTokens_reTok(LS tok, IntRange r) {
  if (r != null)
    clearTokens_reTok(tok, r.start, r.end);
}