static String xltrim(String s) {
  int i = 0;
  while (i < s.length() && contains(" \t\r\n", s.charAt(i)))
    ++i;
  return substr(s, i);
}