Pseudo-random permutation of 64-bit integers.