sS simpleSpaces_noTok(S s) {
  ret s == null ? null : s.replaceAll(s, "\\s+", " ");
}