-#ifdef WIN32
-#include <windows.h>
-
-int __attribute__((weak)) smpi_simulated_main(int argc, char** argv) {
- xbt_die("Should not be in this smpi_simulated_main");
- return 1;
+int __attribute__((weak)) smpi_simulated_main__(int argc, char** argv) {
+ smpi_process_init(&argc, &argv);
+ user_main__();
+ //xbt_die("Should not be in this smpi_simulated_main");
+ return 0;