+tcp-point >>
  tcp >>
    addr : #1
    port : #2
  ;
;

+udp-point >>
  udp >>
    addr : #1
    port : #2
  ;
;

ip-v4   tcp%, udp% = array : integer : 2^8 : [4]
ip-v6   tcp%, udp% = array : integer : 2^8 : [16]
ip-port tcp%, udp% = integer : 2^16

!tcp-point-v4 = tcp-point [ip-v4, ip-port]
!tcp-point-v6 = tcp-point [ip-v6, ip-port]
!udp-point-v4 = tcp-point [ip-v4, ip-port]
!udp-point-v6 = tcp-point [ip-v6, ip-port]
