corrected bug: zmq4 uses an int for HWM instead of uint64