% exvcc2.mini %
let
  f(x)=0;
in 
  f(1,1);;