doHistoryEntry w (HistorySetMemoryProtection addr size prot) =
    setMemoryProtectionWorker w addr size prot
doHistoryEntry w (HistorySetMemoryProtection addr size prot) =
    setMemoryProtectionWorker w addr size prot
doHistoryEntry w (HistorySetMemoryProtection addr size prot) =
    setMemoryProtectionWorker w addr size prot