Constant JET_bitKeepDbAttachedAtEndOfRecovery 

pub const JET_bitKeepDbAttachedAtEndOfRecovery: u32 = 4096u32;