A: S;
   if  B  then  goto  Z   fi;
   T;
   goto  A;
Z: