procedure insert( new : typekey; var pq : queue );
	function extract( var pq : queue ) : typekey;
	function inspect( pq : queue ) : typekey;
	procedure delete( var pq : queue );
	function merge( a, b : queue ) : queue;
	procedure delinsert( new : typekey; var pq : queue );