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