let
   var z := 5  
   var u := 9 
   function f(x:int, y:int) : int = x+y-1
   function sumupto(n:int) : int = 
       if n<2 then n else n+sumupto(n-1)

   in

   while z>1 do (z := z-1; printf("n = %d\n",z));
   z := f(4,u+2);
   printf("z is finally %d\n",z);
   if z>10 then printf("z is big\n") else printf ("z is small\n");
   z := sumupto(10);
   printf("the sum up to 10 is %d, %d!\n",z,sumupto(10))

   end
$

