Heap_binomial loading ...