pub type PINT = *mut i32;