// WITH_STDLIB
// FIX: Replace with 'toString' function (may change semantics)

fun foo() {
    val radix = 42
    val t = 5.toString(radix) + 6
}