I think the problem though is assuming we work in a deterministic environment. Very few of write code that runs in that kind of environment. We just shrug and hope someone smarter wrote the greenlet etc. handlers properly.