// WITH_RUNTIME import java.lang.Math.max fun foo() { max(1, 2) }