static IntRange antitrim(S s, int start, int end) {
  while (start > 0 && isSpace(s.charAt(start-1))) --start;
  while (end < l(s) && isSpace(s.charAt(end))) ++end;
  ret intRange(start, end);
}