This never stood a chance before, because `arg' always returned the
script path. Now that's fixed, instead `int' complains that the hex
number it's being given isn't acceptable. I can't fix this by
explicitly passing a radix of 0 because that doesn't allow an existing
integer object. So we have this circumlocution.
else: return default
R.seed(None)
-SEED = int(arg(R.randrange(0, 1 << 32)))
+seed = arg()
+if seed is None: SEED = R.randrange(0, 1 << 32)
+else: SEED = int(seed, 0)
R.seed(SEED)
print '### Test vectors for 64-bit arithmetic macros'