// WITH_RUNTIME fun foo(s: String) { s.substring(0, s.indexOf('x')) }