sS dropMultipleSlashes(S s) {
  ret regexpReplace_direct(s, "//+", "/");
}