pub const DISCARDCACHE_SAVEIFDIRTY: DISCARDCACHE = 0i32;