static boolean hasSpace(S s) {
  ret s.indexOf(' ') >= 0;
}