pub const JIT_OPTION_CACHE_MAX_PAGE_FACTOR: u32 = 10005;