#include "src/mc/mc_private.h"
#include "src/mc/mc_protocol.h"
#include "src/mc/mc_client.h"
#include "src/mc/mc_private.h"
#include "src/mc/mc_protocol.h"
#include "src/mc/mc_client.h"
// The communication initialization is done ASAP.
// We need to communicate initialization of the different layers to the model-checker.
MC_client_init();
// The communication initialization is done ASAP.
// We need to communicate initialization of the different layers to the model-checker.
MC_client_init();