need to debug; error in PQ:siftdown