[TCP] FRTO: frto_counter modulo-op converted to two assignments