TCP_REPAIR code and how it works