+void __attribute__((weak)) user_main__(){
+ xbt_die("Should not be in this smpi_simulated_main");
+ return;
+}
+
+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;
+}