I don't think that is relevant as it is the anonymous block inside the do block that is the target of the last?

I am completely at a loss to explain the return values being stacked on top of the passes values?

Me too , except the aforementioned warning regarding unspecified behavior with loop control structure -- if you can last it, its a loop