aid_t rank_traced = simgrid::s4u::this_actor::get_pid();
smpi_process()->mark_as_finalizing();
TRACE_smpi_comm_in(rank_traced, __func__, new simgrid::instr::NoOpTIData("finalize"));
aid_t rank_traced = simgrid::s4u::this_actor::get_pid();
smpi_process()->mark_as_finalizing();
TRACE_smpi_comm_in(rank_traced, __func__, new simgrid::instr::NoOpTIData("finalize"));