···11641164 * L|R 1 - orig is lost, retransmit is in flight.11651165 * S|R 1 - orig reached receiver, retrans is still in flight.11661166 * (L|S|R is logically valid, it could occur when L|R is sacked,11671167- * but it is equivalent to plain S and code short-curcuits it to S.11671167+ * but it is equivalent to plain S and code short-circuits it to S.11681168 * L|S is logically invalid, it would mean -1 packet in flight 8))11691169 *11701170 * These 6 states form finite state machine, controlled by the following events: