Symbol: min_heap_dtor