SG_BEGIN_DECL()
+// This variable is set by simgrid-mc in order to enable MC support in the
+// children MC processes:
+#define MC_ENV_VARIABLE "SIMGRIC_MC"
+
int MC_request_is_enabled(smx_simcall_t req);
int MC_request_is_visible(smx_simcall_t req);
void MC_wait_for_requests(void);