mergeRequestbroadcastVariableMsg(other.getRequestbroadcastVariableMsg());
mergeRequestbroadcastVariableMsg(other.getRequestbroadcastVariableMsg());
mergeRequestbroadcastVariableMsg(other.getRequestbroadcastVariableMsg());
mergeRequestbroadcastVariableMsg(other.getRequestbroadcastVariableMsg());