XBT_PRIVATE void MC_client_send_message(void* message, std::size_t size);
XBT_PRIVATE void MC_client_send_simple_message(e_mc_message_type type);
XBT_PRIVATE void MC_client_send_message(void* message, std::size_t size);
XBT_PRIVATE void MC_client_send_simple_message(e_mc_message_type type);