The spurious wakeup tests depend on the Exchanger having a mutex variable, so don't work anymore. MVar does have specs for spurious wakeups.