...for some reason I had it in my head that we were going to unconditionally advance the safe_pos. I'm not sure how I deluded myself into that (the "start" name, maybe?). You're right, this doesn't do anything.
But now I'm again confused how the error I saw happened. :/