n = length Q
i1 : Q = priorityQueue {1,2,3} o1 = PriorityQueue{...4...} o1 : PriorityQueue
i2 : length Q o2 = 3
i3 : insert(Q,0) o3 = PriorityQueue{...4...} o3 : PriorityQueue
i4 : length Q o4 = 4