int __attribute__ ((weak)) main(int argc, char **argv) { return smpi_main(smpi_main_wrapper, argc, argv); }
int __attribute__ ((weak)) main(int argc, char **argv) { return smpi_main(smpi_simulated_main_, argc, argv); }