+tcp_point <addr, port> = 
{
  tcp <addr, port> = 
  {
    addr _;
    port _;
  };

  TYPE_* type_stamp; tcp _;  
};

+udp_point <addr, port> = 
{
  udp <addr, port> =
  {
    addr _;
    port _;
  };

  TYPE_* type_stamp; udp _;  
};
