% cintvex1.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);;