fun outer() {
  var x: Int = 0
  local fun local() {
    { // BLOCK
      val tmp_0: Int = x
      x = tmp_0.inc()
      tmp_0
    } /*~> Unit */
  }

  local()
}