Constant IPV4_DEVCONF_LOG_MARTIANS 

pub const IPV4_DEVCONF_LOG_MARTIANS: u32 = 11; // 11u32