XBT_DEBUG("Dump %s", stream.str().c_str());
fprintf(tracing_file, "%s\n", stream.str().c_str());
} else if (trace_format == simgrid::instr::TraceFormat::Ti) {
XBT_DEBUG("Dump %s", stream.str().c_str());
fprintf(tracing_file, "%s\n", stream.str().c_str());
} else if (trace_format == simgrid::instr::TraceFormat::Ti) {