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