
  TYPE
    nat$sk_completed_event_kind = (nac$sk_completed_socket_events,
      nac$sk_completed_socket_offer, nac$sk_completed_acc_soc_offer,
      nac$sk_completed_time);
