% cintvex8.mini %
let
  f(?x)     = g(0, x);
  g(?x, ?y) = h(1, x);
  h(?x, ?y) = j(2, x);
  j(?x, ?y) = y;
in
  f(3);;