static int portFromTCPURL(S url) {
  ret parseInt(afterLastColon(url));
}