doHistoryEntry w (HistorySetTsc tid tsc) =
    ioAssertTrue $ setTscWorker w tid tsc
doHistoryEntry w (HistorySetTsc tid tsc) =
    ioAssertTrue $ setTscWorker w tid tsc
doHistoryEntry w (HistorySetTsc tid tsc) =
    ioAssertTrue $ setTscWorker w tid tsc