// WITH_STDLIB

const val M = Long.MIN_VALUE

fun box(): String {
    var count = 0
    for (i in M downTo M) {
        ++count
        if (count > 1) {
            throw AssertionError("Loop should be executed once")
        }
    }
    if (count != 1) throw AssertionError("Should be executed once")
    return "OK"
}