pub type PenType = i32;