#include <stddef.h>
+#include <xbt/base.h>
+#include <xbt/dynar.h>
#include <xbt/log.h>
+
#include <simgrid/simix.h>
#include "src/smpi/private.h"
} \
}
-/** Execute a given simcall */
-XBT_PRIVATE void MC_simcall_handle(smx_simcall_t req, int value);
XBT_PRIVATE int MC_smpi_process_count(void);