[schoen]

Huh, I never knew that was there; thanks!

In production code I would probably use Crypto.Random.get_random_bytes().