% exvcc5.mini %
let f(x)=g(y); in 9;;