Heap Intervals in Solidity