pub type PINT64 = *mut i64;