Constant LWIP_IPV6_DHCP6_STATEFUL 

pub const LWIP_IPV6_DHCP6_STATEFUL: u32 = 0;