Binomial_heap loading ...