== foo ==
fun foo() {
    "before"
    for (i in 1..10) {
        val a = i
    }
    "after"
}
---------------------
L0:
  1 <START>                                                      INIT: in: {} out: {}
  2 mark({ "before" for (i in 1..10) { val a = i } "after" })
    mark("before")
    r("before") -> <v0>
  3 r(1) -> <v1>
    r(10) -> <v2>
    mark(1..10)
    call(1..10, rangeTo|<v1>, <v2>) -> <v3>
    mark(1..10)
    call(1..10, iterator|<v3>) -> <v4>
    v(i)                                                         INIT: in: {} out: {}
L2 [loop entry point]:
L6 [condition entry point]:
    mark(1..10)                                                  INIT: in: {} out: {}
    call(1..10, hasNext) -> <v5>
    jmp?(L3)
    mark(1..10)
    call(1..10, next) -> <v6>
    magic[LOOP_RANGE_ITERATION](1..10|<v6>) -> <v7>
    w(i|<v7>)                                                    INIT: in: {} out: {}
    mark(for (i in 1..10) { val a = i })                         INIT: in: {} out: {}
L4 [body entry point]:
  4 mark({ val a = i })
    v(val a = i)                                                 INIT: in: {} out: {}
    r(i) -> <v8>                                                 INIT: in: {} out: {}
    w(a|<v8>)                                                    INIT: in: {} out: {}
  3 jmp(L2)                                                      INIT: in: {} out: {}
L3 [loop exit point]:
L5 [body exit point]:
    read (Unit)
  2 mark("after")
    r("after") -> <v9>
L1:
  1 <END>
error:
    <ERROR>
sink:
    <SINK>                                                                               USE: in: {} out: {}
=====================