run();;
% cintvsdntcex2.mini %
let
   f(x, y, z) = if (x = 0) 
                then y else z fi;
   g(a, b) = f(a, b, b);
in
   g(1, 7777);;