Constant WINDOWS_NT_BANNER 

pub const WINDOWS_NT_BANNER: ULONG = 0x4000007E;