Random.Xor128: added spec for srand()