Strict_Fibonacci_heap loading ...