int issue for pqueue replace