
  TYPE
    nat$sk_port_number = 0 .. nac$sk_max_port_number;

*copyc nac$sk_max_port_number
