Constant IP_OPTIONS_ALLOWED 

pub const IP_OPTIONS_ALLOWED: u32 = 1;