if (seqno == (seq_t)(ab_write+1))