sS dropLeadingCommas(S s) {
  int i = 0;
  while (i < l(s)) {
    char c = s.charAt(i);
    if (c != ',' && !isSpace(c)) break;
    ++i;
  }
  ret substring(s, i);
}