setRegister :: History -> ThreadId -> RegisterName -> Word64 -> History
setRegister hist tid reg val =
    appendHistory hist $ HistorySetRegister tid reg val
setRegister :: History -> ThreadId -> RegisterName -> Word64 -> History
setRegister hist tid reg val =
    appendHistory hist $ HistorySetRegister tid reg val
setRegister hist tid reg val =
    appendHistory hist $ HistorySetRegister tid reg val