Those are identifiable by the end state of the heap not being empty.