Totally in agreement, I got hung up on the push thing and had censored grep from the front of my mind for some reason.

I'm not so sure about the inefficiency or otherwise of the idiom though, whilst it's pretty pointless here admittedly, we have have had do {} while and do {} until basically forever and documented as upside down loops, and discarding the (implicit) return values is something we do all the time with subroutines and so forth.

/J\