Constant IPV4_DEVCONF_TAG 

pub const IPV4_DEVCONF_TAG: u32 = 12; // 12u32