pub const DEFAULT_EFFECTIVE_CACHE_SIZE: u32 = 524288;