sn_a_le_b
if (sn_a_le_b(ExpCmdSN - 1, MaxCmdSN)) {
return sn_a_le_b(sess->s_CmdSN, sess->s_MaxCmdSN);
if (sn_a_le_b(sess->s_CmdSN, sess->s_MaxCmdSN))