Constant esp_idf_sys::CONFIG_TCP_MAXRTX

pub const CONFIG_TCP_MAXRTX: u32 = 12;