pub const INTERNET_OPTION_ENCODE_EXTRA: u32 = 155u32;