pub type INTEL_CACHE_TYPE = i32;