progressionToNonConst.kt 787 Bytes