
  TYPE
    nat$sk_switch_event_kind = (nac$sk_await_socket_offer,
      nac$sk_await_acc_socket_offer);
