object O { def f(x: => Int): Int = x }