% exvcc1.mini %
let 
  f(x)=0;
  f(x)=1; 
in 
  f(2);;