Thanks a lot for this excellent reply @lwabeke!
I’ve expected a random ordering (I don’t care about this in my application) but I didn’t think about race conditions and push!. You pointer in this direction was very helpful.
Looking at the newer documentation it seems lock is a good way to avoid the race conditions. I’ll update the example if I figured it out.