pub unsafe extern "C" fn EverCrypt_CTR_alg_of_state( s: *mut EverCrypt_CTR_state_s, ) -> Spec_Agile_Cipher_cipher_alg