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