// WITH_RUNTIME
@Deprecated("", ReplaceWith("s.substring(1) + Int.MAX_VALUE"))
fun foo(s: String): String {
    return s.substring(1) + Int.MAX_VALUE
}