static int portFromURL(S url) ctex {
  ret new URL(url).getPort();
}