tcp seq is 32-bits