% cintvex2.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);;