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