The sequence number as big-endian bytes: two at low resolution (so at most 65,535), four otherwise (at most 2^32 - 1); a u32 like the reference's.
The sequence number as big-endian bytes: two at low resolution (so at most 65,535), four otherwise (at most 2^32 - 1); a u32 like the reference's.