pub type PINT32 = *mut i32;