+
+#ifdef DEBUG
+ if(!debug_name.empty())
+ set_target_debug_names();
+#endif
+}
+
+void Sequence::set_debug_name(const string &name)
+{
+#ifdef DEBUG
+ debug_name = name;
+ if(!name.empty())
+ set_target_debug_names();
+#else
+ (void)name;
+#endif
+}
+
+void Sequence::set_target_debug_names()
+{
+#ifdef DEBUG
+ for(unsigned i=0; i<2; ++i)
+ if(target[i])
+ target[i]->set_debug_name(format("%s [RT:%d]", debug_name, i));
+ if(target_ms)
+ target_ms->set_debug_name(debug_name+" [RT:ms]");
+#endif