Review: priority queue (CS171 stuff)