Constant MDL_PAGE_CONTENTS_INVARIANT 

pub const MDL_PAGE_CONTENTS_INVARIANT: u32 = 16384u32;