begin
   integer
     K;
   K ≔ 0;
   if K = 0 then goto FINISH else
     K ≔ K + 1;
   FINISH :;
end