Constant JET_paramMaxVerPages 

pub const JET_paramMaxVerPages: u32 = 9u32;