output.tag.set_property("DO_A", config.do_a);
output.tag.set_property("COUNT_CHANGED", config.count_changed);
output.append_tag();
output.tag.set_property("DO_A", config.do_a);
output.tag.set_property("COUNT_CHANGED", config.count_changed);
output.append_tag();