% cintvex6.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, 9999);;