sS dropLeadingComma(S s) {
  ret dropPrefix(",", s);
}