Constant JET_DbInfoFilesize 

pub const JET_DbInfoFilesize: u32 = 10u32;