svoid replaceTokenWithSpace(LS tok, int i) {
  tokSet(tok, i,
    endsWithSpaceEtc(get(tok, i-1))
    || startsWithSpaceEtc(get(tok, i+1)) ? "" : " ");
}