A simple pseudo-random permutation of 64-bit integers.