Constant DEVCONF_KEEP_ADDR_ON_DOWN 

pub const DEVCONF_KEEP_ADDR_ON_DOWN: u32 = 42 /* 42u32 */;