var TCP_REPAIR: Int32 { get }