Constant NextExpectedMsgSeqNum 

pub const NextExpectedMsgSeqNum: Tag = 789;