allocateMemory :: History -> Word64 -> Word64 -> Word64 -> History
allocateMemory hist addr size prot =
    appendHistory hist $ HistoryAllocMemory addr size prot
allocateMemory :: History -> Word64 -> Word64 -> Word64 -> History
allocateMemory hist addr size prot =
    appendHistory hist $ HistoryAllocMemory addr size prot
allocateMemory hist addr size prot =
    appendHistory hist $ HistoryAllocMemory addr size prot