E.2.27. Terminology: Fields currentLastSeqno