// EXPECTED_REACHABLE_NODES: 1280
package foo

fun box(): String {
    var box = "foo"
    return "OK"
}