  TYPE
    nft$terqo_file_status_codes = (nfc$terqo_successful, nfc$terqo_unknown_ios,
          nfc$terqo_unknown_file_name, nfc$terqo_duplicate_file_names,
          nfc$terqo_file_in_transfer, nfc$terqo_message_rejected);

