Constant PAGE_NOT_ZERO 

pub const PAGE_NOT_ZERO: BUGCHECK_ERROR;