FILE: for.kt
    public? final? fun foo(): R|kotlin/Unit| {
        lval <iterator>: <implicit> = IntegerLiteral(1).rangeTo#(IntegerLiteral(10)).iterator#()
        while(R|<local>/<iterator>|.hasNext#()) {
            lval i: <implicit> = R|<local>/<iterator>|.next#()
            println#(i#)
        }

    }
    public? final? fun fooLabeled(): R|kotlin/Unit| {
        println#(String(!!!))
        lval <iterator>: <implicit> = IntegerLiteral(1).rangeTo#(IntegerLiteral(10)).iterator#()
        label@while(R|<local>/<iterator>|.hasNext#()) {
            lval i: <implicit> = R|<local>/<iterator>|.next#()
            when () {
                ==(i#, IntegerLiteral(5)) ->  {
                    continue@@@[R|<local>/<iterator>|.hasNext#()]
                }
            }

            println#(i#)
        }

        println#(String(!!!))
    }
    public? final? fun bar(list: List<String>): R|kotlin/Unit| {
        lval <iterator>: <implicit> = list#.subList#(IntegerLiteral(0), IntegerLiteral(10)).iterator#()
        while(R|<local>/<iterator>|.hasNext#()) {
            lval element: <implicit> = R|<local>/<iterator>|.next#()
            println#(element#)
        }

        lval <iterator>: <implicit> = list#.subList#(IntegerLiteral(10), IntegerLiteral(20)).iterator#()
        while(R|<local>/<iterator>|.hasNext#()) {
            lval element: <implicit> = R|<local>/<iterator>|.next#()
            println#(element#)
        }

    }
    public? final? data class Some : R|kotlin/Any| {
        public? constructor(x: Int, y: Int): R|Some| {
            super<R|kotlin/Any|>()
        }

        public? final? val x: Int = R|<local>/x|
            public? get(): Int

        public? final? val y: Int = R|<local>/y|
            public? get(): Int

        public final fun component1(): Int

        public final fun component2(): Int

        public final fun copy(x: Int = this@R|/Some|.R|/Some.x|, y: Int = this@R|/Some|.R|/Some.y|): R|Some|

    }
    public? final? fun baz(set: Set<Some>): R|kotlin/Unit| {
        lval <iterator>: <implicit> = set#.iterator#()
        while(R|<local>/<iterator>|.hasNext#()) {
            lval <destruct>: <implicit> = R|<local>/<iterator>|.next#()
            lval x: <implicit> = R|<local>/<destruct>|.component1#()
            lval y: <implicit> = R|<local>/<destruct>|.component2#()
            println#(<strcat>(String(x = ), x#.toString#(), String( y = ), y#.toString#()))
        }

    }
    public? final? fun withParameter(list: List<Some>): R|kotlin/Unit| {
        lval <iterator>: <implicit> = list#.iterator#()
        while(R|<local>/<iterator>|.hasNext#()) {
            lval s: Some = R|<local>/<iterator>|.next#()
            println#(s#)
        }

    }
