Create pqueue-extra.h