SEQ_SUB
SEQ_SUB(seq, _this->rcv_nxt));
if (SEQ_SUB(seq, _this->rcv_acked) > RUPDIV(_this->winsz, 2)) {
SEQ_SUB(seq, _this->rcv_acked), seq,