Last (?) salvage addition : wasPauseRequested free function, timedSpinlock