<<>> <> <> <> <<>> Run HeapImpl