The first line, "x ← x ≫ 32", might have a typo? It's actually assigning (x XOR (x >> 32)).
With "x ← px", p is a fixed prime number being multiplied by x.
The first line, "x ← x ≫ 32", might have a typo? It's actually assigning (x XOR (x >> 32)).
With "x ← px", p is a fixed prime number being multiplied by x.