Constant PROTO_IP_DHCP_ALLOCATOR 

pub const PROTO_IP_DHCP_ALLOCATOR: u32 = 10004u32;