dstIndex += 16;
        
        // CurrentLeaseState (4 bytes)
        writeInt4(dst, dstIndex, currentLeaseState);
        dstIndex += 4;
        
        // NewLeaseState (4 bytes)
        writeInt4(dst, dstIndex, newLeaseState);
        dstIndex += 4;
        
        // BreakReason (4 bytes)
        writeInt4(dst, dstIndex, breakReason);
        dstIndex += 4;