modified:   fib_heap.h