The checkpoint code has a generational counter to order checkpoints. The code to set the counter depends on the newest checkpoint appearing at the end of the list, which is currently true, but there's no reason to depend on that.