Constant NTDDI_WS03 

pub const NTDDI_WS03: u32 = 84017152u32;