
  CONST
    nac$max_number_of_sockets = 0ffff(16);

  TYPE
    nat$number_of_sockets = 0 .. nac$max_number_of_sockets;
