int main(int argc, char *argv[]) { smpi_replay_run(&argc, &argv); return 0; }
static int smpi_replay(int argc, char *argv[]) { smpi_replay_run(&argc, &argv); return 0; }