// WITH_STDLIB // PROBLEM: none fun foo() { Integer.toString(42, 1) }