doHistoryEntry w (HistoryAllocMemory addr size prot) =
    ioAssertTrue $ allocateMemoryWorker w addr size prot
doHistoryEntry w (HistoryAllocMemory addr size prot) =
    ioAssertTrue $ allocateMemoryWorker w addr size prot
doHistoryEntry w (HistoryAllocMemory addr size prot) =
    ioAssertTrue $ allocateMemoryWorker w addr size prot