use pointer instead of element in uint64_t array in the IntsPointerKey