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