-#include "xbt/fifo.h"
-#include "xbt/config.h"
-
-#include "xbt/function_types.h"
-#include "xbt/mmalloc.h"
-#include "../simix/smx_private.h"
-#include "../xbt/mmalloc/mmprivate.h"
-#include "xbt/automaton.h"
-#include "xbt/hash.h"
-#include "msg/msg.h"
-#include "msg/datatypes.h"
-#include "xbt/strbuff.h"
-#include "xbt/parmap.h"
-
-#include "mc_forward.h"
-#include "mc_protocol.h"
-
-SG_BEGIN_DECL()
-
-typedef struct s_mc_function_index_item s_mc_function_index_item_t, *mc_function_index_item_t;
-
-/********************************* MC Global **********************************/
-
-/** Initialisation of the model-checker
- *
- * @param pid PID of the target process
- * @param socket FD for the communication socket **in server mode** (or -1 otherwise)
- */
-void MC_init_pid(pid_t pid, int socket);
-
-extern FILE *dot_output;
-extern const char* colors[13];
-extern xbt_parmap_t parmap;
-
-extern int user_max_depth_reached;