#include <stdint.h>
uint32_t encrypt_mitigator_header_H_to_apache_wrapper(uint8_t* ciphertext_token_H_plus_tag);
uint32_t create_and_seal_long_term_signing_key_pair_wrapper(size_t* sealed_data_length, uint8_t* sealed_data);
uint32_t unseal_and_restore_long_term_signing_key_pair_wrapper(uint8_t* sealed_data, size_t* sgx_sealed_data_length);
uint32_t process_apache_message_generate_response_wrapper(uint8_t* input_ciphertext, uint32_t input_ciphertext_plus_tag_length, uint8_t* output_ciphertext, uint32_t* output_ciphertext_plus_tag_length);
uint32_t process_verifiers_message(uint8_t* input_ciphertext, uint32_t input_ciphertext_plus_tag_length);
void get_short_term_public_key_wrapper(uint8_t* output);
uint32_t process_apache_message_generate_response_wrapper(
        uint8_t* double_ciphertext,
        uint32_t double_ciphertext_length,
        uint32_t* double_ciphertext_fields_lengths,
        uint32_t number_of_double_ciphertext_fields,
        uint8_t* output_ciphertext,
        uint32_t* output_sizes_array);