simgrid::instr::Value* val = simgrid::instr::Value::get_or_new(
value_str, nullptr, type); /* if user didn't declare a value with a color, use nullptr color */
new simgrid::instr::PushStateEvent(MSG_get_clock(), container, type, val);
simgrid::instr::Value* val = simgrid::instr::Value::get_or_new(
value_str, nullptr, type); /* if user didn't declare a value with a color, use nullptr color */
new simgrid::instr::PushStateEvent(MSG_get_clock(), container, type, val);