// EXPECTED_REACHABLE_NODES: 1281
private external fun foo(): String

fun box() = foo()