function A k x1 x2 x3 x4 x5;   
   function B kref;   
      vars k;   
      kref.cont -> k;   
      k-1 -> k;   
      k -> kref.cont;   
      A(k, B, x1, x2, x3, x4)   
   end;   
   if k <= 0 then   
      x4() + x5()   
   else   
      apply(B(% consref(k) %))   
   close      
end;   
A(10, lambda; 1 end,  lambda; -1 end,   
      lambda; -1 end, lambda; 1 end,   
      lambda; 0 end) =>