extra sanity checking: call checkTSO() in resumeThread()