
  CONST
    nac$sk_max_port_number = 0ffff(16);
