Constant NTDDI_WS08 

pub const NTDDI_WS08: u32 = 100663552u32;