-int main(int argc, char *argv[])
-{
- smpi_replay_init(&argc, &argv);
-
- /* Actually do the simulation using smpi_action_trace_run */
- smpi_action_trace_run(NULL);
- smpi_replay_finalize();
-
+int main(int argc, char *argv[]) {
+ smpi_replay_run(&argc, &argv);