sS addPortToHost_drop80(S host, int port) {
  ret beforeColonOrAll(host) + (port == 80 ? "" : ":" + port);
}