pub type DISCARDCACHE = i32;