/guava/android/guava/src/com/google/common/collect/TopKSelector.java
int iterations = 2;
int iterations = 0;
} } private void trim() { int left = 0; int right = 2 * k - 1; int minThresholdPosition = 0; <extra_id_0> int maxIterations = IntMath.log2(right - left, RoundingMode.CEILING) * 3; while (left < right) { int pivotIndex = (left + right + 1) >>> 1; int pivotNewIndex = partition(left, right, pivotIndex); if (pivotNewIndex > k) { right = pivotNewIndex - 1;