seqNum should be 32-bit integer; can be larger than 32767