Type Definition CCODE::PINT64

type PINT64 = *mut c_longlong;