- const char* instance_id = simgrid::s4u::Actor::self()->get_property("instance_id");
- const int rank = xbt_str_parse_int(simgrid::s4u::Actor::self()->get_property("rank"), "Cannot parse rank");
- const char* trace_filename = argv[1];
+ const auto* properties = simgrid::s4u::Actor::self()->get_properties();
+
+ const char* instance_id = properties->at("instance_id").c_str();
+ const int rank = static_cast<int>(xbt_str_parse_int(properties->at("rank").c_str(), "Cannot parse rank"));
+ const char* shared_trace =
+ simgrid::s4u::Actor::self()->get_property("tracefile"); // Cannot use properties because this can be nullptr
+ const char* private_trace = argv[1];