Constant NTDDI_WS08SP4 

pub const NTDDI_WS08SP4: u32 = 100664320u32;