On Mon, Dec 05, 2016 at 00:50 +0100, you wrote: > That was just another example for a situation in which "hidden" > asynchronous execution could easily lead to unintended behavior. Ah, got it, I had misread what you meant. Thanks, Robin -- Robin Sommer * ICSI/LBNL * robin at icir.org * www.icir.org/robin