setTsc :: History -> ThreadId -> Word64 -> History
setTsc hist tid tsc = appendHistory hist $ HistorySetTsc tid tsc
setTsc :: History -> ThreadId -> Word64 -> History
setTsc hist tid tsc = appendHistory hist $ HistorySetTsc tid tsc
setTsc hist tid tsc = appendHistory hist $ HistorySetTsc tid tsc