+#ifdef HAVE_MC
+
+void *simcall_mc_snapshot(void)
+{
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+ simcall->call = SIMCALL_MC_SNAPSHOT;
+
+ SIMIX_simcall_push(simcall->issuer);
+
+ return simcall->mc_snapshot.s;
+}
+
+int simcall_mc_compare_snapshots(void *s1, void *s2){
+
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+ simcall->call = SIMCALL_MC_COMPARE_SNAPSHOTS;
+ simcall->mc_compare_snapshots.snapshot1 = s1;
+ simcall->mc_compare_snapshots.snapshot2 = s2;
+
+ if(MC_is_active()) /* Initialize result to a default value for snapshot comparison done during simcall */
+ simcall->mc_compare_snapshots.result = -1;
+
+ SIMIX_simcall_push(simcall->issuer);
+
+ return simcall->mc_compare_snapshots.result;
+}
+
+#endif /* HAVE_MC */
+
+/* ****************************************************************************************** */
+/* TUTORIAL: New API */
+/* All functions for simcall */
+/* ****************************************************************************************** */
+int simcall_new_api_fct(const char* param1, double param2){
+ smx_simcall_t simcall = SIMIX_simcall_mine();
+ simcall->call = SIMCALL_NEW_API_INIT;
+ simcall->new_api.param1 = param1;
+ simcall->new_api.param2 = param2;
+
+ SIMIX_simcall_push(simcall->issuer);
+ return simcall->new_api.result;
+}
+