Constant CCODE::NTDDI_WS08

pub const NTDDI_WS08: u32 = 100663552;