Update arc4random.py