begin
  integer i,j,k
  i = 2
top:
  i = i + 1
  ->found if i = 5
  i = i + 1
  ->top
found:
  i = 99
endofprogram