
main()

	DefVar<unsigned int> from;
	DefVar<unsigned int> to;
	DefVar<unsigned int *> array;
	DefVar<unsigned int> sum, a, b;
	
{; 	 

from:=1,
to:=10,

x =  a + b +f(a, b, from, to+1),
sumarray(from, to, array, sum)

 }
 
 sumarray(DefVar<> from, DefVar<> to, DefVar<> array, DefVar<> sum)
  DefVar<int> sumrest;
 {||
 
 sumarray( from+1,  to,  array,  sumrest),
 sum = from + sumrest
 
 
 
 }
 