% cintvex9.mini %
let                                                   
  f(x, y) = if (not (x < 0)) & (not (0 < x)) then 
    y 
  else 
    f(x - 1, y - 1) 
  fi;  
in                                                    
  f(1, 10);;