{
            auto it = procedure.begin();
            if (it != procedure.end()) {
                os << (*it++);
                for (; it != procedure.end(); it++) {
                    os << ", " << (*it++);
                }
            }
        }