Constant DHCP_DROP_WRONG_SERVER 

pub const DHCP_DROP_WRONG_SERVER: u32 = 9u32;