Constant NTDDI_WS03SP3 

pub const NTDDI_WS03SP3: u32 = 84017920u32;