fails:Random.srand seeds Kernel.rand such that its return value is deterministic
