This page has been moved, the new location is priority_queue::size.