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