Random checkpoints now work.