Constant NTDDI_WS08SP3 

pub const NTDDI_WS08SP3: u32 = 100664064u32;