weird… I don’t get the warnings any more, having removed it in just that one place. I had followed the code through by inserting printf()s to see that it was exactly at the execution of this line that all the messages were emitted, which is why I commented it out. They weren’t coming from the other ClearPipeStallBothEnds() call.
