IndexMinPQ etc