pub type KSMICARRAY_MICARRAYTYPE = i32;