spec for Random.Xor128