min priority queue spec