a user-implemented priority queue container