Constant INTERNET_OPTION_ENCODE_EXTRA 

pub const INTERNET_OPTION_ENCODE_EXTRA: u32 = 155u32;