The seed passed to $random() should not change the implicit seed.