sS randomSlash(S s) {
  ret random(splitAtSlash(s));
}