runSyscall :: History -> ThreadId -> History
runSyscall hist tid = appendHistory hist $ HistoryRunSyscall tid
runSyscall :: History -> ThreadId -> History
runSyscall hist tid = appendHistory hist $ HistoryRunSyscall tid
runSyscall hist tid = appendHistory hist $ HistoryRunSyscall tid