+ xbt_assert(mc_mode != MC_MODE_SERVER);
+ /* TODO, if the MC is disabled we do not really need to make a simcall for
+ * this :) */
+ /* FIXME: return mc_current_state->executed_transition->random.value; */
+ return simcall_mc_random(min, max);
+}
+
+namespace simgrid {
+namespace mc {
+
+void wait_for_requests(void)
+{
+ assert(mc_mode != MC_MODE_SERVER);