#include <xbt/log.h>
#include <simgrid/simix.h>
+#include "smpi/private.h"
+
#include "mc_process.h"
#include "mc_protocol.h"
/** Execute a given simcall */
void MC_simcall_handle(smx_simcall_t req, int value);
+int MC_smpi_process_count(void);
/* ***** Resolve (local/MCer structure from remote/MCed addresses) ***** */