pub type NextExpectedMsgSeqNum = u32;