The Montreal Boat Trip Example

     while p(j)
     {
      if q(k) k=f(k);
      else
         {
          k=g(k);
          j=h(j);
         }
     }