Constant CCODE::NTDDI_WS03SP1

pub const NTDDI_WS03SP1: u32 = 84017408;