Pointer to unsigned 64-bit integer type
Source position: ctypes.inc line 45
type pcuint64 = ^cuint64;