public class C
{
   public static Main () : void
   {
     def f (x) { x (x) }
     f (3) // E: in argument #1 \(x\) of f, needed
   }
}