ti_unique_file = new std::ofstream(filename.c_str(), std::ofstream::out);
xbt_assert(not ti_unique_file->fail(), "Tracefile %s could not be opened for writing", filename.c_str());
tracing_file << filename << '\n';
ti_unique_file = new std::ofstream(filename.c_str(), std::ofstream::out);
xbt_assert(not ti_unique_file->fail(), "Tracefile %s could not be opened for writing", filename.c_str());
tracing_file << filename << '\n';