Constant CCODE::NTDDI_WS03

pub const NTDDI_WS03: u32 = 84017152;