
  TYPE
    nat$sk_socket_address = record
      port: nat$sk_port_number,
      ip_address: nat$sk_ip_address,
    recend;

*copyc nat$sk_ip_address
*copyc nat$sk_port_number
