SeedRandom replaced by built-in Random class (monkey patched)