run();;
% cintvsdntcex3.mini                  %
% Boucle avec appel par valeur        %
% Retourne 1 avec appel par necessite %
let
 f(x, y) = if (x = 0)
               then 1
               else f(x-1, f(x, y)) fi;
in
 f(1, 32767);;