import org.checkerframework.checker.index.qual.Positive;
import org.checkerframework.common.value.qual.MinLen;
public class NonNegArrayLength {
public static void NonNegArrayLength(int @MinLen(4) [] arr) {
@Positive int i = arr.length - 2;
}
}