__uint64ptr_t
__uint64ptr_t p1;
__uint64ptr_t p2;
typedef __uint64ptr_t uint64ptr_t;
__uint64ptr_t rsrv1[4];