But I think that's an overly charitable interpretation based on the evidence.
If the source code turns up with detailed comments about why it's like it is. Fine. In the absence of that, I'm not buying it.
As I said, if you just had 100 push pops, fine. But it isnt, it's push pops mixed in with other seemingly redundant code.