heap: proper dump