This code is likely to get even hairier to squash core dumps due to
mutating comparisons, and it's hard enough to follow without that.