std::string filename = TRACE_get_filename();
tracing_file.open(filename.c_str(), std::ofstream::out);
if (tracing_file.fail()) {
std::string filename = TRACE_get_filename();
tracing_file.open(filename.c_str(), std::ofstream::out);
if (tracing_file.fail()) {