public void copyTo(ContextState other) { other.writeElement(getCounterId(), getClock(), getCount(), currentIsGlobal, currentIsLocal); }