
  TYPE
    nat$sk_socket_identifier = 1 .. nac$sk_max_socket_identifier;

*copyc nac$sk_max_socket_identifier
