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