run();;
% cintvsdntcex4.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)
;;