Constant CONFIG_LWIP_TCP_WND_DEFAULT 

pub const CONFIG_LWIP_TCP_WND_DEFAULT: u32 = 5760;