It's possible that after some pointer arithmetic, we'll end up
with a pointer at the very end of a string, so assert that hasn't
happened before proceeding.