typekey inspect( pq )
	list pq;
	{if (pq==NULL) Error /* inspect an empty PQ */;
	else return( pq->k );
	};