 TYPE
    nat$se_peer_operation_kind = (nac$se_send_data, nac$se_interrupt,
      nac$se_synchronize, nac$se_synchronize_confirm);
