pub const SEQNUM_INVALID: Seqnum;