sS doubleToSingleSlashes(S s) {
  ret replace(s, "//", "/");
}