Constant NTDDI_MAXVER 

pub const NTDDI_MAXVER: u32 = 2560u32;