Interesting indeed! I'm currently reading Boehm's article "Threads Cannot be Implemented as a Library". I wonder if this means that threads should become primitives of some sort [in D] ? L.