Constant IP_BAD_HEADER 

pub const IP_BAD_HEADER: u32 = 11042u32;