sS dropLeadingEmptyLines(S s) {
  ret regexpReplace_direct(s, "^[ \t \r \n]*\n", "");
}