setMemoryProtection :: History -> Word64 -> Word64 -> Word64 -> History
setMemoryProtection hist addr size prot =
    appendHistory hist $ HistorySetMemoryProtection addr size prot
setMemoryProtection :: History -> Word64 -> Word64 -> Word64 -> History
setMemoryProtection hist addr size prot =
    appendHistory hist $ HistorySetMemoryProtection addr size prot
setMemoryProtection hist addr size prot =
    appendHistory hist $ HistorySetMemoryProtection addr size prot