Constant CONFIG_LWIP_TCP_MAXRTX 

pub const CONFIG_LWIP_TCP_MAXRTX: u32 = 12;