Symbol: min_heap_ctor