deriving domain_public from domain:port