[molyss]

When B wakes up the 1st thing it does is state.exchange(sleeper,…), which returns unlocked, and set the state to sleeper. I think it works.

I had some concerns about the second one, but I think it works too…

[gpderetta]

Oh, now I see it, very nice. I had missed that there is at least one additional exchange after wait returns.