Priority#queue