Don't use built-in random as it is not predictable even when setting the seed