Constant NTDDI_WS03SP1 

pub const NTDDI_WS03SP1: u32 = 84017408u32;