rand.py: use python3