// Auto-generated by GenerateSteppedRangesCodegenTestData. Do not edit!
// WITH_STDLIB
import kotlin.test.*

fun box(): String {
    val uintList = mutableListOf<UInt>()
    val uintProgression = UInt.MAX_VALUE downTo 0u
    for (i in uintProgression step Int.MAX_VALUE) {
        uintList += i
    }
    assertEquals(listOf(UInt.MAX_VALUE, 2147483648u, 1u), uintList)

    val ulongList = mutableListOf<ULong>()
    val ulongProgression = ULong.MAX_VALUE downTo 0uL
    for (i in ulongProgression step Long.MAX_VALUE) {
        ulongList += i
    }
    assertEquals(listOf(ULong.MAX_VALUE, 9223372036854775808uL, 1uL), ulongList)

    return "OK"
}