Constant CONFIG_LWIP_DHCP_OPTIONS_LEN 

pub const CONFIG_LWIP_DHCP_OPTIONS_LEN: u32 = 68;