[TCP]: question about counter in tcp_mark_head_lost