-- | Integrity verification field. A flag indicating whether
-- EncryptRequest.additional_authenticated_data_crc32c was received by
-- KeyManagementService and used for the integrity verification of the AAD.
-- A false value of this field indicates either that
-- EncryptRequest.additional_authenticated_data_crc32c was left unset or
-- that it was not delivered to KeyManagementService. If you\'ve set
-- EncryptRequest.additional_authenticated_data_crc32c but this field is
-- still false, discard the response and perform a limited number of
-- retries.
erVerifiedAdditionalAuthenticatedDataCrc32c :: Lens' EncryptResponse (Maybe Bool)
erVerifiedAdditionalAuthenticatedDataCrc32c
  = lens _erVerifiedAdditionalAuthenticatedDataCrc32c
      (\ s a ->
         s{_erVerifiedAdditionalAuthenticatedDataCrc32c = a})
erVerifiedAdditionalAuthenticatedDataCrc32c :: Lens' EncryptResponse (Maybe Bool)
erVerifiedAdditionalAuthenticatedDataCrc32c
  = lens _erVerifiedAdditionalAuthenticatedDataCrc32c
      (\ s a ->
         s{_erVerifiedAdditionalAuthenticatedDataCrc32c = a})
erVerifiedAdditionalAuthenticatedDataCrc32c
  = lens _erVerifiedAdditionalAuthenticatedDataCrc32c
      (\ s a ->
         s{_erVerifiedAdditionalAuthenticatedDataCrc32c = a})