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