The c becomes one example

     while (p(i))
     {
         if (f(c))
         {
           z=g();
           c=h(c);
         }
      
      i=k(i);
     }