Constant nginx::IP_OPTIONS

pub const IP_OPTIONS: u32 = 4;