Constant NTDDI_WS03SP2 

pub const NTDDI_WS03SP2: u32 = 84017664u32;