Constant esp_idf_sys::TCP_MAXRTX

pub const TCP_MAXRTX: u32 = 12;