The port-name utility module provides one redefinable variable and one callable function:
[endpoint_id(h: addr, p: port): string ]
Returns a printable form of the given address/port connection
endpoint. The format is either
<
address>/<
service-name>
or
<
address>/<
port-number>
depending on whether the port appears in port_names.