Don't re-init Rand64.