% cintvex5.mini %
let
   f(x, y) = if (x = 0) then 1 else f((x - 1), y) fi ;
in
   f(2, 9999);;