
  TYPE
    nft$ntf_remote_system_kind = (nfc$ntf_not_configured,
          nfc$ntf_directly_connected, nfc$ntf_accessible);
