// WITH_RUNTIME fun foo() { val t = Integer.toString(5) + 7 }