static int countLeadingSpaces(String s) {
  int i = 0, n = l(s);
  while (i < n && (s.charAt(i) == ' ' || s.charAt(i) == '\t'))
    ++i;
  ret i;
}