pub type KSMICARRAY_MICTYPE = i32;