% cintvex4.mini %
let
f(x, y, z, p, q) = if (0 < p) then 
                     if (p = 1) then 
                        if (z = 0) then 
                          x
                        else 
                          y 
                        fi
                      else 
                        f(z, z, 0, (p - 1), x) 
                      fi 
                    else 
                      f(0, 0, z, 1, y) 
                    fi;
in  f(1111, 2222, 1, 2, 3333) ;;